Caroline Lemieux

Publication Activity (10 Years)

Years Active: 2015-2023
Publications (10 Years): 17

Top Topics

Temporal Properties

Test Generation

Program Synthesis

Top Venues

Proc. ACM Program. Lang.

Publications

Caroline Lemieux, Jeevana Priya Inala, Shuvendu K. Lahiri, Siddhartha Sen
CodaMosa: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models. ICSE (2023)
Vasudev Vikram, Caroline Lemieux, Rohan Padhye
Can Large Language Models Write Good Property-Based Tests? CoRR (2023)
Rohan Bavishi, Caroline Lemieux, Koushik Sen, Ion Stoica
Gauss: program synthesis by reasoning over graphs. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Neil Kulkarni, Caroline Lemieux, Koushik Sen
Learning Highly Recursive Input Grammars. CoRR (2021)
Neil Kulkarni, Caroline Lemieux, Koushik Sen
Learning Highly Recursive Input Grammars. ASE (2021)
Caroline Lemieux, Koushik Sen
FairFuzz-TC: a fuzzer targeting rare branches. Int. J. Softw. Tools Technol. Transf. 23 (6) (2021)
Sameer Reddy, Caroline Lemieux, Rohan Padhye, Koushik Sen
Quickly generating diverse valid test inputs with reinforcement learning. ICSE (2020)
Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon
Semantic fuzzing with zest. ISSTA (2019)
Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon
Validity fuzzing and parametric generators for effective random testing. ICSE (Companion Volume) (2019)
Rohan Bavishi, Caroline Lemieux, Roy Fox, Koushik Sen, Ion Stoica
AutoPandas: neural-backed generators for program synthesis. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Domagoj Babic, Stefan Bucur, Yaohui Chen, Franjo Ivancic, Tim King, Markus Kusano, Caroline Lemieux, László Szekeres, Wei Wang
FUDGE: fuzz driver generation at scale. ESEC/SIGSOFT FSE (2019)
Rohan Padhye, Caroline Lemieux, Koushik Sen
JQF: coverage-guided property-based testing in Java. ISSTA (2019)
Rohan Padhye, Caroline Lemieux, Koushik Sen, Laurent Simon, Hayawardh Vijayakumar
FuzzFactory: domain-specific fuzzing with waypoints. Proc. ACM Program. Lang. 3 (OOPSLA) (2019)
Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon
Zest: Validity Fuzzing and Parametric Generators for Effective Random Testing. CoRR (2018)
Caroline Lemieux, Rohan Padhye, Koushik Sen, Dawn Song
PerfFuzz: automatically generating pathological inputs. ISSTA (2018)
Caroline Lemieux, Koushik Sen
FairFuzz: a targeted mutation strategy for increasing greybox fuzz testing coverage. ASE (2018)
Caroline Lemieux, Koushik Sen
FairFuzz: Targeting Rare Branches to Rapidly Increase Greybox Fuzz Testing Coverage. CoRR (2017)
Caroline Lemieux
Mining Temporal Properties of Data Invariants. ICSE (2) (2015)
Caroline Lemieux, Dennis Park, Ivan Beschastnikh
General LTL Specification Mining (T). ASE (2015)
Caroline Lemieux
ICSE 2015 SIGSOFT CAPS Report. ACM SIGSOFT Softw. Eng. Notes 40 (4) (2015)
Caroline Lemieux, Ivan Beschastnikh
Investigating Program Behavior Using the Texada LTL Specifications Miner. ASE (2015)