| Practical model-based testing: a tools approach M Utting, B Legeard Elsevier, 2010 | 1944 | 2010 |
| A taxonomy of model‐based testing approaches M Utting, A Pretschner, B Legeard Software testing, verification and reliability 22 (5), 297-312, 2012 | 1176 | 2012 |
| 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 | 265 | 2013 |
| Automated boundary testing from Z and B B Legeard, F Peureux, M Utting FME 2002: Formal Methods—Getting IT Right: International Symposium of …, 2002 | 192 | 2002 |
| 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 | 152 | 2007 |
| 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 | 123 | 2004 |
| 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 | 118 | 2002 |
| 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 | 100 | 2004 |
| 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 | 80 | 2008 |
| CLPS-B—a constraint solver for B F Bouquet, B Legeard, F Peureux Tools and Algorithms for the Construction and Analysis of Systems: 8th …, 2002 | 71 | 2002 |
| Model-based testing essentials-guide to the ISTQB certified model-based tester: foundation level A Kramer, B Legeard John Wiley & Sons, 2016 | 63 | 2016 |
| Model-based testing as a service for iot platforms A Ahmad, F Bouquet, E Fourneret, F Le Gall, B Legeard Leveraging Applications of Formal Methods, Verification and Validation …, 2016 | 60 | 2016 |
| 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 | 60 | 1992 |
| Recent advances in model-based testing M Utting, B Legeard, F Bouquet, E Fourneret, F Peureux, A Vernotte Advances in computers 101, 53-120, 2016 | 59 | 2016 |
| Model-based testing: where does it stand? RV Binder, B Legeard, A Kramer Communications of the ACM 58 (2), 52-56, 2015 | 59* | 2015 |
| 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, 143-157, 2004 | 58 | 2004 |
| 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 | 55 | 2004 |
| 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 | 53 | 2001 |
| Security certification and labelling in Internet of Things G Baldini, A Skarmeta, E Fourneret, R Neisse, B Legeard, F Le Gall 2016 IEEE 3rd World Forum on Internet of Things (WF-IoT), 627-632, 2016 | 51 | 2016 |
| 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 | 50 | 2005 |
