J. R. Abrial, The B Book -Assigning Programs to Meanings, 1996.

H. Belhaouari and F. Peschanski, A Constraint Logic Programming Approach to Automated Testing, The 24th Int. Conf. on Logic Programming, pp.754-75808, 2008.
DOI : 10.1007/978-3-540-45193-8_26
URL : https://hal.archives-ouvertes.fr/hal-01303857

L. Du-bousquet, Y. Ledru, O. Maury, C. Oriat, and J. L. Lanet, Reusing a JML Specification Dedicated to Verification for Testing, and Vice-Versa: Case Studies, Journal of Automated Reasoning, vol.46, issue.10, 2010.
DOI : 10.1007/s10817-009-9132-y
URL : https://hal.archives-ouvertes.fr/hal-00587110

Y. Cheon and G. T. Leavens, A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, ECOOP'02. No. 2374 in LNCS, 2002.
DOI : 10.1007/3-540-47993-7_10

D. M. Cohen, S. R. Dalal, J. Parelius, and G. C. Patton, The combinatorial design approach to automatic test generation, IEEE Software, vol.13, issue.5, pp.83-88, 1996.
DOI : 10.1109/52.536462

C. Constant, B. Jeannet, and T. Jéron, Automatic Test Generation from Interprocedural Specifications, Testing of Software and Communicating Systems, pp.41-57, 2007.
DOI : 10.1007/978-3-540-73066-8_4
URL : https://hal.archives-ouvertes.fr/inria-00137064

F. Dadeau, Y. Ledru, and L. D. Bousquet, Directed random reduction of combinatorial test suites, Proceedings of the 2nd international workshop on Random testing co-located with the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), RT '07, pp.18-25, 2007.
DOI : 10.1145/1292414.1292421

F. Dadeau and R. Tissot, jSynoPSys ??? A Scenario-Based Testing Tool based on the Symbolic Animation of B Machines, MBT'09 proceedings. ENTCS, pp.117-132, 2009.
DOI : 10.1016/j.entcs.2009.09.055
URL : https://hal.archives-ouvertes.fr/inria-00429234

S. Dupuy-chessa, L. Du-bousquet, J. Bouchet, and Y. Ledru, Test of the ICARE Platform Fusion Mechanism, DSVIS'05, 2006.
DOI : 10.1007/11752707_9

L. Ferro, L. Pierre, Y. Ledru, and L. Du-bousquet, Generation of test programs for the assertion-based verification of TLM models, 2008 3rd International Design and Test Workshop, pp.237-242, 2008.
DOI : 10.1109/IDT.2008.4802505
URL : https://hal.archives-ouvertes.fr/hal-00354257

G. Fraser and F. Wotawa, Redundancy Based Test-Suite Reduction, 10th Int. Conf. on Fundamental Approaches to Software Engineering, pp.291-305, 2007.
DOI : 10.1007/978-3-540-71289-3_23

W. Grieskamp, X. Qu, X. Wei, N. Kicillof, and M. B. Cohen, Interaction Coverage Meets Path Coverage by SMT Constraint Solving, The 21st IFIP WG 6.1 Int. Conf. on Testing of Software and Communication Systems and 9th Int. FATES Workshop, pp.97-112, 2009.
DOI : 10.1109/TSE.2006.8

M. J. Harrold, R. Gupta, and M. L. Soffa, A methodology for controlling the size of a test suite, ACM Transactions on Software Engineering and Methodology, vol.2, issue.3, pp.270-285, 1993.
DOI : 10.1145/152388.152391

M. Heimdahl and D. George, On the effect of test-suite reduction on automatically generated model-based tests, Automated Software Engineering, vol.14, issue.1, pp.37-57, 2007.
DOI : 10.1007/s10515-006-0004-y

V. Jagannath, Y. Lee, B. Daniel, and D. Marinov, Reducing the costs of boundedexhaustive testing, Fundamental Approaches to Software Engineering, pp.171-185, 2009.

K. Lausdahl, H. K. Lintrup, and P. G. Larsen, Connecting UML and VDM++ with Open Tool Support, FM 2009: Formal Methods, Second World Congress, pp.563-578, 2009.
DOI : 10.1007/978-3-642-05089-3_36

Y. Ledru, L. Du-bousquet, O. Maury, and P. Bontron, Filtering TOBIAS Combinatorial Test Suites, ETAPS/FASE'04 ? Fundamental Approaches to Software Engineering, pp.281-294, 2004.
DOI : 10.1007/978-3-540-24721-0_21

Y. Ledru, F. Dadeau, L. Du-bousquet, S. Ville, and E. Rose, Mastering combinatorial explosion with the tobias-2 test generator, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, pp.535-536, 2007.
DOI : 10.1145/1321631.1321731

O. Maury, Y. Ledru, P. Bontron, and L. Du-bousquet, Using Tobias for the automatic generation of VDM test cases, p.3, 2002.

G. Rothermel, M. J. Harrold, J. Ostrin, and C. Hong, An empirical study of the effects of minimization on the fault detection capabilities of test suites, Proceedings. International Conference on Software Maintenance (Cat. No. 98CB36272), pp.34-43, 1998.
DOI : 10.1109/ICSM.1998.738487