Follow
Caroline Lemieux
Caroline Lemieux
Assistant Professor, University of British Columbia
Verified email at cs.ubc.ca - Homepage
Title
Cited by
Cited by
Year
FairFuzz: a targeted mutation strategy for increasing greybox fuzz testing coverage
C Lemieux, K Sen
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
398*2018
PerfFuzz: automatically generating pathological inputs
C Lemieux, R Padhye, K Sen, D Song
Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018
1752018
General ltl specification mining (t)
C Lemieux, D Park, I Beschastnikh
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
1662015
Semantic Fuzzing with Zest
R Padhye, C Lemieux, K Sen, M Papadakis, Y Le Traon
Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019
1502019
FUDGE: fuzz driver generation at scale
D Babić, S Bucur, Y Chen, F Ivančić, T King, M Kusano, C Lemieux, ...
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
912019
AutoPandas: neural-backed generators for program synthesis
R Bavishi, C Lemieux, R Fox, K Sen, I Stoica
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-27, 2019
812019
JQF: Coverage-Guided Property-Based Testing in Java
R Padhye, C Lemieux, K Sen
Proceedings of the 28th ACM SIGSOFT International Symposium on Software …, 2019
692019
FuzzFactory: domain-specific fuzzing with waypoints
R Padhye, C Lemieux, K Sen, L Simon, H Vijayakumar
Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-29, 2019
642019
Quickly generating diverse valid test inputs with reinforcement learning
S Reddy, C Lemieux, R Padhye, K Sen
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
432020
CODAMOSA: Escaping coverage plateaus in test generation with pre-trained large language models
C Lemieux, JP Inala, SK Lahiri, S Sen
International conference on software engineering (ICSE), 2023
422023
Validity fuzzing and parametric generators for effective random testing
R Padhye, C Lemieux, K Sen, M Papadakis, Y Le Traon
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
132019
Learning Highly Recursive Input Grammars
N Kulkarni, C Lemieux, K Sen
2021 36th IEEE/ACM International Conference on Automated Software …, 2021
122021
Mining temporal properties of data invariants
C Lemieux
2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015
112015
Gauss: program synthesis by reasoning over graphs
R Bavishi, C Lemieux, K Sen, I Stoica
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-29, 2021
82021
Can Large Language Models Write Good Property-Based Tests?
V Vikram, C Lemieux, R Padhye
arXiv preprint arXiv:2307.04346, 2023
72023
Investigating program behavior using the texada LTL specifications miner
C Lemieux, I Beschastnikh
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
52015
FairFuzz-TC: a fuzzer targeting rare branches
C Lemieux, K Sen
International Journal on Software Tools for Technology Transfer 23 (6), 863-866, 2021
32021
Neural Inference of API Functions from Input–Output Examples
R Bavishi, C Lemieux, N Kant, R Fox, K Sen, I Stoica
Workshop on ML for Systems at NeurIPS, 2018
22018
Expanding the Reach of Fuzz Testing
C Lemieux
University of California, Berkeley, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–19