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
Co-auteurs externes :
yes
Langue du document :
Anglais
Titre :
Sound and Quasi-Complete Detection of Infeasible Test Requirements
Date de publication/diffusion :
2015
Nom de la manifestation :
Proceedings of the 8th IEEE International Conference on Software Testing, Verification and Validation (ICST'15)
Date de la manifestation :
From 13-4-2015 to 17-4-2014
Manifestation à portée :
International
Titre de l'ouvrage principal :
8th IEEE International Conference on Software Testing, Verification and Validation (ICST'15)
