Caroline Lemieux
Caroline Lemieux
Verified email at cs.berkeley.edu - Homepage
TitleCited byYear
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
61*2018
General ltl specification mining (t)
C Lemieux, D Park, I Beschastnikh
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
582015
PerfFuzz: automatically generating pathological inputs
C Lemieux, R Padhye, K Sen, D Song
Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018
292018
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
10*2019
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
42019
Mining temporal properties of data invariants
C Lemieux
Proceedings of the 37th International Conference on Software Engineering …, 2015
42015
Validity fuzzing and parametric generators for effective random testing
R Padhye, C Lemieux, K Sen, M Papadakis, YL Traon
Proceedings of the 41st International Conference on Software Engineering …, 2019
32019
Investigating program behavior using the texada LTL specifications miner
C Lemieux, I Beschastnikh
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
22015
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
1*2019
Neural Inference of API Functions from Input–Output Examples
R Bavishi, C Lemieux, N Kant, R Fox, K Sen, I Stoica
12018
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), 168, 2019
2019
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), 174, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–12