Koushik Sen

Cited by

	All	Since 2015
Citations	17203	9167
h-index	58	45
i10-index	119	104

1800

900

450

1350

2004200520062007200820092010201120122013201420152016201720182019202075 179 291 318 469 668 907 1040 1186 1281 1444 1567 1524 1473 1598 1727 1275

Co-authors

Gul AghaProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu
Jacob BurnimGoogle ResearchVerified email at google.com
George NeculaProfessor, University of California, BerkeleyVerified email at cs.berkeley.edu
Costin IancuSenior Staff Scientist, Lawrence Berkeley National LaboratoryVerified email at lbl.gov
Grigore RosuUniversity of Illinois at Urbana ChampaignVerified email at illinois.edu
Mahesh ViswanathanUniversity of Illinois, Urbana-ChampaignVerified email at illinois.edu
Cristian CadarImperial College LondonVerified email at imperial.ac.uk
Pallavi JoshiSoftware Engineer, ClouderaVerified email at cloudera.com
Patrice GodefroidMicrosoft ResearchVerified email at microsoft.com
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerified email at jpl.nasa.gov
Rastislav BodikUniversity of WashingtonVerified email at cs.washington.edu
Michael PradelProfessor of Computer Science, Head of Software Lab, University of StuttgartVerified email at iste.uni-stuttgart.de
Darko MarinovUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu
Sarfraz KhurshidProfessor, University of Texas at AustinVerified email at ece.utexas.edu
Wontae ChoiGoogle Inc.Verified email at google.com
Rupak MajumdarMPI for Software SystemsVerified email at mpi-sws.org
Katherine YelickAssociate Laboratory Director of Computing Sciences, LBNL and EECS Professor, UC BerkeleyVerified email at lbl.gov
Satish ChandraFacebook (previously: Samsung, IBM, Bell Labs, University of Wisconsin-Madison)Verified email at acm.org
Mayur NaikProfessor of Computer Science, University of PennsylvaniaVerified email at cis.upenn.edu
Krste AsanovicUC BerkeleyVerified email at berkeley.edu

Koushik Sen

Professor of Computer Science, University of California, Berkeley

Verified email at cs.berkeley.edu - Homepage

Computer Science Testing Debugging Program Analysis Concurrency


Title Sort by citations Sort by year Sort by 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	2895	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	2122	2005
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	779	2009
Symbolic execution for software testing: three decades later C Cadar, K Sen Communications of the ACM 56 (2), 82-90, 2013	683	2013
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	503	2006
Heuristics for scalable dynamic test generation J Burnim, K Sen 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008	491	2008
Rule-based runtime verification H Barringer, A Goldberg, K Havelund, K Sen International Workshop on Verification, Model Checking, and Abstract …, 2004	448	2004
Hybrid concolic testing R Majumdar, K Sen 29th International Conference on Software Engineering (ICSE'07), 416-426, 2007	434	2007
Race directed random testing of concurrent programs K Sen Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008	403	2008
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	387	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	357	2013
Statistical model checking of black-box probabilistic systems K Sen, M Viswanathan, G Agha International Conference on Computer Aided Verification, 202-215, 2004	282	2004
On statistical model checking of stochastic systems K Sen, M Viswanathan, G Agha International Conference on Computer Aided Verification, 266-280, 2005	256	2005
Dynamic test input generation for database applications M Emmi, R Majumdar, K Sen Proceedings of the 2007 international symposium on Software testing and …, 2007	249	2007
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	230	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	225	2013
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	203	2009
Effective static deadlock detection M Naik, CS Park, K Sen, D Gay 2009 IEEE 31st International Conference on Software Engineering, 386-396, 2009	196	2009
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	195	2005
Concolic testing K Sen Proceedings of the twenty-second IEEE/ACM international conference on …, 2007	194	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors