Koushik Sen

引用次数

	总计	2018 年至今
引用	24251	11031
h 指数	69	52
i10 指数	169	130

2000

1000

500

1500

2004200520062007200820092010201120122013201420152016201720182019202020212022202373 174 305 323 483 701 948 1094 1183 1345 1484 1604 1575 1510 1690 1803 1857 1864 1989 1813

开放获取的出版物数量

查看全部

50 篇文章

10 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Gul AghaProfessor of Computer Science, University of Illinois at Urbana-Champaign and CEO Embedor在 illinois.edu 的电子邮件经过验证
Costin IancuSenior Staff Scientist, Lawrence Berkeley National Laboratory在 lbl.gov 的电子邮件经过验证
Jacob BurnimGoogle Research在 google.com 的电子邮件经过验证
George NeculaProfessor, University of California, Berkeley在 cs.berkeley.edu 的电子邮件经过验证
Grigore RosuUniversity of Illinois at Urbana Champaign在 illinois.edu 的电子邮件经过验证
Mahesh ViswanathanUniversity of Illinois, Urbana-Champaign在 illinois.edu 的电子邮件经过验证
Patrice GodefroidLacework在 lacework.net 的电子邮件经过验证
Pallavi JoshiSoftware Engineer, Cloudera在 cloudera.com 的电子邮件经过验证
Klaus HavelundSenior Research Scientist, Jet Propulsion Laboratory在 jpl.nasa.gov 的电子邮件经过验证
Rastislav BodikUniversity of Washington在 cs.washington.edu 的电子邮件经过验证
Satish ChandraGoogle在 acm.org 的电子邮件经过验证
Michael PradelProfessor of Computer Science, Head of Software Lab, University of Stuttgart在 iste.uni-stuttgart.de 的电子邮件经过验证
Katherine YelickAssociate Laboratory Director of Computing Sciences, LBNL and EECS Professor, UC Berkeley在 lbl.gov 的电子邮件经过验证
Cristian CadarImperial College London在 imperial.ac.uk 的电子邮件经过验证
Wontae ChoiGoogle Inc.在 google.com 的电子邮件经过验证
Sarfraz KhurshidProfessor, University of Texas at Austin在 ece.utexas.edu 的电子邮件经过验证
Darko MarinovUniversity of Illinois at Urbana-Champaign在 illinois.edu 的电子邮件经过验证
David PattersonProfessor of Computer Science, UC Berkeley在 cs.berkeley.edu 的电子邮件经过验证
Rupak MajumdarMPI for Software Systems在 mpi-sws.org 的电子邮件经过验证
Krste AsanovicUC Berkeley在 berkeley.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	3533	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	2587	2005
Symbolic execution for software testing: three decades later C Cadar, K Sen Communications of the ACM 56 (2), 82-90, 2013	1051	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	940	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	612	2006
Heuristics for scalable dynamic test generation J Burnim, K Sen 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008	599	2008
Hybrid concolic testing R Majumdar, K Sen 29th International Conference on Software Engineering (ICSE'07), 416-426, 2007	568	2007
Rule-based runtime verification H Barringer, A Goldberg, K Havelund, K Sen Verification, Model Checking, and Abstract Interpretation: 5th International …, 2004	527	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	497	2011
Race directed random testing of concurrent programs K Sen Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008	490	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	486	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	363	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	363	2004
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	357	2013
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	334	2018
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	330	2018
On statistical model checking of stochastic systems K Sen, M Viswanathan, G Agha Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005	313	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	282	2007
Concolic testing K Sen Proceedings of the 22nd IEEE/ACM international conference on Automated …, 2007	274	2007
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	258	2020

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

关注

引用次数

合著作者