Koushik Sen

Cited by

	All	Since 2016
Citations	18159	8111
h-index	59	45
i10-index	122	98

1800

900

450

1350

20042005200620072008200920102011201220132014201520162017201820192020202180 180 305 338 492 692 948 1065 1175 1312 1467 1585 1538 1483 1602 1727 1676 76

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
Satish ChandraFacebook (previously: Samsung, IBM, Bell Labs, University of Wisconsin-Madison)Verified email at acm.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	3050	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	2239	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	811	2009
Symbolic execution for software testing: three decades later C Cadar, K Sen Communications of the ACM 56 (2), 82-90, 2013	735	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	528	2006
Heuristics for scalable dynamic test generation J Burnim, K Sen 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008	525	2008
Hybrid concolic testing R Majumdar, K Sen 29th International Conference on Software Engineering (ICSE'07), 416-426, 2007	467	2007
Rule-based runtime verification H Barringer, A Goldberg, K Havelund, K Sen International Workshop on Verification, Model Checking, and Abstract …, 2004	457	2004
Race directed random testing of concurrent programs K Sen Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008	411	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	409	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	388	2013
Statistical model checking of black-box probabilistic systems K Sen, M Viswanathan, G Agha International Conference on Computer Aided Verification, 202-215, 2004	300	2004
On statistical model checking of stochastic systems K Sen, M Viswanathan, G Agha International Conference on Computer Aided Verification, 266-280, 2005	265	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	258	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	252	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	238	2013
Concolic testing K Sen Proceedings of the twenty-second IEEE/ACM international conference on …, 2007	213	2007
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	210	2009
Effective static deadlock detection M Naik, CS Park, K Sen, D Gay 2009 IEEE 31st International Conference on Software Engineering, 386-396, 2009	207	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	199	2005

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