متابعة
Koushik Sen
Koushik Sen
Professor of Computer Science, University of California, Berkeley
بريد إلكتروني تم التحقق منه على cs.berkeley.edu - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
DART: Directed automated random testing‏
P Godefroid, N Klarlund, K Sen‏
Proceedings of the 2005 ACM SIGPLAN conference on Programming language …, 2005‏
37062005
CUTE: A concolic unit testing engine for C‏
K Sen, D Marinov, G Agha‏
ACM SIGSOFT Software Engineering Notes 30 (5), 263-272, 2005‏
27052005
Symbolic execution for software testing: three decades later‏
C Cadar, K Sen‏
Communications of the ACM 56 (2), 82-90, 2013‏
11642013
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‏
9762009
Heuristics for scalable dynamic test generation‏
J Burnim, K Sen‏
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008‏
6352008
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‏
6222006
Hybrid concolic testing‏
R Majumdar, K Sen‏
29th International Conference on Software Engineering (ICSE'07), 416-426, 2007‏
5992007
Rule-based runtime verification‏
H Barringer, A Goldberg, K Havelund, K Sen‏
Verification, Model Checking, and Abstract Interpretation: 5th International …, 2004‏
5502004
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‏
5242011
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‏
5212013
Race directed random testing of concurrent programs‏
K Sen‏
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008‏
5062008
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‏
4742018
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‏
4292020
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‏
4182018
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‏
3962013
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‏
3942013
Statistical model checking of black-box probabilistic systems‏
K Sen, M Viswanathan, G Agha‏
Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004‏
3822004
On statistical model checking of stochastic systems‏
K Sen, M Viswanathan, G Agha‏
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005‏
3322005
Concolic testing‏
K Sen‏
Proceedings of the 22nd IEEE/ACM international conference on Automated …, 2007‏
3102007
Dynamic test input generation for database applications‏
M Emmi, R Majumdar, K Sen‏
Proceedings of the 2007 international symposium on Software testing and …, 2007‏
2902007
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20