Lutess: a specification-driven testing environment for synchronous software
du Bousquet, L., Ouabdesselam, F., Richier, J.-L., Zuanon, N.
Published in Proceedings / International Conference on Software Engineering (1999)
Published in Proceedings / International Conference on Software Engineering (1999)
Get full text
Conference Proceeding
Journal Article
Tobias-Z: An executable formal specification of a test generator
Ledru, Y., du Bousquet, L.
Published in 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) (01.09.2006)
Published in 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) (01.09.2006)
Get full text
Conference Proceeding
A case study in JML-based software validation
du Bousquet, L., Ledru, Y., Maury, O., Oriat, C., Lanet, J.-L.
Published in Automated Software Engineering: Proceedings of the 19th IEEE international conference on Automated software engineering; 20-24 Sept. 2004 (2004)
Published in Automated Software Engineering: Proceedings of the 19th IEEE international conference on Automated software engineering; 20-24 Sept. 2004 (2004)
Get full text
Conference Proceeding
Feature interaction detection using a synchronous approach and testing
du Bousquet, L., Ouabdesselam, F., Richier, J.-L., Zuanon, N.
Published in Computer networks (Amsterdam, Netherlands : 1999) (01.04.2000)
Published in Computer networks (Amsterdam, Netherlands : 1999) (01.04.2000)
Get full text
Journal Article
Expressing and implementing operational profiles for reactive software validation
du Bousquet, L., Ouabdesselam, F., Richier, J.-L.
Published in Proceedings - International Symposium on Software Reliability Engineering (1998)
Published in Proceedings - International Symposium on Software Reliability Engineering (1998)
Get full text
Conference Proceeding
Journal Article
Early metrics for object oriented designs
Baldassari, B., Robach, C., du Bousquet, L.
Published in First International Workshop onTestability Assessment, 2004. IWoTA 2004. Proceedings (2004)
Published in First International Workshop onTestability Assessment, 2004. IWoTA 2004. Proceedings (2004)
Get full text
Conference Proceeding
Using mutation analysis to evaluate test generation strategies in a synchronous context
du Bousquet, L., Delaunay, M.
Published in International Conference on Software Engineering Advances (ICSEA 2007) (01.08.2007)
Published in International Conference on Software Engineering Advances (ICSEA 2007) (01.08.2007)
Get full text
Conference Proceeding
Measuring a Java Test Suite Coverage Using JML Specifications
Dadeau, F., Ledru, Y., du Bousquet, L.
Published in Electronic notes in theoretical computer science (31.08.2007)
Published in Electronic notes in theoretical computer science (31.08.2007)
Get full text
Journal Article
A Case Study in Matching Test and Proof Coverage
Ledru, Y., du Bousquet, L., Dadeau, F., Allouti, F.
Published in Electronic notes in theoretical computer science (31.08.2007)
Published in Electronic notes in theoretical computer science (31.08.2007)
Get full text
Journal Article
Generation of test programs for the assertion-based verification of TLM models
Ferro, L., Pierre, L., Ledru, Y., du Bousquet, L.
Published in 2008 3rd International Design and Test Workshop (01.12.2008)
Published in 2008 3rd International Design and Test Workshop (01.12.2008)
Get full text
Conference Proceeding
Testing Against Some Eventuality Properties of Synchronous Software: A Case Study
du Bousquet, L., Ouabdesselam, F., Richier, J.-L., Zuanon, N.
Published in Electronic notes in theoretical computer science (29.10.2004)
Published in Electronic notes in theoretical computer science (29.10.2004)
Get full text
Journal Article
Lutess:a specification-driven testing environment for synchronous software
du Bousquet, L, Ouabdesselam, F, Richier, J-L, Zuanon, N
Published in International Conference on Software Engineering: Proceedings of the 21st international conference on Software engineering; 16-22 May 1999 (01.01.1999)
Published in International Conference on Software Engineering: Proceedings of the 21st international conference on Software engineering; 16-22 May 1999 (01.01.1999)
Get full text
Conference Proceeding