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
36902005
CUTE: A concolic unit testing engine for C
K Sen, D Marinov, G Agha
ACM SIGSOFT Software Engineering Notes 30 (5), 263-272, 2005
26972005
Symbolic execution for software testing: three decades later
C Cadar, K Sen
Communications of the ACM 56 (2), 82-90, 2013
11582013
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
9742009
Heuristics for scalable dynamic test generation
J Burnim, K Sen
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
6332008
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
6212006
Hybrid concolic testing
R Majumdar, K Sen
29th International Conference on Software Engineering (ICSE'07), 416-426, 2007
5962007
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
5222011
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
5052008
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
4652018
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
4222020
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
4172018
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
3932013
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
3312005
Concolic testing
K Sen
Proceedings of the 22nd IEEE/ACM international conference on Automated …, 2007
3072007
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