Mining Temporal Properties of Data Invariants. - Caroline Lemieux (ICSE (2), 2015)

Investigating Program Behavior Using the Texada LTL Specifications Miner. - Caroline Lemieux; Ivan Beschastnikh (ASE, 2015)

General LTL Specification Mining (T). - Caroline Lemieux; Dennis Park; Ivan Beschastnikh (ASE, 2015)

ICSE 2015 SIGSOFT CAPS Report. - Caroline Lemieux (ACM SIGSOFT Softw. Eng. Notes, 2015)

FairFuzz: Targeting Rare Branches to Rapidly Increase Greybox Fuzz Testing Coverage. - Caroline Lemieux; Koushik Sen (CoRR, 2017)

PerfFuzz: automatically generating pathological inputs. - Caroline Lemieux; Rohan Padhye; Koushik Sen; Dawn Song (ISSTA, 2018)

FairFuzz: a targeted mutation strategy for increasing greybox fuzz testing coverage. - Caroline Lemieux; Koushik Sen (ASE, 2018)

Zest: Validity Fuzzing and Parametric Generators for Effective Random Testing. - Rohan Padhye; Caroline Lemieux; Koushik Sen; Mike Papadakis; Yves Le Traon (CoRR, 2018)

Validity fuzzing and parametric generators for effective random testing. - Rohan Padhye; Caroline Lemieux; Koushik Sen; Mike Papadakis; Yves Le Traon (ICSE (Companion Volume), 2019)

JQF: coverage-guided property-based testing in Java. - Rohan Padhye; Caroline Lemieux; Koushik Sen (ISSTA, 2019)

Semantic fuzzing with zest. - Rohan Padhye; Caroline Lemieux; Koushik Sen; Mike Papadakis; Yves Le Traon (ISSTA, 2019)

FUDGE: fuzz driver generation at scale. - Domagoj Babic; Stefan Bucur; Yaohui Chen; Franjo Ivancic; Tim King 001; Markus Kusano; Caroline Lemieux; László Szekeres; Wei Wang (ESEC/SIGSOFT FSE, 2019)

AutoPandas: neural-backed generators for program synthesis. - Rohan Bavishi; Caroline Lemieux; Roy Fox; Koushik Sen; Ion Stoica (Proc. ACM Program. Lang., 2019)

FuzzFactory: domain-specific fuzzing with waypoints. - Rohan Padhye; Caroline Lemieux; Koushik Sen; Laurent Simon 001; Hayawardh Vijayakumar (Proc. ACM Program. Lang., 2019)

Quickly generating diverse valid test inputs with reinforcement learning. - Sameer Reddy; Caroline Lemieux; Rohan Padhye; Koushik Sen (ICSE, 2020)

Learning Highly Recursive Input Grammars. - Neil Kulkarni; Caroline Lemieux; Koushik Sen (ASE, 2021)

Gauss: program synthesis by reasoning over graphs. - Rohan Bavishi; Caroline Lemieux; Koushik Sen; Ion Stoica (Proc. ACM Program. Lang., 2021)

FairFuzz-TC: a fuzzer targeting rare branches. - Caroline Lemieux; Koushik Sen (Int. J. Softw. Tools Technol. Transf., 2021)

Expanding the Reach of Fuzz Testing. - Caroline Lemieux (2021)

CodaMosa: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models. - Caroline Lemieux; Jeevana Priya Inala; Shuvendu K. Lahiri; Siddhartha Sen 001 (ICSE, 2023)

Can Large Language Models Write Good Property-Based Tests? - Vasudev Vikram; Caroline Lemieux; Rohan Padhye (CoRR, 2023)

The Havoc Paradox in Generator-Based Fuzzing (Registered Report). - Ao Li 009; Madonna Huang; Caroline Lemieux; Rohan Padhye (FUZZING, 2024)

Directed or Undirected: Investigating Fuzzing Strategies in a CI/CD Setup (Registered Report). - Madonna Huang; Caroline Lemieux (FUZZING, 2024)

QuAC: Quick Attribute-Centric Type Inference for Python. - Jifeng Wu; Caroline Lemieux (Proc. ACM Program. Lang., 2024)