| 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 | 545* | 2018 |
| Codamosa: Escaping coverage plateaus in test generation with pre-trained large language models C Lemieux, JP Inala, SK Lahiri, S Sen 2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE …, 2023 | 250* | 2023 |
| 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 | 208 | 2019 |
| PerfFuzz: automatically generating pathological inputs C Lemieux, R Padhye, K Sen, D Song Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018 | 207 | 2018 |
| General ltl specification mining (t) C Lemieux, D Park, I Beschastnikh 2015 30th IEEE/ACM International Conference on Automated Software …, 2015 | 196 | 2015 |
| 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 | 138 | 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 | 118 | 2019 |
| 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 | 112 | 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), 1-29, 2019 | 86 | 2019 |
| 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 | 61 | 2020 |
| Can large language models write good property-based tests? V Vikram, C Lemieux, J Sunshine, R Padhye arXiv preprint arXiv:2307.04346, 2023 | 35 | 2023 |
| Learning Highly Recursive Input Grammars N Kulkarni, C Lemieux, K Sen 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 29 | 2021 |
| 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 | 16 | 2019 |
| Mining temporal properties of data invariants C Lemieux 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering 2 …, 2015 | 12 | 2015 |
| 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 | 9 | 2021 |
| Investigating program behavior using the texada LTL specifications miner C Lemieux, I Beschastnikh 2015 30th IEEE/ACM International Conference on Automated Software …, 2015 | 9 | 2015 |
| FairFuzz-TC: a fuzzer targeting rare branches C Lemieux, K Sen International Journal on Software Tools for Technology Transfer 23 (6), 863-866, 2021 | 3 | 2021 |
| 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 | 2 | 2018 |
| QuAC: Quick Attribute-Centric Type Inference for Python J Wu, C Lemieux Proceedings of the ACM on Programming Languages 8 (OOPSLA2), 2040-2069, 2024 | | 2024 |
| Directed or Undirected: Investigating Fuzzing Strategies in a CI/CD Setup (Registered Report) M Huang, C Lemieux Proceedings of the 3rd ACM International Fuzzing Workshop, 33-41, 2024 | | 2024 |
Koushik SenProfessor of Computer Science, University of California, BerkeleyVerified email at cs.berkeley.edu
