Caroline Lemieux

According to our database, Caroline Lemieux authored at least 21 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Can Large Language Models Write Good Property-Based Tests?

Vasudev Vikram, Caroline Lemieux, Rohan Padhye

CoRR, 2023

CodaMosa: Escaping Coverage Plateaus in Test Generation with Pre-trained Large Language Models.

Caroline Lemieux, Jeevana Priya Inala, Shuvendu K. Lahiri, Siddhartha Sen

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2021

Expanding the Reach of Fuzz Testing.

Caroline Lemieux

PhD thesis, 2021

FairFuzz-TC: a fuzzer targeting rare branches.

Caroline Lemieux, Koushik Sen

Int. J. Softw. Tools Technol. Transf., 2021

Gauss: program synthesis by reasoning over graphs.

Rohan Bavishi, Caroline Lemieux, Koushik Sen, Ion Stoica

Proc. ACM Program. Lang., 2021

Learning Highly Recursive Input Grammars.

Neil Kulkarni, Caroline Lemieux, Koushik Sen

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020

Quickly generating diverse valid test inputs with reinforcement learning.

Sameer Reddy, Caroline Lemieux, Rohan Padhye, Koushik Sen

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

2019

FuzzFactory: domain-specific fuzzing with waypoints.

Rohan Padhye, Caroline Lemieux, Koushik Sen, Laurent Simon, Hayawardh Vijayakumar

Proc. ACM Program. Lang., 2019

AutoPandas: neural-backed generators for program synthesis.

Rohan Bavishi, Caroline Lemieux, Roy Fox, Koushik Sen, Ion Stoica

Proc. ACM Program. Lang., 2019

FUDGE: fuzz driver generation at scale.

Domagoj Babic, Stefan Bucur, Yaohui Chen, Franjo Ivancic, Tim King, Markus Kusano, Caroline Lemieux, László Szekeres, Wei Wang

Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Semantic fuzzing with zest.

Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

JQF: coverage-guided property-based testing in Java.

Rohan Padhye, Caroline Lemieux, Koushik Sen

Proceedings of the 28th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2019

Validity fuzzing and parametric generators for effective random testing.

Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

Zest: Validity Fuzzing and Parametric Generators for Effective Random Testing.

Rohan Padhye, Caroline Lemieux, Koushik Sen, Mike Papadakis, Yves Le Traon

CoRR, 2018

FairFuzz: a targeted mutation strategy for increasing greybox fuzz testing coverage.

Caroline Lemieux, Koushik Sen

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

PerfFuzz: automatically generating pathological inputs.

Caroline Lemieux, Rohan Padhye, Koushik Sen, Dawn Song

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

2017

FairFuzz: Targeting Rare Branches to Rapidly Increase Greybox Fuzz Testing Coverage.

Caroline Lemieux, Koushik Sen

CoRR, 2017

2015

ICSE 2015 SIGSOFT CAPS Report.

Caroline Lemieux

ACM SIGSOFT Softw. Eng. Notes, 2015

General LTL Specification Mining (T).

Caroline Lemieux, Dennis Park, Ivan Beschastnikh

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Investigating Program Behavior Using the Texada LTL Specifications Miner.

Caroline Lemieux, Ivan Beschastnikh

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Mining Temporal Properties of Data Invariants.

Caroline Lemieux

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015