Tuesday December 05, 2023
Tobias related publications
- Model-based filtering of combinatorial test suites.
Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella.
Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012), 7212:439-454, LNCS, Tallinn, Estonia, mar 2012.
Original available at http://rd.springer.com/chapter/10.1007/978-3-642-28872-2_30 .
- Reusing a JML specification dedicated to verification for testing, and vice-versa: case studies.
Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet.
Journal of Automated Reasoning, Springer, 45(4), 2010.
Original available at http://dx.doi.org/10.1007/s10817-009-9132-y .
- Assertion-based test oracles for home automation systems.
Ajitha Rajan, Lydie du Bousquet, Yves Ledru, German Eduardo Vega Baez, Jean-Luc Richier.
Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, :45--52, MOMPES'10, New York, NY, USA, 2010.
Original available at http://dx.doi.org/10.1145/1865875.1865882 .
- Generation of test programs for the assertion-based verification of TLM models.
Luca Ferro, Laurence Pierre, Yves Ledru, Lydie du Bousquet.
Design and Test Workshop, 2008. IDT 2008. 3rd International, :237-242, dec 2008.
Original available at http://dx.doi.org/10.1109/IDT.2008.4802505 .
- Directed random reduction of combinatorial test suites.
Frédéric Dadeau, Yves Ledru, Lydie du Bousquet.
RT'07: Proceedings of the 2nd international workshop on Random testing, :18--25, New York, NY, USA, 2007.
Original available at http://dx.doi.org/10.1145/1292414.1292421 .
- Mastering combinatorial explosion with the Tobias-2 test generator.
Yves Ledru, Frédéric Dadeau, Lydie du Bousquet, Sébastien Ville, Elodie Rose.
22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, :535-536, 2007. Note: Demonstration.
Original available at http://dx.doi.org/10.1145/1321631.1321731 .
- Tobias-Z: An executable formal specification of a test generator.
Yves Ledru, Lydie du Bousquet.
21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan, :353-354, 2006. Note: Demonstration.
Original available at http://dx.doi.org/10.1109/ASE.2006.67 .
- A Case Study in Matching Test and Proof Coverage.
Lydie du Bousquet, Yves Ledru, Frédéric Dadeau, F. Allouti.
Third Workshop on Model-Based Testing (MBT), Braga, Portugal, mar 2007.
Original available at http://dx.doi.org/10.1016/j.entcs.2007.08.007 .
- Test of the ICARE platform fusion mechanism
S. Dupuy-Chessa, L. du Bousquet, J. Bouchet and Y. Ledru,
In Proceedings of DSVIS'05 - Int. Workshop on Design Specification and Verification of Interactive
Systems, to appear as LNCS, Springer Verlag, Newcastle, July 2005. The original
publication is available at http://dx.doi.org/10.1007/11752707_9.
- Tobias un outil de test combinatoire pour le test de conformité.
Y. Ledru, P. Bontron, L. du Bousquet, O. Maury, C. Oriat,
- A case study in JML-based software validation.
L. du Bousquet, Y. Ledru, O. Maury, C. Oriat, J.L. Lanet,
Short paper. In Proceedings of the Int. IEEE Conf.
on Automated Software Engineering, IEEE Computer Society Press, Linz,
Sep 2004.The original publication is available at .http://dx.doi.org/10.1109/ASE.2004.1
The full version is also available.
- Filtering TOBIAS combinatorial test suites
Y. Ledru, L. du Bousquet, O. Maury, and P. Bontron
In Proceedings of ETAPS/FASE' 04 - Fundamental Approaches to Software Engineering , LNCS 2984, Springer-Verlag.
Barcelone, Spain, March 2004
Original available at http://dx.doi.org/10.1007/978-3-540-24721-0_21 .
- Intégration de TOBIAS et
UCASTING pour la génération des tests
O. Maury, Y. Ledru and L. du Bousquet.
In 16th
International Conference Software & Systems Engineering and their
Applications-ICSSEA’2003, Paris, France, 2003.
- Using TOBIAS for the automatic genera-tion of VDM test cases.
O. Maury, Y. Ledru, P. Bontron, and L. du Bousquet.
In Third VDM Workshop (in conjunction with FME2002), Copenhagen, Danemark, 2002.
- The TOBIAS Test Generator and Its Adaptation to Some ASE Challenges (position paper).
Y. Ledru.
In Workshop on the State of the Art in Automated Software Engineering, ICS Technical Report UCI-ICS-02-17,Université de Californie à Irvine, USA, 2002.
- TOBIAS : un environnement pour la création d’objectifs de test à partir de schémas de test.
P. Bontron and O. Maury and L. du Bousquet and Y. Ledru and C. Oriat and M.-L. Potet.
In 14th International Conference Software & Systems Engineering and their Applications-ICSSEA’2001, Paris, France, 2001.