M. Broy, B. Jonsson, J. P. Katoen, M. Leucker, and A. Pretschner, Model-Based Testing of Reactive Systems, LNCS, vol.3472, 2005.
DOI : 10.1007/b137241

M. Utting and B. Legeard, Practical Model-Based Testing -A tools approach, 2006.

M. Leuschel and M. Butler, ProB: an automated analysis toolset for the B method, International Journal on Software Tools for Technology Transfer, vol.49, issue.3, pp.185-203, 2008.
DOI : 10.1007/s10009-007-0063-9

F. Bouquet, J. F. Couchot, F. Dadeau, and A. Giorgetti, Instantiation of Parameterized Data Structures for Model-Based Testing, the 7th Int. B Conference. LNCS, vol.4355, pp.96-110, 2007.
DOI : 10.1007/11955757_10
URL : https://hal.archives-ouvertes.fr/hal-00563282

F. Bouquet, P. C. Bué, J. Julliand, and P. A. Masson, Test Generation Based on Abstraction and Test Purposes to Complement Structural Tests, 2010 Third International Conference on Software Testing, Verification, and Validation Workshops, 2010.
DOI : 10.1109/ICSTW.2010.47
URL : https://hal.archives-ouvertes.fr/inria-00533281

R. Marlet and C. Mesnil, Demoney: A demonstrative electronic purse, 2002.

D. Bert, M. L. Potet, and N. Stouls, GeneSyst: a Tool to Reason about Behavioral Aspects of B Event Specifications, ZB'05, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00384189

M. Weiser, Program slicing. Software Engineering, IEEE Transactions on SE, vol.10, issue.4, pp.352-357, 1984.

J. F. Couchot, A. Giorgetti, and N. Stouls, Graph-based Reduction of Program Verification Conditions, AFM'09, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00339847

J. R. Abrial, The B Book: Assigning Programs to Meanings, 1996.
DOI : 10.1017/CBO9780511624162

J. R. Abrial, Extending B without changing it (for developing distributed systems) In: 1st B Conference, pp.169-190, 1996.

C. A. Hoare, An axiomatic basis for computer programming, Communications of the ACM, vol.10, issue.12, p.576580, 1969.
DOI : 10.1007/978-94-011-1793-7_5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.116.2392

I. Brückner and H. Wehrheim, Slicing an Integrated Formal Method for Verification, ICFEM'05, pp.360-374, 2005.
DOI : 10.1007/11576280_25

F. Bellegarde, J. Julliand, and O. Kouchnarenko, Ready-Simulation Is Not Ready to Express a Modular Refinement Relation, LNCS, vol.1783, pp.266-283, 2000.
DOI : 10.1007/3-540-46428-X_19

J. Julliand, P. A. Masson, and R. Tissot, Generating security tests in addition to functional tests, Proceedings of the 3rd international workshop on Automation of software test , AST '08, pp.41-44, 2008.
DOI : 10.1145/1370042.1370051

H. Thimbleby, The directed Chinese Postman Problem, Software: Practice and Experience, vol.36, issue.11, pp.1081-1096, 2003.
DOI : 10.1002/spe.540

F. Bouquet, P. C. Bué, J. Julliand, and P. A. Masson, Génération de testsàtestsà partir de critères dynamiques de sélection et par abstraction, AFADL'09, pp.161-176, 2009.

G. Friedman, A. Hartman, K. Nagin, and T. Shiran, Projected state machine coverage for software testing, In: ISSTA, pp.134-143, 2002.
DOI : 10.1145/566172.566192

J. Dick and A. Faivre, Automating the generation and sequencing of test cases from model-based specifications, FME'93, pp.268-284, 1993.
DOI : 10.1007/BFb0024651

S. Graf and H. Saidi, Construction of abstract state graphs with PVS, CAV'97, 1997.
DOI : 10.1007/3-540-63166-6_10

S. Bensalem, Y. Lakhnech, and S. Owre, Computing abstractions of infinite state systems compositionally and automatically, CAV'98, 1998.
DOI : 10.1007/BFb0028755

M. Colon and T. Uribe, Generating finite-state abstractions of reactive systems using decision procedures, CAV'98, 1998.
DOI : 10.1007/BFb0028753

W. Chan, R. Anderson, P. Beame, and D. Notkin, Combining constraint solving and symbolic model checking for a class of systems with non-linear constraints, CAV'97, 1997.
DOI : 10.1007/3-540-63166-6_32

H. Sipma, T. Uribe, and Z. Manna, Deductive model checking, Formal Methods in System Design, vol.15, issue.1, pp.49-74, 1999.
DOI : 10.1007/3-540-61474-5_70
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.142.2808

K. S. Namjoshi and R. P. Kurshan, Syntactic Program Transformations for Automatic Abstraction, LNCS, vol.1855, pp.435-449, 2000.
DOI : 10.1007/10722167_33