dblp.uni-trier.dewww.uni-trier.de

Corina S. Pasareanu

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
41EEDimitra Giannakopoulou, Corina S. Pasareanu: Interface Generation and Compositional Verification in JavaPathfinder. FASE 2009: 94-108
2008
40EEJohann 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
39EEMihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou: Automated Assume-Guarantee Reasoning by Abstraction Refinement. CAV 2008: 135-148
38EEMichael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu: Assume-Guarantee Verification for Interface Automata. FM 2008: 116-131
37EECorina 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
36EESuzette Person, Matthew B. Dwyer, Sebastian G. Elbaum, Corina S. Pasareanu: Differential symbolic execution. SIGSOFT FSE 2008: 226-237
35EEDimitra Giannakopoulou, Corina S. Pasareanu: Special issue on learning techniques for compositional reasoning. Formal Methods in System Design 32(3): 173-174 (2008)
34EECorina 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
33EEMatthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser: Formal Software Analysis Emerging Trends in Software Model Checking. FOSE 2007: 120-136
32EECorina S. Pasareanu, Willem Visser: Symbolic Execution and Model Checking for Testing. Haifa Verification Conference 2007: 17-18
31EESaswat Anand, Corina S. Pasareanu, Willem Visser: JPF-SE: A Symbolic Execution Extension to Java PathFinder. TACAS 2007: 134-138
30EEMihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu: Refining Interface Alphabets for Compositional Verification. TACAS 2007: 292-307
29EECorina S. Pasareanu, Radek Pelánek, Willem Visser: Predicate Abstraction with Under-approximation Refinement CoRR abs/cs/0701140: (2007)
28EECorina S. Pasareanu, Radek Pelánek, Willem Visser: Predicate Abstraction with Under-Approximation Refinement. Logical Methods in Computer Science 3(1): (2007)
2006
27EEWillem Visser, Corina S. Pasareanu, Radek Pelánek: Test input generation for java containers using state matching. ISSTA 2006: 37-48
26EESaswat Anand, Corina S. Pasareanu, Willem Visser: Symbolic Execution with Abstract Subsumption Checking. SPIN 2006: 163-181
25EECorina S. Pasareanu, Dimitra Giannakopoulou: Towards a Compositional SPIN. SPIN 2006: 234-251
24EEColin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu: Assume-guarantee testing. ACM SIGSOFT Software Engineering Notes 31(2): (2006)
2005
23EEWillem Visser, Corina S. Pasareanu, Radek Pelánek: Test input generation for red-black trees using abstraction. ASE 2005: 414-417
22EECorina S. Pasareanu, Radek Pelánek, Willem Visser: Concrete Model Checking with Abstract Matching and Refinement. CAV 2005: 52-66
21EEDimitra Giannakopoulou, Corina S. Pasareanu: Learning-Based Assume-Guarantee Verification (Tool Paper). SPIN 2005: 282-287
20EEDimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer: Component Verification with Automatically Generated Assumptions. Autom. Softw. Eng. 12(3): 297-320 (2005)
19EEJohn 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)
18EECyrille 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
17EEDimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh: Assume-Guarantee Verification of Source Code with Design-Level Assumptions. ICSE 2004: 211-220
16EEWillem Visser, Corina S. Pasareanu, Sarfraz Khurshid: Test input generation with java PathFinder. ISSTA 2004: 97-107
15EECorina S. Pasareanu, Willem Visser: Verification of Java Programs Using Symbolic Execution and Invariant Generation. SPIN 2004: 164-181
14EEGuillaume 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
13EEOksana Tkachuk, Matthew B. Dwyer, Corina S. Pasareanu: Automated Environment Generation for Software Model Checking. ASE 2003: 116-129
12EECyrille 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
11EEJamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu: Learning Assumptions for Compositional Verification. TACAS 2003: 331-346
10EESarfraz Khurshid, Corina S. Pasareanu, Willem Visser: Generalized Symbolic Execution for Model Checking and Testing. TACAS 2003: 553-568
9EECorina S. Pasareanu, Matthew B. Dwyer, Willem Visser: Finding feasible abstract counter-examples. STTT 5(1): 34-48 (2003)
2002
8EEDimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer: Assumption Generation for Software Component Verification. ASE 2002: 3-12
7EEJohn 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
5EECorina S. Pasareanu, Matthew B. Dwyer, Willem Visser: Finding Feasible Counter-examples when Model Checking Abstracted Java Programs. TACAS 2001: 284-298
2000
4EEJames 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
3EECorina S. Pasareanu, Matthew B. Dwyer, Michael Huth: Assume-Guarantee Model Checking of Software: A Comparative Case Study. SPIN 1999: 168-183
1998
2EEMatthew B. Dwyer, Corina S. Pasareanu: Model Checking Generic Container Implementations. Generic Programming 1998: 162-177
1EEMatthew B. Dwyer, Corina S. Pasareanu: Filter-Based Model Checking of Partial Systems. SIGSOFT FSE 1998: 189-202

Coauthor Index

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

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)