Bruno Legeard
Bruno Legeard
Université Bourgogne Franche-Comté - FEMTO-ST Institute / CNRS
Bestätigte E-Mail-Adresse bei femto-st.fr
Titel
Zitiert von
Zitiert von
Jahr
Practical model-based testing: a tools approach
M Utting, B Legeard
Elsevier, 2010
15492010
A taxonomy of model‐based testing approaches
M Utting, A Pretschner, B Legeard
Software testing, verification and reliability 22 (5), 297-312, 2012
8542012
Automated boundary testing from Z and B
B Legeard, F Peureux, M Utting
International Symposium of Formal Methods Europe, 21-40, 2002
1722002
A subset of precise UML for model-based testing
F Bouquet, C Grandpierre, B Legeard, F Peureux, N Vacelet, M Utting
Proceedings of the 3rd international workshop on Advances in model-based …, 2007
1222007
BZ-TT: A tool-set for test generation from Z and B using constraint logic programming
F Ambert, F Bouquet, S Chemin, S Guenaud, B Legeard, F Peureux, ...
Formal Approaches to Testing of Software, FATES 2002 workshop of CONCUR 2 …, 2002
1112002
Generation of test sequences from formal specifications: GSM 11‐11 standard case study
E Bernard, B Legeard, X Luck, F Peureux
Software: Practice and Experience 34 (10), 915-948, 2004
1082004
Boundary coverage criteria for test generation from formal models
N Kosmatov, B Legeard, F Peureux, M Utting
15th International Symposium on Software Reliability Engineering, 139-150, 2004
892004
CLPS-B—a constraint solver for B
F Bouquet, B Legeard, F Peureux
International Conference on Tools and Algorithms for the Construction and …, 2002
682002
A test generation solution to automate software testing
F Bouquet, C Grandpierre, B Legeard, F Peureux
Proceedings of the 3rd international workshop on Automation of software test …, 2008
662008
Hoist scheduling problem: an approach based on constraint logic programming
P Baptiste, B Legeard, C Varnier
Proceedings 1992 IEEE international conference on robotics and automation …, 1992
531992
CLPS–B–A constraint solver to animate a B specification
F Bouquet, B Legeard, F Peureux
International Journal on Software Tools for Technology Transfer 6 (2), 143-157, 2004
522004
Model-based vulnerability testing for web applications
F Lebeau, B Legeard, F Peureux, A Vernotte
2013 IEEE Sixth International Conference on Software Testing, Verification …, 2013
512013
Generation of functional test sequences from B formal specifications presentation and industrial case-study
B Legeard, F Peureux
Proceedings 16th Annual International Conference on Automated Software …, 2001
512001
Controlling test case explosion in test generation from B formal models
B Legeard, F Peureux, M Utting
Software Testing, Verification and Reliability 14 (2), 81-103, 2004
492004
LEIRIOS test generator: Automated test generation from B models
E Jaffuel, B Legeard
International Conference of B Users, 277-280, 2007
452007
A comparison of the BTT and TTF test-generation methods
B Legeard, F Peureux, M Utting
International Conference of B and Z Users, 309-329, 2002
432002
Symbolic animation of JML specifications
F Bouquet, F Dadeau, B Legeard, M Utting
International Symposium on Formal Methods, 75-90, 2005
422005
Model-based testing: where does it stand?
RV Binder, B Legeard, A Kramer
Communications of the ACM 58 (2), 52-56, 2015
412015
Requirements traceability in automated test generation: application to smart card software validation
F Bouquet, E Jaffuel, B Legeard, F Peureux, M Utting
ACM SIGSOFT Software Engineering Notes 30 (4), 1-7, 2005
402005
Reification of executable test scripts in formal specification-based test generation: The java card transaction mechanism case study
F Bouquet, B Legeard
International Symposium of Formal Methods Europe, 778-795, 2003
402003
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20