Seguir
Koushik Sen
Koushik Sen
Professor of Computer Science, University of California, Berkeley
Dirección de correo verificada de cs.berkeley.edu - Página principal
Título
Citado por
Citado por
Año
DART: Directed automated random testing
P Godefroid, N Klarlund, K Sen
Proceedings of the 2005 ACM SIGPLAN conference on Programming language …, 2005
36492005
CUTE: A concolic unit testing engine for C
K Sen, D Marinov, G Agha
ACM SIGSOFT Software Engineering Notes 30 (5), 263-272, 2005
26662005
Symbolic execution for software testing: three decades later
C Cadar, K Sen
Communications of the ACM 56 (2), 82-90, 2013
11332013
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
9612009
Heuristics for scalable dynamic test generation
J Burnim, K Sen
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
6312008
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
6192006
Hybrid concolic testing
R Majumdar, K Sen
29th International Conference on Software Engineering (ICSE'07), 416-426, 2007
5892007
Rule-based runtime verification
H Barringer, A Goldberg, K Havelund, K Sen
Verification, Model Checking, and Abstract Interpretation: 5th International …, 2004
5442004
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
5162011
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
5112013
Race directed random testing of concurrent programs
K Sen
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
4952008
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
4362018
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
3892018
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
3842013
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
3812013
Statistical model checking of black-box probabilistic systems
K Sen, M Viswanathan, G Agha
Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004
3772004
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
3682020
On statistical model checking of stochastic systems
K Sen, M Viswanathan, G Agha
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
3262005
Concolic testing
K Sen
Proceedings of the 22nd IEEE/ACM international conference on Automated …, 2007
2992007
Dynamic test input generation for database applications
M Emmi, R Majumdar, K Sen
Proceedings of the 2007 international symposium on Software testing and …, 2007
2882007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20