Export 3 results:
Filters: Author is Yves Le Traon and Keyword is Conference [Clear All Filters]
Model-Based Testing of Obligations In The 14th International Conference on Quality Software (QSIC), Edited by T. H. Tse, E. Wong and B. McMillin. Allen, TX, USA: IEEE, 2014.
Assessing Quality and Effort of Applying Aspect State Machines for Robustness Testing: a Controlled Experiment In International Conference on Software Testing, Verification and Validation (ICST), Edited by Y. Le Traon. Luembourg: IEEE, 2013.
Classification, Structuring, and Assessment of Evidence for Safety: a Systematic Literature Review In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST 2013), Edited by B. Baudry, A. Orso and Y. Le Traon. IEEE, 2013.
Simula.simula.1656.pdf (819.79 KB)