Reference : MutaLog: a Tool for Mutating Logic Formulas
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/16873
MutaLog: a Tool for Mutating Logic Formulas
English
Henard, Christopher mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
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) >]
2014
Testing Tools Track, 7th International Conference on Software Testing, Verification and Validation (ICST 2014)
Yes
Testing Tools Track, 7th International Conference on Software Testing, Verification and Validation (ICST 2014)
31-03-2014 to 04-04-2014
http://hdl.handle.net/10993/16873

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
mutalog.pdfAuthor preprint367.33 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.