Follow
Rohan Padhye
Title
Cited by
Cited by
Year
Perffuzz: Automatically generating pathological inputs
C Lemieux, R Padhye, K Sen, D Song
Proceedings of the 27th ACM SIGSOFT International Symposium on Software …, 2018
2012018
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
1922019
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
1072019
A study of external community contribution to open-source projects on GitHub
R Padhye, S Mani, VS Sinha
Proceedings of the 11th working conference on mining software repositories …, 2014
1032014
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
822019
Efficient scalable thread-safety-violation detection: finding thousands of concurrency bugs during testing
G Li, S Lu, M Musuvathi, S Nath, R Padhye
Proceedings of the 27th ACM Symposium on Operating Systems Principles, 162-180, 2019
792019
PARTEMU: Enabling Dynamic Analysis of Real-World TrustZone Software Using Emulation
L Harrison, H Vijayakumar, R Padhye, K Sen, M Grace
29th USENIX Security Symposium (USENIX Security 20), 789-806, 2020
742020
Interprocedural data flow analysis in soot using value contexts
R Padhye, UP Khedker
Proceedings of the 2nd ACM SIGPLAN International Workshop on State of the …, 2013
612013
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
552020
Bigfuzz: Efficient fuzz testing for data analytics using framework abstraction
Q Zhang, J Wang, MA Gulzar, R Padhye, M Kim
Proceedings of the 35th IEEE/ACM international conference on automated …, 2020
442020
Detecting and mitigating secret-key leaks in source code repositories
VS Sinha, D Saha, P Dhoolia, R Padhye, S Mani
2015 IEEE/ACM 12th Working Conference on Mining Software Repositories, 396-400, 2015
442015
The synergy between voting and acceptance of answers on stackoverflow-or the lack thereof
N Gantayat, P Dhoolia, R Padhye, S Mani, VS Sinha
2015 IEEE/ACM 12th Working Conference on Mining Software Repositories, 406-409, 2015
312015
Can large language models write good property-based tests?
V Vikram, C Lemieux, R Padhye
arXiv preprint arXiv:2307.04346, 2023
292023
Saffron: Adaptive grammar-based fuzzing for worst-case analysis
XBD Le, C Pasareanu, R Padhye, D Lo, W Visser, K Sen
ACM SIGSOFT Software Engineering Notes 44 (4), 14-14, 2021
282021
Service-level fault injection testing
CS Meiklejohn, A Estrada, Y Song, H Miller, R Padhye
Proceedings of the ACM Symposium on Cloud Computing, 388-402, 2021
252021
Chocopy: A programming language for compilers courses
R Padhye, K Sen, PN Hilfinger
Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E, 41-45, 2019
242019
Travioli: a dynamic analysis for detecting data-structure traversals
R Padhye, K Sen
Proceedings of the 39th International Conference on Software Engineering …, 2017
242017
Growing a test corpus with Bonsai Fuzzing
V Vikram, R Padhye, K Sen
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
212021
NeedFeed: Taming change notifications by modeling code relevance
R Padhye, S Mani, VS Sinha
Proceedings of the 29th ACM/IEEE international conference on Automated …, 2014
192014
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
162019
The system can't perform the operation now. Try again later.
Articles 1–20