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
36092005
CUTE: A concolic unit testing engine for C
K Sen, D Marinov, G Agha
ACM SIGSOFT Software Engineering Notes 30 (5), 263-272, 2005
26372005
Symbolic execution for software testing: three decades later
C Cadar, K Sen
Communications of the ACM 56 (2), 82-90, 2013
11022013
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
9512009
Heuristics for scalable dynamic test generation
J Burnim, K Sen
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
6212008
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
6162006
Hybrid concolic testing
R Majumdar, K Sen
29th International Conference on Software Engineering (ICSE'07), 416-426, 2007
5762007
Rule-based runtime verification
H Barringer, A Goldberg, K Havelund, K Sen
Verification, Model Checking, and Abstract Interpretation: 5th International …, 2004
5392004
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
5112011
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
5012013
Race directed random testing of concurrent programs
K Sen
Proceedings of the 29th ACM SIGPLAN Conference on Programming Language …, 2008
4922008
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
4042018
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
3772018
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
3772013
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
3742013
Statistical model checking of black-box probabilistic systems
K Sen, M Viswanathan, G Agha
Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004
3742004
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
3352020
On statistical model checking of stochastic systems
K Sen, M Viswanathan, G Agha
Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005
3212005
Concolic testing
K Sen
Proceedings of the 22nd IEEE/ACM international conference on Automated …, 2007
2872007
Dynamic test input generation for database applications
M Emmi, R Majumdar, K Sen
Proceedings of the 2007 international symposium on Software testing and …, 2007
2852007
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20