Back to INDEX   Publications of Kalou Cabrera Castillos   Articles in journal or book chapters Frédéric Dadeau, Kalou Cabrera Castillos, and Régis Tissot. Scenario-Based Testing using Symbolic Animation of B Models. Software Testing, Verification and Reliability, *(*):***--***, 2012. Note: Accepted manuscript. To appear. [bibtex] Kalou Cabrera Castillos, Frédéric Dadeau, and Jacques Julliand. Scenario-Based Testing from UML/OCL Behavioral Models -- Application to POSIX Compliance. STTT, International Journal on Software Tools for Technology Transfer, 13(5):431--448, 2011. Note: Special Issue on Verified Software: Tools, Theory and Experiments (VSTTE'09). [bibtex] Conference articles Kalou Cabrera Castillos and Julien Botella. Scenario Based Test Generation using Test Designer. In SCENARIOS'11, 1st Int. Workshop on Scenario Based Testing -- co-located with ICST'2011, Berlin, Germany, pages 79--88, March 2011. IEEE Computer Society Press. [bibtex] Kalou Cabrera Castillos, Frédéric Dadeau, Jacques Julliand, and Safouan Taha. Measuring Test Properties Coverage for evaluating UML/OCL Model-Based Tests. In B. Wolff and F. Zaidi, editors, ICTSS'11, 23-th IFIP Int. Conf. on Testing Software and Systems, volume 7019 of LNCS, Paris, France, pages 32--47, November 2011. Springer. [bibtex] Other publications Kalou Cabrera Castillos. Scenario Based Testing for ensuring POSIX Compliance (Software Verification: Theory, Tools and Experiments). Conférence invitée SVTTE'09, November 2009. [bibtex] Back to INDEX

Wed May 16 18:07:18 2012 Authors: Arnaud Lanoix, Pierre-Alain Masson and Jean-Marc Nicod

This document was translated from BibTEX by bibtex2html