Corina S. Pasareanu

2009
41	EE	Dimitra Giannakopoulou, Corina S. Pasareanu: Interface Generation and Compositional Verification in JavaPathfinder. FASE 2009: 94-108
2008
40	EE	Johann Schumann, Karen Gundy-Burlet, Corina S. Pasareanu, Tim Menzies, Tony Barrett: Tool Support for Parametric Analysis of Large Software Simulation Systems. ASE 2008: 497-498
39	EE	Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou: Automated Assume-Guarantee Reasoning by Abstraction Refinement. CAV 2008: 135-148
38	EE	Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu: Assume-Guarantee Verification for Interface Automata. FM 2008: 116-131
37	EE	Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape: Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. ISSTA 2008: 15-26
36	EE	Suzette Person, Matthew B. Dwyer, Sebastian G. Elbaum, Corina S. Pasareanu: Differential symbolic execution. SIGSOFT FSE 2008: 226-237
35	EE	Dimitra Giannakopoulou, Corina S. Pasareanu: Special issue on learning techniques for compositional reasoning. Formal Methods in System Design 32(3): 173-174 (2008)
34	EE	Corina S. Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, Jamieson M. Cobleigh, Howard Barringer: Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning. Formal Methods in System Design 32(3): 175-205 (2008)
2007
33	EE	Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser: Formal Software Analysis Emerging Trends in Software Model Checking. FOSE 2007: 120-136
32	EE	Corina S. Pasareanu, Willem Visser: Symbolic Execution and Model Checking for Testing. Haifa Verification Conference 2007: 17-18
31	EE	Saswat Anand, Corina S. Pasareanu, Willem Visser: JPF-SE: A Symbolic Execution Extension to Java PathFinder. TACAS 2007: 134-138
30	EE	Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu: Refining Interface Alphabets for Compositional Verification. TACAS 2007: 292-307
29	EE	Corina S. Pasareanu, Radek Pelánek, Willem Visser: Predicate Abstraction with Under-approximation Refinement CoRR abs/cs/0701140: (2007)
28	EE	Corina S. Pasareanu, Radek Pelánek, Willem Visser: Predicate Abstraction with Under-Approximation Refinement. Logical Methods in Computer Science 3(1): (2007)
2006
27	EE	Willem Visser, Corina S. Pasareanu, Radek Pelánek: Test input generation for java containers using state matching. ISSTA 2006: 37-48
26	EE	Saswat Anand, Corina S. Pasareanu, Willem Visser: Symbolic Execution with Abstract Subsumption Checking. SPIN 2006: 163-181
25	EE	Corina S. Pasareanu, Dimitra Giannakopoulou: Towards a Compositional SPIN. SPIN 2006: 234-251
24	EE	Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu: Assume-guarantee testing. ACM SIGSOFT Software Engineering Notes 31(2): (2006)
2005
23	EE	Willem Visser, Corina S. Pasareanu, Radek Pelánek: Test input generation for red-black trees using abstraction. ASE 2005: 414-417
22	EE	Corina S. Pasareanu, Radek Pelánek, Willem Visser: Concrete Model Checking with Abstract Matching and Refinement. CAV 2005: 52-66
21	EE	Dimitra Giannakopoulou, Corina S. Pasareanu: Learning-Based Assume-Guarantee Verification (Tool Paper). SPIN 2005: 282-287
20	EE	Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer: Component Verification with Automatically Generated Assumptions. Autom. Softw. Eng. 12(3): 297-320 (2005)
19	EE	John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger: Verifying Time Partitioning in the DEOS Scheduling Kernel. Formal Methods in System Design 26(2): 103-135 (2005)
18	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
17	EE	Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh: Assume-Guarantee Verification of Source Code with Design-Level Assumptions. ICSE 2004: 211-220
16	EE	Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid: Test input generation with java PathFinder. ISSTA 2004: 97-107
15	EE	Corina S. Pasareanu, Willem Visser: Verification of Java Programs Using Symbolic Execution and Invariant Generation. SPIN 2004: 164-181
14	EE	Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington: Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Formal Methods in System Design 25(2-3): 167-198 (2004)
2003
13	EE	Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasareanu: Automated Environment Generation for Software Model Checking. ASE 2003: 116-129
12	EE	Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser: Experiments with Test Case Generation and Runtime Analysis. Abstract State Machines 2003: 87-107
11	EE	Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu: Learning Assumptions for Compositional Verification. TACAS 2003: 331-346
10	EE	Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser: Generalized Symbolic Execution for Model Checking and Testing. TACAS 2003: 553-568
9	EE	Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser: Finding feasible abstract counter-examples. STTT 5(1): 34-48 (2003)
2002
8	EE	Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer: Assumption Generation for Software Component Verification. ASE 2002: 3-12
7	EE	John Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby: Foundations of the Bandera Abstraction Tools. The Essence of Computation 2002: 172-203
2001
6		Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser: Tool-Supported Program Abstraction for Finite-State Verification. ICSE 2001: 177-187
5	EE	Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser: Finding Feasible Counter-examples when Model Checking Abstracted Java Programs. TACAS 2001: 284-298
2000
4	EE	James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng: Bandera: extracting finite-state models from Java source code. ICSE 2000: 439-448
1999
3	EE	Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth: Assume-Guarantee Model Checking of Software: A Comparative Case Study. SPIN 1999: 168-183
1998
2	EE	Matthew B. Dwyer, Corina S. Pasareanu: Model Checking Generic Container Implementations. Generic Programming 1998: 162-177
1	EE	Matthew B. Dwyer, Corina S. Pasareanu: Filter-Based Model Checking of Partial Systems. SIGSOFT FSE 1998: 189-202

Coauthor Index

1	Saswat Anand	[26] [31]
2	Cyrille Artho	[12] [18]
3	Tony Barrett	[40]
4	Howard Barringer	[8] [18] [20] [34]
5	Colin Blundell	[24]
6	Mihaela Gheorghiu Bobaru (Mihaela Gheorghiu)	[30] [34] [39]
7	Guillaume P. Brat	[14]
8	David H. Bushnell	[37]
9	Jamieson M. Cobleigh	[11] [17] [34]
10	James C. Corbett	[4]
11	Doron Drusinsky	[12] [14]
12	Matthew B. Dwyer	[1] [2] [3] [4] [5] [6] [7] [9] [13] [33] [36]
13	Sebastian G. Elbaum	[36]
14	Michael Emmi	[38]
15	Eric Engstrom	[19]
16	Dimitra Giannakopoulou	[8] [11] [14] [17] [20] [21] [24] [25] [30] [34] [35] [38] [39] [41]
17	Allen Goldberg	[12] [14] [18]
18	Karen Gundy-Burlet	[37] [40]
19	John Hatcliff	[4] [6] [7] [33]
20	Klaus Havelund	[12] [14] [18]
21	Michael Huth	[3]
22	Roby Joehanes	[6]
23	Sarfraz Khurshid	[10] [16] [18]
24	Aaron Larson	[19]
25	Shawn Laubach	[4] [6]
26	Michael R. Lowry	[12] [14] [18] [37]
27	Peter C. Mehlitz	[37]
28	Tim Menzies	[40]
29	Mark Pape	[37]
30	Seungjoon Park	[19]
31	Radek Pelánek	[22] [23] [27] [28] [29]
32	John Penix	[19]
33	Suzette Person	[36] [37]
34	Robby	[4] [6] [7] [33]
35	Grigore Rosu	[12] [18]
36	Johann Schumann	[40]
37	Koushik Sen	[18]
38	Oksana Tkachuk	[13]
39	Arnaud Venet	[14]
40	Willem Visser	[5] [6] [9] [10] [12] [14] [15] [16] [18] [19] [22] [23] [26] [27] [28] [29] [31] [32] [33]
41	Richard Washington	[14] [18]
42	Nicholas Weininger	[19]
43	Hongjun Zheng	[4] [6]