Caroline Lemieux

28 papers A* 6A 3Journal 13Unranked 5
YearRankTypeTitle / Venue / Authors
2026 J jnl
The Havoc Paradox in Generator-Based Fuzzing - RCR Report.
ACM Trans. Softw. Eng. Methodol.
Ao Li, Madonna Huang, Vasudev Vikram, Caroline Lemieux, Rohan Padhye
2026 J jnl
The Havoc Paradox in Generator-Based Fuzzing.
ACM Trans. Softw. Eng. Methodol.
Ao Li, Madonna Huang, Vasudev Vikram, Caroline Lemieux, Rohan Padhye
2025 J jnl
DocPrism: Local Categorization and External Filtering to Identify Relevant Code-Documentation Inconsistencies.
CoRR
Xiaomeng Xu, Zahin Wahab, Reid Holmes, Caroline Lemieux
2024 — conf
Directed or Undirected: Investigating Fuzzing Strategies in a CI/CD Setup (Registered Report).
FUZZING
Madonna Huang, Caroline Lemieux
2024 J jnl
QuAC: Quick Attribute-Centric Type Inference for Python.
Proc. ACM Program. Lang.
Jifeng Wu, Caroline Lemieux
2024 — conf
The Havoc Paradox in Generator-Based Fuzzing (Registered Report).
FUZZING
Ao Li, Madonna Huang, Caroline Lemieux, Rohan Padhye
2023 J jnl
Can Large Language Models Write Good Property-Based Tests?
CoRR
Vasudev Vikram, Caroline Lemieux, Rohan Padhye
2023 A* conf
CodaMosa: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models.
ICSE
Caroline Lemieux, Jeevana Priya Inala, Shuvendu K. Lahiri, Siddhartha Sen
2021 — —
Expanding the Reach of Fuzz Testing.
Caroline Lemieux
2021 J jnl
FairFuzz-TC: a fuzzer targeting rare branches.
Int. J. Softw. Tools Technol. Transf.
Caroline Lemieux, Koushik Sen
2021 J jnl
Gauss: program synthesis by reasoning over graphs.
Proc. ACM Program. Lang.
Rohan Bavishi, Caroline Lemieux, Koushik Sen, Ion Stoica
2021 A* conf
Learning Highly Recursive Input Grammars.
ASE
Neil Kulkarni, Caroline Lemieux, Koushik Sen
2021 J jnl
Learning Highly Recursive Input Grammars.
CoRR
Neil Kulkarni, Caroline Lemieux, Koushik Sen
2020 A* conf
Quickly generating diverse valid test inputs with reinforcement learning.
ICSE
Sameer Reddy, Caroline Lemieux, Rohan Padhye, Koushik Sen
2019 J jnl
AutoPandas: neural-backed generators for program synthesis.
Proc. ACM Program. Lang.
Rohan Bavishi, Caroline Lemieux, Roy Fox, Koushik Sen, Ion Stoica
2019 — conf
FUDGE: fuzz driver generation at scale.
ESEC/SIGSOFT FSE
Domagoj Babic, Stefan Bucur, Yaohui Chen, Franjo Ivancic, Tim King, Markus Kusano, Caroline Lemieux, László Szekeres, Wei Wang
2019 J jnl
FuzzFactory: domain-specific fuzzing with waypoints.
Proc. ACM Program. Lang.
Rohan Padhye, Caroline Lemieux, Koushik Sen, Laurent Simon, Hayawardh Vijayakumar
2019 A conf
JQF: coverage-guided property-based testing in Java.
ISSTA
Rohan Padhye, Caroline Lemieux, Koushik Sen
2019 A conf
Semantic fuzzing with zest.
ISSTA
Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon
2019 — conf
Validity fuzzing and parametric generators for effective random testing.
ICSE (Companion Volume)
Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon
2018 A* conf
FairFuzz: a targeted mutation strategy for increasing greybox fuzz testing coverage.
ASE
Caroline Lemieux, Koushik Sen
2018 A conf
PerfFuzz: automatically generating pathological inputs.
ISSTA
Caroline Lemieux, Rohan Padhye, Koushik Sen, Dawn Song
2018 J jnl
Zest: Validity Fuzzing and Parametric Generators for Effective Random Testing.
CoRR
Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon
2017 J jnl
FairFuzz: Targeting Rare Branches to Rapidly Increase Greybox Fuzz Testing Coverage.
CoRR
Caroline Lemieux, Koushik Sen
2015 A* conf
General LTL Specification Mining (T).
ASE
Caroline Lemieux, Dennis Park, Ivan Beschastnikh
2015 J jnl
ICSE 2015 SIGSOFT CAPS Report.
ACM SIGSOFT Softw. Eng. Notes
Caroline Lemieux
2015 A* conf
Investigating Program Behavior Using the Texada LTL Specifications Miner.
ASE
Caroline Lemieux, Ivan Beschastnikh
2015 — conf
Mining Temporal Properties of Data Invariants.
ICSE (2)
Caroline Lemieux