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
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
System-level modeling of electromechanical devices with energy consumption
Bousquet, L., Simeu, E.
Published in 2013 IEEE International Systems Conference (SysCon) (01.04.2013)
Published in 2013 IEEE International Systems Conference (SysCon) (01.04.2013)
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
SystemC-AMS high-level modeling of linear analog blocks with power consumption information
Bousquet, L., Cenni, F., Simeu, E.
Published in 2011 12th Latin American Test Workshop (LATW) (01.03.2011)
Published in 2011 12th Latin American Test Workshop (LATW) (01.03.2011)
Get full text
Conference Proceeding
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
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
Velocities field of mountain glacier obtained by synthetic aperture radar interferometry. comparison of insar and surveyed velocities
Bousquet, L., Gay, M., Legresy, B., Gabriel-vasile, Trouve, E.
Published in IGARSS 2004. 2004 IEEE International Geoscience and Remote Sensing Symposium (2004)
Published in IGARSS 2004. 2004 IEEE International Geoscience and Remote Sensing Symposium (2004)
Get full text
Conference Proceeding