Biblio

6 resultats trouvés
Filtres: Mot-clé is model-based testing  [Clear All Filters]
C
Botella J, Capuron J-F, Dadeau F, Fourneret E, Legeard B, Schadle F.  2019.  Complementary test selection criteria for model-based testing of security components. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER. 21:425-448.
I
Neisse R, Baldini G, Steri G, Ahmad A, Fourneret E, Legeard B.  2017.  Improving Internet of Things Device Certification with Policy-based Management. 2017 GLOBAL INTERNET OF THINGS SUMMIT (GIOTS 2017). :373-378.
S
Fourneret E, Cantenot J, Bouquet F, Legeard B, Botella J.  2014.  SeTGaM: Generalized Technique for Regression Testing Based on UML/OCL Models. 2014 EIGHTH INTERNATIONAL CONFERENCE ON SOFTWARE SECURITY AND RELIABILITY. :147-156.
T
Cantenot J, Ambert F, Bouquet F.  2014.  Test generation with Satisfiability Modulo Theories solvers in model-based testing. SOFTWARE TESTING VERIFICATION & RELIABILITY. 24:499-531.
Bride H, Julliand J, Masson P-A.  2016.  Tri-modal under-approximation for test generation. SCIENCE OF COMPUTER PROGRAMMING. 132:190-208.
Bride H, Julliand J, Masson P-A.  2015.  Tri-Modal Under-Approximation of Event Systems for Test Generation. 30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II. :1737-1744.