MutaLog: a Tool for Mutating Logic Formulas

Henard, Christopher; Papadakis, Mike; Le Traon, Yves

doi:10.1109/ICSTW.2014.54

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 Send to Details Statistics Bibliography Similar publications

Files

Full Text

mutalog.pdf

Author preprint (376.14 kB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink Twitter Linkedin

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 :

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

111 (1 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

WoS citations^™