Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Sound and Quasi-Complete Detection of Infeasible Test Requirements
Bardin, Sebastien; Delahaye, Mickaël; Kosmatov, Nikolai et al.
2015In 8th IEEE International Conference on Software Testing, Verification and Validation (ICST'15)
Peer reviewed
 

Files


Full Text
ICST15.pdf
Publisher postprint (318.22 kB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Bardin, Sebastien
Delahaye, Mickaël
Kosmatov, Nikolai
David, Robin
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)
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 06 March 2015

Statistics


Number of views
136 (5 by Unilu)
Number of downloads
66 (1 by Unilu)

Scopus citations®
 
33
Scopus citations®
without self-citations
17

Bibliography


Similar publications



Contact ORBilu