Koushik Sen

2009
45	EE	Shaunak Chatterjee, Sudeep Juvekar, Koushik Sen: SNIFF: A Search Engine for Java Using Free-Form Queries. FASE 2009: 385-400
2008
44	EE	Pallavi Joshi, Koushik Sen: Predictive Typestate Checking of Multithreaded Java Programs. ASE 2008: 288-296
43	EE	Jacob Burnim, Koushik Sen: Heuristics for Scalable Dynamic Test Generation. ASE 2008: 443-446
42	EE	Krishnendu Chatterjee, Koushik Sen, Thomas A. Henzinger: Model-Checking omega-Regular Properties of Interval Markov Chains. FoSSaCS 2008: 302-317
41	EE	Yamini Kannan, Koushik Sen: Universal symbolic execution and its application to likely data structure invariant generation. ISSTA 2008: 283-294
40	EE	Koushik Sen: Race directed random testing of concurrent programs. PLDI 2008: 11-21
39	EE	Murali Krishna Ramanathan, Koushik Sen, Ananth Grama, Suresh Jagannathan: Protocol Inference Using Static Path Profiles. SAS 2008: 78-92
38	EE	Chang-Seo Park, Koushik Sen: Randomized active atomicity violation detection in concurrent programs. SIGSOFT FSE 2008: 135-145
2007
37	EE	Koushik Sen: Effective random testing of concurrent programs. ASE 2007: 323-332
36	EE	Koushik Sen: Concolic testing. ASE 2007: 571-572
35	EE	Pallavi Joshi, Koushik Sen, Mark Shlimovich: Predictive testing: amplifying the effectiveness of software testing. ESEC/SIGSOFT FSE 2007: 561-564
34	EE	Pallavi Joshi, Koushik Sen, Mark Shlimovich: Predictive testing: amplifying the effectiveness of software testing. ESEC/SIGSOFT FSE (Companion) 2007: 561-564
33	EE	Rupak Majumdar, Koushik Sen: Hybrid Concolic Testing. ICSE 2007: 416-426
32	EE	Michael Emmi, Rupak Majumdar, Koushik Sen: Dynamic test input generation for database applications. ISSTA 2007: 151-162
31	EE	Grigore Rosu, Koushik Sen: An instrumentation technique for online analysis of multithreaded programs. Concurrency and Computation: Practice and Experience 19(3): 311-325 (2007)
2006
30	EE	Koushik Sen, Mahesh Viswanathan: Model Checking Multithreaded Programs with Asynchronous Atomic Methods. CAV 2006: 300-314
29	EE	Koushik Sen, Gul Agha: CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools. CAV 2006: 419-423
28	EE	Koushik Sen, Gul Agha: Automated Systematic Testing of Open Distributed Programs. FASE 2006: 339-356
27	EE	Koushik Sen, Gul Agha: A Race-Detection and Flipping Algorithm for Automated Testing of Multi-threaded Programs. Haifa Verification Conference 2006: 166-182
26	EE	Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu: Decentralized runtime analysis of multithreaded applications. IPDPS 2006
25	EE	Koushik Sen, Mahesh Viswanathan, Gul Agha: Model-Checking Markov Chains in the Presence of Uncertainties. TACAS 2006: 394-410
24	EE	Gul A. Agha, José Meseguer, Koushik Sen: PMaude: Rewrite-based Specification Language for Probabilistic Object Systems. Electr. Notes Theor. Comput. Sci. 153(2): 213-239 (2006)
23	EE	Koushik Sen, Grigore Rosu, Gul Agha: Online efficient predictive safety analysis of multithreaded programs. STTT 8(3): 248-260 (2006)
2005
22	EE	Koushik Sen, Mahesh Viswanathan, Gul Agha: On Statistical Model Checking of Stochastic Systems. CAV 2005: 266-280
21	EE	Koushik Sen, Darko Marinov, Gul Agha: CUTE: a concolic unit testing engine for C. ESEC/SIGSOFT FSE 2005: 263-272
20	EE	Koushik Sen, Grigore Rosu, Gul Agha: Detecting Errors in Multithreaded Programs by Generalized Predictive Analysis of Executions. FMOODS 2005: 211-226
19	EE	Patrice Godefroid, Nils Klarlund, Koushik Sen: DART: directed automated random testing. PLDI 2005: 213-223
18	EE	Koushik Sen, Mahesh Viswanathan, Gul A. Agha: VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems. QEST 2005: 251-252
17	EE	Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Using Language Inference to Verify Omega-Regular Properties. TACAS 2005: 45-60
16	EE	Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington: Combining test case generation and runtime verification. Theor. Comput. Sci. 336(2-3): 209-234 (2005)
2004
15	EE	Koushik Sen, Mahesh Viswanathan, Gul Agha: Statistical Model Checking of Black-Box Probabilistic Systems. CAV 2004: 202-215
14	EE	Prasad Naldurg, Koushik Sen, Prasanna Thati: A Temporal Logic Based Framework for Intrusion Detection. FORTE 2004: 359-376
13	EE	Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Actively Learning to Verify Safety for FIFO Automata. FSTTCS 2004: 494-505
12	EE	Abhay Vardhan, Koushik Sen, Mahesh Viswanathan, Gul Agha: Learning to Verify Safety Properties. ICFEM 2004: 274-289
11	EE	Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu: Efficient Decentralized Monitoring of Safety in Distributed Systems. ICSE 2004: 418-427
10	EE	Grigore Rosu, Koushik Sen: An Instrumentation Technique for Online Analysis of Multithreaded Programs. IPDPS 2004
9	EE	Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen: Program Monitoring with LTL in EAGLE. IPDPS 2004
8	EE	Koushik Sen, Mahesh Viswanathan, Gul Agha: Learning Continuous Time Markov Chains from Sample Executions. QEST 2004: 146-155
7	EE	Koushik Sen, Grigore Rosu, Gul Agha: Online Efficient Predictive Safety Analysis of Multithreaded Programs. TACAS 2004: 123-138
6	EE	Howard Barringer, Allen Goldberg, Klaus Havelund, Koushik Sen: Rule-Based Runtime Verification. VMCAI 2004: 44-57
2003
5	EE	Koushik Sen, Grigore Rosu, Gul Agha: Generating Optimal Linear Temporal Logic Monitors by Coinduction. ASIAN 2003: 260-275
4	EE	Koushik Sen, Grigore Rosu, Gul Agha: Runtime safety analysis of multithreaded programs. ESEC / SIGSOFT FSE 2003: 337-346
3	EE	Nirman Kumar, Koushik Sen, José Meseguer, Gul Agha: A Rewriting Based Model for Probabilistic Distributed Object Systems. FMOODS 2003: 32-46
2	EE	Koushik Sen, Grigore Rosu: Generating Optimal Monitors for Extended Regular Expressions. Electr. Notes Theor. Comput. Sci. 89(2): (2003)
2002
1	EE	Prasanna Thati, Koushik Sen, Narciso Martí-Oliet: An Executable Specification of Asynchronous Pi-Calculus Semantics and May Testing in Maude 2.0. Electr. Notes Theor. Comput. Sci. 71: (2002)

Coauthor Index

1	Gul A. Agha (Gul Agha)	[3] [4] [5] [7] [8] [11] [12] [13] [15] [17] [18] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29]
2	Cyrille Artho	[16]
3	Howard Barringer	[6] [9] [16]
4	Jacob Burnim	[43]
5	Krishnendu Chatterjee	[42]
6	Shaunak Chatterjee	[45]
7	Michael Emmi	[32]
8	Patrice Godefroid	[19]
9	Allen Goldberg	[6] [9] [16]
10	Ananth Grama	[39]
11	Klaus Havelund	[6] [9] [16]
12	Thomas A. Henzinger	[42]
13	Suresh Jagannathan	[39]
14	Pallavi Joshi	[34] [35] [44]
15	Sudeep Juvekar	[45]
16	Yamini Kannan	[41]
17	Sarfraz Khurshid	[16]
18	Nils Klarlund	[19]
19	Nirman Kumar	[3]
20	Michael R. Lowry	[16]
21	Rupak Majumdar	[32] [33]
22	Darko Marinov	[21]
23	Narciso Martí-Oliet	[1]
24	José Meseguer	[3] [24]
25	Prasad Naldurg	[14]
26	Chang-Seo Park	[38]
27	Corina S. Pasareanu	[16]
28	Murali Krishna Ramanathan	[39]
29	Grigore Rosu	[2] [4] [5] [7] [10] [11] [16] [20] [23] [26] [31]
30	Mark Shlimovich	[34] [35]
31	Prasanna Thati (Prasannaa Thati)	[1] [14]
32	Abhay Vardhan	[11] [12] [13] [17] [26]
33	Willem Visser	[16]
34	Mahesh Viswanathan	[8] [12] [13] [15] [17] [18] [22] [25] [30]
35	Richard Washington	[16]

Colors in the list of coauthors