Validity fuzzing and parametric generators for effective random testing

Padhye, Rohan; Lemieux, Caroline; Sen, Koushik; PAPADAKIS, Mike; LE TRAON, Yves

doi:10.1109/ICSE-COMPANION.2019.00107

Download

Paper published in a journal (Scientific congresses, symposiums and conference proceedings)

Validity fuzzing and parametric generators for effective random testing

Padhye, Rohan; Lemieux, Caroline; Sen, Koushik et al.

2019 • In 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), p. 266–267

Peer reviewed

Permalink
https://hdl.handle.net/10993/57660

DOI
10.1109/ICSE-COMPANION.2019.00107

Files (1)Send to Details Statistics Bibliography Similar publications

Files

Full Text

1812.00078v1.pdf

Author postprint (410.08 kB)

Download

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

Details

Disciplines :

Computer science

Author, co-author :

Padhye, Rohan

Lemieux, Caroline

Sen, Koushik

PAPADAKIS, Mike ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SerVal

LE TRAON, Yves ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > SerVal

External co-authors :

yes

Language :

English

Title :

Validity fuzzing and parametric generators for effective random testing

Publication date :

2019

Event name :

Published in: 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

Event date :

25-31 May 2019

Journal title :

2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

Pages :

266–267

Peer reviewed :

Peer reviewed

Additional URL :

https://doi.org/10.1109/ICSE-Companion.2019.00107

Available on ORBilu :

since 22 November 2023

Statistics

Number of views

2 (1 by Unilu)

Number of downloads

7 (1 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenCitations

Bibliography

K. Claessen and J. Hughes, "Quickcheck: A lightweight tool for random testing of haskell programs," in Proceedings of the 5th ACM SIGPLAN International Conference on Functional Programming, ser. icfp, 2000.
M. Zalewski, "American fuzzy lop," http://lcamtuf.coredump.cx/afl, 2014, accessed January 11, 2019.
P. Holser, "junit-quickcheck: Property-based testing, JUnit-style," https://pholser.github.io/junit-quickcheck, 2014, accessed January 11, 2019.