Follow
Koushik Sen
Koushik Sen
Professor of Computer Science, University of California, Berkeley
Verified email at cs.berkeley.edu - Homepage
Title
Cited by
Cited by
Year
DART: Directed automated random testing
P Godefroid, N Klarlund, K Sen
Proceedings of the 2005 ACM SIGPLAN conference on Programming language†…, 2005
33762005
CUTE: A concolic unit testing engine for C
K Sen, D Marinov, G Agha
ACM SIGSOFT Software Engineering Notes 30 (5), 263-272, 2005
24702005
Symbolic execution for software testing: three decades later
C Cadar, K Sen
Communications of the ACM 56 (2), 82-90, 2013
9562013
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
9092009
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
5882006
Heuristics for scalable dynamic test generation
J Burnim, K Sen
2008 23rd IEEE/ACM International Conference on Automated Software†…, 2008
5842008
Hybrid concolic testing
R Majumdar, K Sen
29th International Conference on Software Engineering (ICSE'07), 416-426, 2007
5402007
Rule-based runtime verification
H Barringer, A Goldberg, K Havelund, K Sen
VMCAI 2937, 44-57, 2004
5062004
Race directed random testing of concurrent programs
K Sen
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language†…, 2008
4722008
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
4592011
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
4542013
Statistical model checking of black-box probabilistic systems
K Sen, M Viswanathan, G Agha
Computer Aided Verification: 16th International Conference, CAV 2004, Boston†…, 2004
3402004
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
3292013
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
3172013
On statistical model checking of stochastic systems
K Sen, M Viswanathan, G Agha
Computer Aided Verification: 17th International Conference, CAV 2005†…, 2005
2992005
Dynamic test input generation for database applications
M Emmi, R Majumdar, K Sen
Proceedings of the 2007 international symposium on Software testing and†…, 2007
2802007
Concolic testing
K Sen
Proceedings of the twenty-second IEEE/ACM international conference on†…, 2007
2572007
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
2532018
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
2522018
A randomized dynamic program analysis technique for detecting real deadlocks
P Joshi, CS Park, K Sen, M Naik
ACM Sigplan Notices 44 (6), 110-120, 2009
2342009
The system can't perform the operation now. Try again later.
Articles 1–20