Koushik Sen

Получаване на мой собствен потребителски профил

Позовавания

	Всички	От 2018
Позовавания	23128	9921
h-индекс	68	49
i10-индекс	163	121

2000

1000

500

1500

2004200520062007200820092010201120122013201420152016201720182019202020212022202377 166 290 340 489 704 947 1062 1197 1356 1480 1591 1582 1519 1695 1791 1889 1857 1954 732

Публичен достъп

Преглед на всички

50 статии

8 статии

налични

неналични

Въз основа на изисквания при финансирането

Съавтори

Gul AghaProfessor of Computer Science, University of Illinois at Urbana-Champaign and CEO EmbedorПотвърден имейл адрес: illinois.edu
George NeculaProfessor, University of California, BerkeleyПотвърден имейл адрес: cs.berkeley.edu
Costin IancuSenior Staff Scientist, Lawrence Berkeley National LaboratoryПотвърден имейл адрес: lbl.gov
Jacob BurnimGoogle ResearchПотвърден имейл адрес: google.com
Mahesh ViswanathanUniversity of Illinois, Urbana-ChampaignПотвърден имейл адрес: illinois.edu
Grigore RosuUniversity of Illinois at Urbana ChampaignПотвърден имейл адрес: illinois.edu
Pallavi JoshiSoftware Engineer, ClouderaПотвърден имейл адрес: cloudera.com
Patrice GodefroidLaceworkПотвърден имейл адрес: lacework.net
Klaus HavelundSenior Research Scientist, Jet Propulsion LaboratoryПотвърден имейл адрес: jpl.nasa.gov
Michael PradelProfessor of Computer Science, Head of Software Lab, University of StuttgartПотвърден имейл адрес: iste.uni-stuttgart.de
Satish ChandraGoogleПотвърден имейл адрес: acm.org
Rastislav BodikUniversity of WashingtonПотвърден имейл адрес: cs.washington.edu
Cristian CadarImperial College LondonПотвърден имейл адрес: imperial.ac.uk
Katherine YelickAssociate Laboratory Director of Computing Sciences, LBNL and EECS Professor, UC BerkeleyПотвърден имейл адрес: lbl.gov
Wontae ChoiGoogle Inc.Потвърден имейл адрес: google.com
Sarfraz KhurshidProfessor, University of Texas at AustinПотвърден имейл адрес: ece.utexas.edu
Darko MarinovUniversity of Illinois at Urbana-ChampaignПотвърден имейл адрес: illinois.edu
Rupak MajumdarMPI for Software SystemsПотвърден имейл адрес: mpi-sws.org
David PattersonProfessor of Computer Science, UC BerkeleyПотвърден имейл адрес: cs.berkeley.edu
Mayur NaikProfessor of Computer Science, University of PennsylvaniaПотвърден имейл адрес: cis.upenn.edu

Следене

Koushik Sen

Professor of Computer Science, University of California, Berkeley

Потвърден имейл адрес: cs.berkeley.edu - Начална страница

Computer Science Testing Debugging Program Analysis Concurrency


Заглавие Сортиране по цитати Сортиране по година Сортиране по заглавие	Позовавания Позовавания	Година
DART: Directed automated random testing P Godefroid, N Klarlund, K Sen Proceedings of the 2005 ACM SIGPLAN conference on Programming language …, 2005	3443	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	2519	2005
Symbolic execution for software testing: three decades later C Cadar, K Sen Communications of the ACM 56 (2), 82-90, 2013	991	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	922	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	598	2006
Heuristics for scalable dynamic test generation J Burnim, K Sen 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008	591	2008
Hybrid concolic testing R Majumdar, K Sen 29th International Conference on Software Engineering (ICSE'07), 416-426, 2007	552	2007
Rule-based runtime verification H Barringer, A Goldberg, K Havelund, K Sen VMCAI 2937, 44-57, 2004	514	2004
Race directed random testing of concurrent programs K Sen Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008	482	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	472	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	349	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	340	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	338	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	285	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	276	2018
Concolic testing K Sen Proceedings of the twenty-second IEEE/ACM international conference on …, 2007	267	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

Системата не може да изпълни операцията сега. Опитайте отново по-късно.

Статии 1–20

Позовавания годишно

Дублирани описания

Обединени библиографски описания

Добавяне на съавториСъавтори

Следене

Позовавания

Съавтори