Koushik Sen

Cytowane przez

	Wszystkie	Od 2019
Cytowania	25624	10891
h-indeks	72	52
i10-indeks	151	117

2000

1000

500

1500

20042005200620072008200920102011201220132014201520162017201820192020202120222023202472 175 317 322 485 679 929 1081 1162 1341 1444 1588 1542 1489 1663 1752 1751 1792 1857 1937 1788

Dostęp publiczny

Wyświetl wszystko

50 artykułów

1 artykuł

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Gul AghaProfessor of Computer Science, University of Illinois at Urbana-Champaign and CEO EmbedorZweryfikowany adres z illinois.edu
Costin IancuSenior Staff Scientist, Lawrence Berkeley National LaboratoryZweryfikowany adres z lbl.gov
Jacob BurnimGoogle ResearchZweryfikowany adres z google.com
George NeculaProfessor, University of California, BerkeleyZweryfikowany adres z cs.berkeley.edu
Grigore RosuUniversity of Illinois at Urbana ChampaignZweryfikowany adres z illinois.edu
Mahesh ViswanathanUniversity of Illinois, Urbana-ChampaignZweryfikowany adres z illinois.edu
Rastislav BodikUniversity of WashingtonZweryfikowany adres z cs.washington.edu
Satish ChandraGoogleZweryfikowany adres z acm.org
Pallavi JoshiSoftware Engineer, ClouderaZweryfikowany adres z cloudera.com
Michael PradelProfessor of Computer Science, Head of Software Lab, University of StuttgartZweryfikowany adres z iste.uni-stuttgart.de
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryZweryfikowany adres z jpl.nasa.gov
Katherine YelickVice Chancellor for Research and EECS Professor, UC Berkeley and Sr. Faculty Scientist, LBNLZweryfikowany adres z lbl.gov
Cristian CadarImperial College LondonZweryfikowany adres z imperial.ac.uk
David PattersonProfessor of Computer Science, UC BerkeleyZweryfikowany adres z cs.berkeley.edu
Krste AsanovicUC BerkeleyZweryfikowany adres z berkeley.edu
Wontae ChoiGoogle Inc.Zweryfikowany adres z google.com
Sarfraz KhurshidProfessor, University of Texas at AustinZweryfikowany adres z ece.utexas.edu
Darko MarinovUniversity of Illinois at Urbana-ChampaignZweryfikowany adres z illinois.edu
John KubiatowiczUniversity of California at BerkeleyZweryfikowany adres z cs.berkeley.edu
Rupak MajumdarMPI for Software SystemsZweryfikowany adres z mpi-sws.org

Obserwuj

Koushik Sen

Professor of Computer Science, University of California, Berkeley

Zweryfikowany adres z cs.berkeley.edu - Strona główna

Computer Science Testing Debugging Program Analysis Concurrency


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
DART: Directed automated random testing P Godefroid, N Klarlund, K Sen Proceedings of the 2005 ACM SIGPLAN conference on Programming language …, 2005	3679	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	2689	2005
Symbolic execution for software testing: three decades later C Cadar, K Sen Communications of the ACM 56 (2), 82-90, 2013	1153	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	974	2009
Heuristics for scalable dynamic test generation J Burnim, K Sen 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008	633	2008
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	621	2006
Hybrid concolic testing R Majumdar, K Sen 29th International Conference on Software Engineering (ICSE'07), 416-426, 2007	591	2007
Rule-based runtime verification H Barringer, A Goldberg, K Havelund, K Sen Verification, Model Checking, and Abstract Interpretation: 5th International …, 2004	548	2004
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	520	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	518	2013
Race directed random testing of concurrent programs K Sen Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008	502	2008
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	453	2018
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	408	2018
Ansor: Generating {High-Performance} tensor programs for deep learning L Zheng, C Jia, M Sun, Z Wu, CH Yu, A Haj-Ali, Y Wang, J Yang, D Zhuo, ... 14th USENIX symposium on operating systems design and implementation (OSDI …, 2020	406	2020
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	392	2013
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	391	2013
Statistical model checking of black-box probabilistic systems K Sen, M Viswanathan, G Agha Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004	381	2004
On statistical model checking of stochastic systems K Sen, M Viswanathan, G Agha Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005	328	2005
Concolic testing K Sen Proceedings of the 22nd IEEE/ACM international conference on Automated …, 2007	304	2007
Dynamic test input generation for database applications M Emmi, R Majumdar, K Sen Proceedings of the 2007 international symposium on Software testing and …, 2007	288	2007

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–20

Cytowania rocznie

Powielone cytowania

Scalone cytowania

Dodaj współautorówWspółautorzy

Obserwuj

Cytowane przez

Współautorzy