Koushik Sen

Citirano

	Sve	Od 2018.
Citati	23179	9973
H-indeks	68	49
i10-indeks	163	121

2000

1000

500

1500

2004200520062007200820092010201120122013201420152016201720182019202020212022202377 166 290 340 489 704 947 1062 1196 1356 1480 1591 1582 1519 1694 1797 1892 1860 1957 770

Javni pristup

Prikaži sve

50 članaka

8 članaka

dostupno

nije dostupno

Na temelju uvjeta financiranja

Suautori

Gul AghaProfessor of Computer Science, University of Illinois at Urbana-Champaign and CEO EmbedorPotvrđena adresa e-pošte na illinois.edu
Costin IancuSenior Staff Scientist, Lawrence Berkeley National LaboratoryPotvrđena adresa e-pošte na lbl.gov
George NeculaProfessor, University of California, BerkeleyPotvrđena adresa e-pošte na cs.berkeley.edu
Jacob BurnimGoogle ResearchPotvrđena adresa e-pošte na google.com
Mahesh ViswanathanUniversity of Illinois, Urbana-ChampaignPotvrđena adresa e-pošte na illinois.edu
Grigore RosuUniversity of Illinois at Urbana ChampaignPotvrđena adresa e-pošte na illinois.edu
Pallavi JoshiSoftware Engineer, ClouderaPotvrđena adresa e-pošte na cloudera.com
Patrice GodefroidLaceworkPotvrđena adresa e-pošte na lacework.net
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryPotvrđena adresa e-pošte na jpl.nasa.gov
Michael PradelProfessor of Computer Science, Head of Software Lab, University of StuttgartPotvrđena adresa e-pošte na iste.uni-stuttgart.de
Satish ChandraGooglePotvrđena adresa e-pošte na acm.org
Rastislav BodikUniversity of WashingtonPotvrđena adresa e-pošte na cs.washington.edu
Cristian CadarImperial College LondonPotvrđena adresa e-pošte na imperial.ac.uk
Katherine YelickAssociate Laboratory Director of Computing Sciences, LBNL and EECS Professor, UC BerkeleyPotvrđena adresa e-pošte na lbl.gov
Wontae ChoiGoogle Inc.Potvrđena adresa e-pošte na google.com
Sarfraz KhurshidProfessor, University of Texas at AustinPotvrđena adresa e-pošte na ece.utexas.edu
Darko MarinovUniversity of Illinois at Urbana-ChampaignPotvrđena adresa e-pošte na illinois.edu
Rupak MajumdarMPI for Software SystemsPotvrđena adresa e-pošte na mpi-sws.org
David PattersonProfessor of Computer Science, UC BerkeleyPotvrđena adresa e-pošte na cs.berkeley.edu
Mayur NaikProfessor of Computer Science, University of PennsylvaniaPotvrđena adresa e-pošte na cis.upenn.edu

Prati

Koushik Sen

Professor of Computer Science, University of California, Berkeley

Potvrđena adresa e-pošte na cs.berkeley.edu - Početna stranica

Computer Science Testing Debugging Program Analysis Concurrency


Naslov Poredaj po navodima Poredaj po godini Poredaj po naslovu	Citirano Citirano	Godina
DART: Directed automated random testing P Godefroid, N Klarlund, K Sen Proceedings of the 2005 ACM SIGPLAN conference on Programming language …, 2005	3449	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	2525	2005
Symbolic execution for software testing: three decades later C Cadar, K Sen Communications of the ACM 56 (2), 82-90, 2013	994	2013
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	923	2009
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools: (Tool Paper) K Sen, G Agha Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006	600	2006
Heuristics for scalable dynamic test generation J Burnim, K Sen 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008	592	2008
Hybrid concolic testing R Majumdar, K Sen 29th International Conference on Software Engineering (ICSE'07), 416-426, 2007	553	2007
Rule-based runtime verification H Barringer, A Goldberg, K Havelund, K Sen VMCAI 2937, 44-57, 2004	515	2004
Race directed random testing of concurrent programs K Sen Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008	483	2008
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	473	2013
Symbolic execution for software testing in practice: preliminary assessment C Cadar, P Godefroid, S Khurshid, CS Păsăreanu, K Sen, N Tillmann, ... Proceedings of the 33rd International Conference on Software Engineering …, 2011	473	2011
Statistical model checking of black-box probabilistic systems K Sen, M Viswanathan, G Agha Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004	350	2004
Precimonious: Tuning assistant for floating-point precision C Rubio-González, C Nguyen, HD Nguyen, J Demmel, W Kahan, K Sen, ... Proceedings of the international conference on high performance computing …, 2013	341	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	339	2013
On statistical model checking of stochastic systems K Sen, M Viswanathan, G Agha Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005	303	2005
Deepbugs: A learning approach to name-based bug detection M Pradel, K Sen Proceedings of the ACM on Programming Languages 2 (OOPSLA), 1-25, 2018	287	2018
Dynamic test input generation for database applications M Emmi, R Majumdar, K Sen Proceedings of the 2007 international symposium on Software testing and …, 2007	282	2007
Fairfuzz: A targeted mutation strategy for increasing greybox fuzz testing coverage C Lemieux, K Sen Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018	278	2018
Concolic testing K Sen Proceedings of the twenty-second IEEE/ACM international conference on …, 2007	268	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	236	2009

Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.

Članci 1–20

Godišnji broj citata

Dvostruki navodi

Spojeni navodi

Dodavanje suautoraSuautori

Prati

Citirano

Suautori