Koushik Sen

Citeret af

	Alle	Siden 2020
Henvisninger	25959	9481
h-index	72	46
i10-indeks	152	112

2000

1000

500

1500

200420052006200720082009201020112012201320142015201620172018201920202021202220232024202572 175 317 322 485 679 929 1082 1167 1335 1444 1588 1544 1493 1661 1753 1748 1798 1863 1943 1971 156

Offentlig adgang

Se alle

50 artikler

1 artikel

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

Gul AghaProfessor of Comp. Science, University of Illinois at Urbana-Champaign & Chief Scientist StructureIQVerificeret mail på illinois.edu
Costin IancuSenior Staff Scientist, Lawrence Berkeley National LaboratoryVerificeret mail på lbl.gov
Jacob BurnimGoogle ResearchVerificeret mail på google.com
George NeculaProfessor, University of California, BerkeleyVerificeret mail på cs.berkeley.edu
Grigore RosuUniversity of Illinois at Urbana ChampaignVerificeret mail på illinois.edu
Mahesh ViswanathanUniversity of Illinois, Urbana-ChampaignVerificeret mail på illinois.edu
Rastislav BodikUniversity of WashingtonVerificeret mail på cs.washington.edu
Satish ChandraGoogleVerificeret mail på acm.org
Pallavi JoshiSoftware Engineer, ClouderaVerificeret mail på cloudera.com
Michael PradelProfessor of Computer Science, Head of Software Lab, University of StuttgartVerificeret mail på iste.uni-stuttgart.de
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryVerificeret mail på jpl.nasa.gov
Katherine YelickVice Chancellor for Research and EECS Professor, UC Berkeley and Sr. Faculty Scientist, LBNLVerificeret mail på lbl.gov
Cristian CadarImperial College LondonVerificeret mail på imperial.ac.uk
David PattersonProfessor of Computer Science, UC BerkeleyVerificeret mail på cs.berkeley.edu
Krste AsanovicUC BerkeleyVerificeret mail på berkeley.edu
Wontae ChoiGoogle Inc.Verificeret mail på google.com
Sarfraz KhurshidProfessor, University of Texas at AustinVerificeret mail på ece.utexas.edu
Darko MarinovUniversity of Illinois at Urbana-ChampaignVerificeret mail på illinois.edu
John KubiatowiczUniversity of California at BerkeleyVerificeret mail på cs.berkeley.edu
Rupak MajumdarMPI for Software SystemsVerificeret mail på mpi-sws.org

Følg

Koushik Sen

Professor of Computer Science, University of California, Berkeley

Verificeret mail på cs.berkeley.edu - Startside

Computer Science Testing Debugging Program Analysis Concurrency


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	År
DART: Directed automated random testing P Godefroid, N Klarlund, K Sen Proceedings of the 2005 ACM SIGPLAN conference on Programming language …, 2005	3702	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	2704	2005
Symbolic execution for software testing: three decades later C Cadar, K Sen Communications of the ACM 56 (2), 82-90, 2013	1164	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	976	2009
Heuristics for scalable dynamic test generation J Burnim, K Sen 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008	634	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	598	2007
Rule-based runtime verification H Barringer, A Goldberg, K Havelund, K Sen Verification, Model Checking, and Abstract Interpretation: 5th International …, 2004	550	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	524	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	521	2013
Race directed random testing of concurrent programs K Sen Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008	506	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	472	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	428	2020
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	418	2018
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	396	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	394	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	382	2004
On statistical model checking of stochastic systems K Sen, M Viswanathan, G Agha Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005	332	2005
Concolic testing K Sen Proceedings of the 22nd IEEE/ACM international conference on Automated …, 2007	309	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	289	2007

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–20

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg

Citeret af

Medforfattere