Back
  1. Home
  3. Detailled Reference
Download
Paper published in a book (Scientific congresses, symposiums and conference proceedings)
MutaLog: a Tool for Mutating Logic Formulas
Henard, Christopher; Papadakis, Mike; Le Traon, Yves
2014 • In Testing Tools Track, 7th International Conference on Software Testing, Verification and Validation (ICST 2014)
Peer reviewed
Permalink
https://hdl.handle.net/10993/16873
DOI
10.1109/ICSTW.2014.54
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

Files

Full Text
mutalog.pdf
Author preprint (376.14 kB)
Download

All documents in ORBilu are protected by a user license.

Send to


Details


Disciplines :
Computer science
Author, co-author :
Henard, Christopher ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
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)
External co-authors :
no
Language :
English
Title :
MutaLog: a Tool for Mutating Logic Formulas
Publication date :
2014
Event name :
Testing Tools Track, 7th International Conference on Software Testing, Verification and Validation (ICST 2014)
Event date :
31-03-2014 to 04-04-2014
Main work title :
Testing Tools Track, 7th International Conference on Software Testing, Verification and Validation (ICST 2014)
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 28 May 2014

Statistics

Number of views
125 (7 by Unilu)
Number of downloads
120 (1 by Unilu)
More statistics
Scopus citations®
 
9
Scopus citations®
without self-citations
8
WoS citations™
 
6

Bibliography

Similar publications


Contact ORBilu