Koushik Sen
Koushik Sen
Professor of Computer Science, University of California, Berkeley
Verified email at cs.berkeley.edu - Homepage
TitleCited byYear
DART: directed automated random testing
P Godefroid, N Klarlund, K Sen
ACM Sigplan Notices 40 (6), 213-223, 2005
26912005
CUTE: a concolic unit testing engine for C
K Sen, D Marinov, G Agha
ACM SIGSOFT Software Engineering Notes 30 (5), 263-272, 2005
19522005
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
7222009
Symbolic execution for software testing: three decades later.
C Cadar, K Sen
Commun. ACM 56 (2), 82-90, 2013
5562013
CUTE and jCUTE: Concolic unit testing and explicit path model-checking tools
K Sen, G Agha
International Conference on Computer Aided Verification, 419-423, 2006
4772006
Heuristics for scalable dynamic test generation
J Burnim, K Sen
Proceedings of the 2008 23rd IEEE/ACM international conference on automated …, 2008
4552008
Rule-based runtime verification
H Barringer, A Goldberg, K Havelund, K Sen
International Workshop on Verification, Model Checking, and Abstract …, 2004
4292004
Hybrid concolic testing
R Majumdar, K Sen
29th International Conference on Software Engineering (ICSE'07), 416-426, 2007
4002007
Race directed random testing of concurrent programs
K Sen
ACM Sigplan Notices 43 (6), 11-21, 2008
3752008
Symbolic execution for software testing in practice: preliminary assessment
C Cadar, P Godefroid, S Khurshid, CS Pasareanu, K Sen, N Tillmann, ...
2011 33rd International Conference on Software Engineering (ICSE), 1066-1071, 2011
3592011
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
3192013
Statistical model checking of black-box probabilistic systems
K Sen, M Viswanathan, G Agha
International Conference on Computer Aided Verification, 202-215, 2004
2612004
On statistical model checking of stochastic systems
K Sen, M Viswanathan, G Agha
International Conference on Computer Aided Verification, 266-280, 2005
2422005
Dynamic test input generation for database applications
M Emmi, R Majumdar, K Sen
Proceedings of the 2007 international symposium on Software testing and …, 2007
2272007
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
2042013
Precimonious: Tuning assistant for floating-point precision
C Rubio-González, C Nguyen, HD Nguyen, J Demmel, W Kahan, K Sen, ...
SC'13: Proceedings of the International Conference on High Performance …, 2013
1942013
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
1902009
Vesta: A statistical model-checker and analyzer for probabilistic systems
K Sen, M Viswanathan, G Agha
Second International Conference on the Quantitative Evaluation of Systems …, 2005
1882005
Effective static deadlock detection
M Naik, CS Park, K Sen, D Gay
Proceedings of the 31st International Conference on Software Engineering …, 2009
1812009
Randomized active atomicity violation detection in concurrent programs
CS Park, K Sen
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008
1782008
The system can't perform the operation now. Try again later.
Articles 1–20