Koushik Sen - Google Scholar

Cited by

	All	Since 2015
Citations	16710	8710
h-index	57	45
i10-index	118	102

1800

900

450

1350

2004200520062007200820092010201120122013201420152016201720182019202075 178 291 317 468 667 914 1031 1184 1276 1437 1556 1519 1463 1588 1721 860

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
Chang-Seo ParkGoogle Inc.Verified email at google.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
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	2838	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	2081	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	763	2009
Symbolic execution for software testing: three decades later C Cadar, K Sen Communications of the ACM 56 (2), 82-90, 2013	647	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	495	2006
Heuristics for scalable dynamic test generation J Burnim, K Sen 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008	481	2008
Rule-based runtime verification H Barringer, A Goldberg, K Havelund, K Sen International Workshop on Verification, Model Checking, and Abstract …, 2004	439	2004
Hybrid concolic testing R Majumdar, K Sen 29th International Conference on Software Engineering (ICSE'07), 416-426, 2007	422	2007
Race directed random testing of concurrent programs K Sen Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008	395	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	381	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	344	2013
Statistical model checking of black-box probabilistic systems K Sen, M Viswanathan, G Agha International Conference on Computer Aided Verification, 202-215, 2004	277	2004
On statistical model checking of stochastic systems K Sen, M Viswanathan, G Agha International Conference on Computer Aided Verification, 266-280, 2005	253	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	242	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	223	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	221	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	199	2009
Effective static deadlock detection M Naik, CS Park, K Sen, D Gay 2009 IEEE 31st International Conference on Software Engineering, 386-396, 2009	192	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	192	2005
Randomized active atomicity violation detection in concurrent programs CS Park, K Sen Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations …, 2008	185	2008

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