Reference : Sound and Quasi-Complete Detection of Infeasible Test Requirements
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/20291
Sound and Quasi-Complete Detection of Infeasible Test Requirements
English
Bardin, Sebastien []
Delahaye, Mickaël []
Kosmatov, Nikolai []
David, Robin []
Papadakis, Mike mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Le Traon, Yves mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Marion, Jean-Yves []
2015
8th IEEE International Conference on Software Testing, Verification and Validation (ICST'15)
Yes
International
Proceedings of the 8th IEEE International Conference on Software Testing, Verification and Validation (ICST'15)
From 13-4-2015 to 17-4-2014
http://hdl.handle.net/10993/20291

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
ICST15.pdfPublisher postprint310.76 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.