Leirios test generator: Automated test generation from B models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4355 LNCS, Issue , 2006, Pages 277-280

  Jaffuel, Eddie ^a   Legeard, Bruno ^a,b  

^a LEIRIOS Technologies   (France)

^b UNIVERSITÉ DE FRANCHE COMTÉ   (France)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED TEST GENERATIONS; B-MODELS; LEIRIOS TEST GENERATORS;

EID: 64849103039     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11955757_29     Document Type: Conference Paper

References (7)

1. B. Legeard, F. Peureux, and M. Utting. Automated boundary testing from Z and B. In Proc. of the Int. Conf. on Formal Methods Europe, FME’02, volume 2391 of LNCS, pages 21–40, Copenhaguen, Denmark, July 2002. Springer.
2. F. Ambert, F. Bouquet, S. Chemin, S. Guenaud, B. Legeard, F. Peureux, N. Vacelet, and M. Utting. BZ-TT: A tool-set for test generation from Z and B using constraint logic programming. In Proc. of Formal Approaches to Testing of Software, FATES 2002 (workshop of CONCUR’02), pages 105–120, Brnö, République Tchèque, August 2002. INRIA report.
3. E. Bernard, B. Legeard, X. Luck, and F. Peureux. Generation of test sequences from formal specifications: GSM 11-11 standard case study. International Journal of Software Practice and Experience, 34(10):915–948, 2004.
4. B. Legeard, F. Peureux, and M. Utting. Controlling test case explosion in test generation from B formal models. Software Testing, Verification and Reliability, STVR, 14(2):81–103, 2004.
5. F. Bouquet and B. Legeard. Reification of executable test scripts in formal specification-based test generation: The java card transaction mechanism case study. In Proc. of FME’03, Formal Method Europe, volume 2805 of LNCS, pages 778–795, Pisa, Italy, September 2003.
6. S. Schneider. The B-Method - An Introduction. 2001. 370 pages, ISBN 0-333-79284-X.
7. M. Utting and B. Legeard. Practical Model-Based Testing - A Tools Approach. 2006. 528 pages, ISBN 0-12-372501-1.