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
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