Suivre
lydie du Bousquet
lydie du Bousquet
Professor of Computer Science, Grenoble University (UGA)
Adresse e-mail validée de imag.fr
Titre
Citée par
Citée par
Année
An approach to symbolic test generation
V Rusu, L Du Bousquet, T Jéron
Integrated Formal Methods: Second International Conference, IFM 2000 …, 2000
1662000
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
1281999
Filtering TOBIAS combinatorial test suites
Y Ledru, L du Bousquet, O Maury, P Bontron
Fundamental Approaches to Software Engineering: 7th International Conference …, 2004
872004
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
571999
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
492000
Feature interaction detection using testing and model-checking experience report
L du Bousquet
International Symposium on Formal Methods, 622-641, 1999
461999
A comparison of mutation analysis tools for java
M Delahaye, L Du Bousquet
2013 13th International Conference on Quality Software, 187-195, 2013
442013
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
422004
Incremental feature validation: a synchronous point of view
LD Bousquet
Proc. of FIW'98, 262-275, 1998
421998
Selecting a software engineering tool: lessons learnt from mutation analysis
M Delahaye, L Du Bousquet
Software: Practice and Experience 45 (7), 875-891, 2015
372015
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
352001
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
322008
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
292010
Expressing and implementing operational profiles for reactive software validation
L du Bousquet, F Ouabdesselam, JL Richier
Proceedings Ninth International Symposium on Software Reliability …, 1998
291998
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
272002
Conformance testing from UML specifications experience report1
L Bousquet, H Martin, JM Jézéquel
242001
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
242000
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, 1998
241998
Mastering combinatorial explosion with the tobias-2 test generator
Y Ledru, F Dadeau, L du Bousquet, S Ville, E Rose
Proceedings of the 22nd IEEE/ACM International Conference on Automated …, 2007
232007
Towards mutation analysis for Lustre programs
L du Bousquet, M Delaunay
Electronic Notes in Theoretical Computer Science 203 (4), 35-48, 2008
222008
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20