Koushik Sen

Citata da

	Tutte	Dal 2015
Citazioni	17172	9141
Indice H	58	45
i10-index	119	104

1800

900

450

1350

2004200520062007200820092010201120122013201420152016201720182019202075 179 291 317 469 668 913 1034 1185 1277 1445 1568 1521 1473 1598 1727 1251

Coautori

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

Koushik Sen

Professor of Computer Science, University of California, Berkeley

Email verificata su cs.berkeley.edu - Home page

Computer Science Testing Debugging Program Analysis Concurrency


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
DART: directed automated random testing P Godefroid, N Klarlund, K Sen Proceedings of the 2005 ACM SIGPLAN conference on Programming language …, 2005	2891	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	2120	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	681	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	490	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	402	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	355	2013
Statistical model checking of black-box probabilistic systems K Sen, M Viswanathan, G Agha International Conference on Computer Aided Verification, 202-215, 2004	281	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	229	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
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
Effective static deadlock detection M Naik, CS Park, K Sen, D Gay 2009 IEEE 31st International Conference on Software Engineering, 386-396, 2009	194	2009
Concolic testing K Sen Proceedings of the twenty-second IEEE/ACM international conference on …, 2007	193	2007

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Carica PDF

Segui questo autore

Citata da

Coautori