| 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 | 478* | 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 | 194 | 2018 |
| General ltl specification mining (t) C Lemieux, D Park, I Beschastnikh 2015 30th IEEE/ACM International Conference on Automated Software …, 2015 | 188 | 2015 |
| 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 | 175 | 2019 |
| 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 | 150* | 2023 |
| 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 | 120 | 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 | 104 | 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 | 90 | 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 | 76 | 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 | 50 | 2020 |
| Can Large Language Models Write Good Property-Based Tests? V Vikram, C Lemieux, R Padhye arXiv preprint arXiv:2307.04346, 2023 | 27 | 2023 |
| Learning Highly Recursive Input Grammars N Kulkarni, C Lemieux, K Sen 2021 36th IEEE/ACM International Conference on Automated Software …, 2021 | 23 | 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 | 7 | 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 |
| Expanding the Reach of Fuzz Testing C Lemieux University of California, Berkeley, 2021 | | 2021 |
Koushik SenProfessor of Computer Science, University of California, Berkeley在 cs.berkeley.edu 的电子邮件经过验证
