DART: Directed automated random testing P Godefroid, N Klarlund, K Sen Proceedings of the 2005 ACM SIGPLAN conference on Programming language …, 2005 | 3598 | 2005 |
CUTE: A concolic unit testing engine for C K Sen, D Marinov, G Agha ACM SIGSOFT Software Engineering Notes 30 (5), 263-272, 2005 | 2631 | 2005 |
Symbolic execution for software testing: three decades later C Cadar, K Sen Communications of the ACM 56 (2), 82-90, 2013 | 1097 | 2013 |
A view of the parallel computing landscape K Asanovic, R Bodik, J Demmel, T Keaveny, K Keutzer, J Kubiatowicz, ... Communications of the ACM 52 (10), 56-67, 2009 | 950 | 2009 |
Heuristics for scalable dynamic test generation J Burnim, K Sen 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008 | 618 | 2008 |
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools: (Tool Paper) K Sen, G Agha Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006 | 615 | 2006 |
Hybrid concolic testing R Majumdar, K Sen 29th International Conference on Software Engineering (ICSE'07), 416-426, 2007 | 575 | 2007 |
Rule-based runtime verification H Barringer, A Goldberg, K Havelund, K Sen Verification, Model Checking, and Abstract Interpretation: 5th International …, 2004 | 539 | 2004 |
Symbolic execution for software testing in practice: preliminary assessment C Cadar, P Godefroid, S Khurshid, CS Păsăreanu, K Sen, N Tillmann, ... Proceedings of the 33rd International Conference on Software Engineering …, 2011 | 508 | 2011 |
Guided gui testing of android apps with minimal restart and approximate learning W Choi, G Necula, K Sen Acm Sigplan Notices 48 (10), 623-640, 2013 | 501 | 2013 |
Race directed random testing of concurrent programs K Sen Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008 | 491 | 2008 |
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 | 396 | 2018 |
Precimonious: Tuning assistant for floating-point precision C Rubio-González, C Nguyen, HD Nguyen, J Demmel, W Kahan, K Sen, ... Proceedings of the international conference on high performance computing …, 2013 | 377 | 2013 |
Jalangi: A selective record-replay and dynamic analysis framework for JavaScript K Sen, S Kalasapur, T Brutch, S Gibbs Proceedings of the 2013 9th Joint Meeting on Foundations of Software …, 2013 | 372 | 2013 |
Statistical model checking of black-box probabilistic systems K Sen, M Viswanathan, G Agha Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004 | 372 | 2004 |
Deepbugs: A learning approach to name-based bug detection M Pradel, K Sen Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-25, 2018 | 370 | 2018 |
Ansor: Generating {High-Performance} tensor programs for deep learning L Zheng, C Jia, M Sun, Z Wu, CH Yu, A Haj-Ali, Y Wang, J Yang, D Zhuo, ... 14th USENIX symposium on operating systems design and implementation (OSDI …, 2020 | 330 | 2020 |
On statistical model checking of stochastic systems K Sen, M Viswanathan, G Agha Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005 | 320 | 2005 |
Concolic testing K Sen Proceedings of the 22nd IEEE/ACM international conference on Automated …, 2007 | 285 | 2007 |
Dynamic test input generation for database applications M Emmi, R Majumdar, K Sen Proceedings of the 2007 international symposium on Software testing and …, 2007 | 285 | 2007 |