| An approach to symbolic test generation V Rusu, L Du Bousquet, T Jéron Integrated Formal Methods: Second International Conference, IFM 2000 …, 2000 | 166 | 2000 |
| Lutess: a specification-driven testing environment for synchronous software L Du Bousquet, F Ouabdesselam, JL Richier, N Zuanon Proceedings of the 21st international conference on Software engineering …, 1999 | 126 | 1999 |
| Filtering TOBIAS combinatorial test suites Y Ledru, L du Bousquet, O Maury, P Bontron Fundamental Approaches to Software Engineering: 7th International Conference …, 2004 | 90 | 2004 |
| An overview of Lutess a specification-based tool for testing synchronous software L du Bousquet, N Zuanon 14th IEEE International Conference on Automated Software Engineering, 208-215, 1999 | 56 | 1999 |
| Formal Test Automation: The Conference Protocol with TGV/TorX L Du Bousquet, S Ramangalahy, S Simon, C Viho, A Belinfante, ... Testing of Communicating Systems: Tools and Techniques. IFIP TC6/WG6. 1 13 …, 2000 | 50 | 2000 |
| Feature interaction detection using testing and model-checking experience report L du Bousquet FM’99—Formal Methods: World Congress on Formal Methods in the Development …, 1999 | 44 | 1999 |
| A comparison of mutation analysis tools for java M Delahaye, L Du Bousquet 2013 13th International Conference on Quality Software, 187-195, 2013 | 41 | 2013 |
| A case study in JML-based software validation L du Bousquet, Y Ledru, O Maury, C Oriat, JL Lanet Proceedings. 19th International Conference on Automated Software Engineering …, 2004 | 41 | 2004 |
| Incremental feature validation: a synchronous point of view LD Bousquet Proc. of FIW'98, 262-275, 1998 | 39 | 1998 |
| Selecting a software engineering tool: lessons learnt from mutation analysis M Delahaye, L Du Bousquet Software: Practice and Experience 45 (7), 875-891, 2015 | 37 | 2015 |
| Test purposes: adapting the notion of specification to testing Y Ledru, L du Bousquet, P Bontron, O Maury, C Oriat, ML Potet Proceedings 16th Annual International Conference on Automated Software …, 2001 | 35 | 2001 |
| Considering side effects in service interactions in home automation-an online approach L du Bousquet, JL Richier Feature Interactions in Software and Communication Systems IX, 172, 2008 | 33 | 2008 |
| Comparing safety analysis based on sequence diagrams and textual use cases T Stålhane, G Sindre, L Du Bousquet Advanced Information Systems Engineering: 22nd International Conference …, 2010 | 30 | 2010 |
| Expressing and implementing operational profiles for reactive software validation L du Bousquet, F Ouabdesselam, JL Richier Proceedings Ninth International Symposium on Software Reliability …, 1998 | 30 | 1998 |
| Using TOBIAS for the automatic generation of VDM test cases O Maury, Y Ledru, P Bontron, L du Bousquet Third VDM Workshop (at FME’02), Copenhaguen, Denmark, 2002 | 27 | 2002 |
| Conformance testing from UML specifications. Experience Report L Du Bousquet, H Martin, JM Jézéquel Lecture Notes in Informatics (LNI), 2001 | 24 | 2001 |
| Feature interaction detection using a synchronous approach and testing L du Bousquet, F Ouabdesselam, JL Richier, N Zuanon Computer Networks 32 (4), 419-431, 2000 | 24 | 2000 |
| Lutess: a testing environment for synchronous software L du Bousquet, F Ouabdesselam, I Parissis, JL Richier, N Zuanon Tool Support for System Specification, Development and Verification, 48-61, 1999 | 24 | 1999 |
| Mastering combinatorial explosion with the tobias-2 test generator Y Ledru, F Dadeau, L du Bousquet, S Ville, E Rose Proceedings of the twenty-second IEEE/ACM international conference on …, 2007 | 23 | 2007 |
| Towards mutation analysis for Lustre programs L du Bousquet, M Delaunay Electronic Notes in Theoretical Computer Science 203 (4), 35-48, 2008 | 22 | 2008 |
