Project Ressources

STclass is an open source project under LGPL Licence; it is hosted on the Tigris forge, the available services are:

An UBS/Valoria Project

This project is supported by the ALCC Team of the VALORIA Laboratory at Université de Bretagne Sud (UBS - Vannes - France).

ubs   valoria

This page presents all reports and academic papers that have been published by the Aglae and ALCC teams of the Valoria laboratory on the Contract Based Testing and STclass. An other page describes related works.

Academic Journals

  1. Jean-Marc Jézéquel, Daniel Deveaux, Yves Le Traon. Reliable Objects: Lightweight Testing for 00 Languages. IEEE-Software, 18(4):76-83, 2001. pdf (in French)
  2. Daniel Deveaux, Régis Fleurquin, Patrice Frison, Jean-Marc Jézéquel, Yves Le Traon. Composants objet fiables : une approche pragmatique. L'Objet, 5(3):469-494, April 2000. pdf

International Conferences

  1. Daniel Deveaux, Gersan Moguérou. Applying Contact Based Built-in Testing (CBBT) to Java Language. In "Software Engineering Today" SET 2007, Frances Paulisch, Rudolf K. Keller (eds.), Zurich (SUISSE), 2007. pdf
    2. details download
  2. D. Deveaux, J-F. Le Cam, A. Despland. Software Components Development and Follow-up: the "Design for Trustability" (DfT) Approach. In Proceedings of the Information System Technology Panel Symposium, RTO-MP (ed.), Pages 16-1, Bonn (Germany), September 2002. pdf
  3. Daniel Deveaux, Patrice Frison, Jean-Marc Jézéquel. Increase Software Trustability with Self-Testable Components in Java. In Proceedings 2001 Australian Sofware Engineering Conference, D. D. Grant, L. Sterling (eds.), Pages 3-11, Canberra - Australia, August 2001.
  4. Yves Le Traon, Jean-Marc Jezequel, Daniel Deveaux. OO Components: a Design-for-Testability Approach. In Proc. of the 2nd Conference on Quantitative Management on Software Engineering (QM'99), Rome (Italy), December 1999.
  5. Daniel Deveaux, Régis Fleurquin, Patrice Frison. Software Engineering Teaching: a 'Docware' Approach. In ITiCSE'99, ACM (ed.), Cracow, June 1999. pdf
  6. Yves Le Traon, Daniel Deveaux, Jean-Marc Jézéquel. Self-Testable Components: from Pragmatic Tests to a Design-for-Testability Methodology. In Proc. of TOOLS-Europe'99, June 1999. pdf

International Workshops

  1. Daniel Deveaux. A Design for Trustability Approach to Teach Object-Oriented Program Development. In Tenth Workshop on Pedagogies and Tools for the Teaching and Learning of Object Oriented Concepts, at ECOOP 2006, Nantes France, July 2006. web
  2. Daniel Deveaux, Philippe Collet. Specification of a Contract Based Built-in Test Framework for Fractal. In 5th Fractal Components Workshop at ECOOP 2006, Nantes France, July 2006. pdf
  3. P. Collet, D. Deveaux, R. Rousseau, Y. Le Traon. Contract-Based Testing: from Objects to Components. In Proceedings 1st International Workshop on Testability Assessment (IWoTA), Rennes-St Malo, FRANCE, November 2004.
  4. Daniel Deveaux. The Design for Trustability Approach. In Trusted Components Workshop, Prato Italy, 2003. pdf
  5. Daniel Deveaux, Yves Le Traon. XML to Manage Source Code Engineering in Object-Oriented Development: an Example. In XML Technologies and Software Engineering, Cecilia Mascolo, Wolfgang Emmerich, Anthony Finkelstein (eds.), Pages 28-31, Toronto, Canada, May 2001. pdf
  6. Daniel Deveaux, Guy Saint-Denis, Rudolf K. Keller. XML Support to Design for Testability. In Proc. of XOT'2000 workshop at ECOOP'2000, Cannes (France), June 2000. pdf

National Conferences and Workshops

  1. Daniel Deveaux, Jean-Marc Jézéquel. Des classes auto-testables. In LMO'99 : langages et modèles à objets, Jacques Malenfant, Roger Rousseau (eds.), January 1999. pdf (in French)

Research Reports

  1. Daniel Deveaux, Patrice Frison, Ré Fleurquin. Quality Object Software Development: a "Docware" Approach. Research Report UBS - Lab. Valoria, February 2000. pdf
  2. Daniel Deveaux, Ré Fleurquin, Patrice Frison. Teaching Verification and Validation Technology. Research Report UBS - Lab Valoria, March 1999.

Misc

  1. Daniel Deveaux. O2CM un modèle de code source objet. Séminaire du groupe META, Lannion, 2002. pdf
  2. Yves Le Traon, Daniel Deveaux. Trusted Components: une approche pragmatique et une méthodologie pour la conception testable. Séminaire du groupe 'Test et Objets', Orsay, June 1999. (in French)

Thesis

  1. Daniel Deveaux. Vers la construction de logiciels de confiance. Habilitation à diriger des recherches Univ. Bretagne Sud - Lab Valoria, December 2003. pdf (in French)

Master's thesis

  1. Florent Baudouin. Mise en oeuvre des tests de mutation pour l'évaluation de la qualité des composants objet. Master Thesis Université de Bretagne Sud - UFR SSI - DEA Informatique, Lab Valoria - Eq Composants - Vannes, September 2003. pdf (in French)