☰

Koushik Sen - Publications

Affiliations: 
Electrical Engineering and Computer Science University of California, Berkeley, Berkeley, CA, United States 
Area:
Programming Systems (PS), Software Engineering, Programming Languages, and Formal Methods: Software Testing, Verification, Model Checking, Runtime Monitoring, Performance Evaluation, and Computational Logic.; Security (SEC)
Tree Info Similar researchers PubMed Report error

14 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2020 Lemieux C, Sen K. FairFuzz-TC: a fuzzer targeting rare branches International Journal On Software Tools For Technology Transfer. 1-4. DOI: 10.1007/S10009-020-00569-W  0.346
2019 Karim R, Tip F, Sochurkova A, Sen K. Platform-Independent Dynamic Taint Analysis for JavaScript Ieee Transactions On Software Engineering. 1-1. DOI: 10.1109/Tse.2018.2878020  0.377
2017 Andreasen E, Gong L, Møller A, Pradel M, Selakovic M, Sen K, Staicu C. A Survey of Dynamic Analysis and Test Generation for JavaScript Acm Computing Surveys. 50: 66. DOI: 10.1145/3106739  0.407
2015 Sen K, Necula G, Gong L, Choi W. MultiSE: Multi-path symbolic execution using value summaries 2015 10th Joint Meeting of the European Software Engineering Conference and the Acm Sigsoft Symposium On the Foundations of Software Engineering, Esec/Fse 2015 - Proceedings. 842-853. DOI: 10.1145/2786805.2786830  0.514
2015 Choi W, Chandra S, Necula G, Sen K. SJS: A type system for javascript with fixed object layout Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9291: 181-198. DOI: 10.1007/978-3-662-48288-9_11  0.49
2013 Cadar C, Sen K. Symbolic execution for software testing: three decades later Communications of the Acm. 56: 82-90. DOI: 10.1145/2408776.2408795  0.361
2010 Burnim J, Sen K. Asserting and checking determinism for multithreaded programs Communications of the Acm. 53: 97-105. DOI: 10.1145/1743546.1743572  0.369
2007 Roşu G, Sen K. An instrumentation technique for online analysis of multithreaded programs: Research Articles Concurrency and Computation: Practice and Experience. 19: 311-325. DOI: 10.1002/Cpe.V19:3  0.386
2007 Roşu G, Sen K. An instrumentation technique for online analysis of multithreaded programs Concurrency and Computation: Practice and Experience. 19: 311-325. DOI: 10.1002/Cpe.1066  0.389
2006 Agha G, Meseguer J, Sen K. PMaude: Rewrite-based Specification Language for Probabilistic Object Systems Electronic Notes in Theoretical Computer Science. 153: 213-239. DOI: 10.1016/J.Entcs.2005.10.040  0.565
2006 Sen K, Roşu G, Agha G. Online efficient predictive safety analysis of multithreaded programs International Journal On Software Tools For Technology Transfer. 8: 248-260. DOI: 10.1007/S10009-005-0192-Y  0.557
2005 Artho C, Barringer H, Goldberg A, Havelund K, Khurshid S, Lowry M, Pasareanu C, Roşu G, Sen K, Visser W, Washington R. Combining test case generation and runtime verification Theoretical Computer Science. 336: 209-234. DOI: 10.1016/J.Tcs.2004.11.007  0.426
2004 Thati P, Sen K, Martí-Oliet N. An executable specification of asynchronous Pi-calculus semantics and may testing in Maude 2.0 Electronic Notes in Theoretical Computer Science. 71: 242-262. DOI: 10.1016/S1571-0661(05)82539-3  0.58
2003 Sen K, Roşu G. Generating Optimal Monitors for Extended Regular Expressions Electronic Notes in Theoretical Computer Science. 89: 226-245. DOI: 10.1016/S1571-0661(04)81051-X  0.37
Show low-probability matches.