Papadakis, Mike ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Le Traon, Yves ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Marion, Jean-Yves
External co-authors :
yes
Language :
English
Title :
Sound and Quasi-Complete Detection of Infeasible Test Requirements
Publication date :
2015
Event name :
Proceedings of the 8th IEEE International Conference on Software Testing, Verification and Validation (ICST'15)
Event date :
From 13-4-2015 to 17-4-2014
Audience :
International
Main work title :
8th IEEE International Conference on Software Testing, Verification and Validation (ICST'15)