Corina S. Pasareanu

Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry: Polyglot: Systematic Analysis for Multiple Statechart Formalisms. TACAS 2013: 523-529

Corina S. Pasareanu, Gwen Salaün (Eds.): Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers. Lecture Notes in Computer Science 7684, Springer 2013, isbn 978-3-642-35860-9

Artem Khyzha, Pavel Parizek, Corina S. Pasareanu: Abstract pathfinder. ACM SIGSOFT Software Engineering Notes 37(6): 1-5 (2012)

Nariman Mirzaei, Sam Malek, Corina S. Pasareanu, Naeem Esfahani, Riyadh Mahmood: Testing android apps through symbolic execution. ACM SIGSOFT Software Engineering Notes 37(6): 1-5 (2012)

Quoc-Sang Phan, Pasquale Malacaria, Oksana Tkachuk, Corina S. Pasareanu: Symbolic quantitative information flow. ACM SIGSOFT Software Engineering Notes 37(6): 1-5 (2012)

Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke: Assume-Guarantee Abstraction Refinement for Probabilistic Systems. CAV 2012: 310-326

Mateus Borges, Marcelo d'Amorim, Saswat Anand, David H. Bushnell, Corina S. Pasareanu: Symbolic Execution with Interval Solving and Meta-heuristic Search. ICST 2012: 111-120

Corina S. Pasareanu, Daniel Balasubramanian: Statechart Analysis with Symbolic PathFinder. ICST 2012: 772

Corina S. Pasareanu, Mihaela Gheorghiu Bobaru: Learning Techniques for Software Verification and Validation. ISoLA (1) 2012: 505-507

Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid: Memoized symbolic execution. ISSTA 2012: 144-154

Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke: Learning Probabilistic Systems from Tree Samples. LICS 2012: 441-450

Daniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael R. Lowry, Michael W. Whalen: Integrating Statechart Components in Polyglot. NASA Formal Methods 2012: 267-272

Corina S. Pasareanu: Combining Model Checking and Symbolic Execution for Software Testing. TAP 2012: 2

Misty Davies, Corina S. Pasareanu, Vishwanath Raman: Symbolic Execution Enhanced System Testing. VSTTE 2012: 294-309

Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke: Assume-Guarantee Abstraction Refinement for Probabilistic Systems. CoRR abs/1207.5086 (2012)

Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke: Learning Probabilistic Systems from Tree Samples. CoRR abs/1207.5091 (2012)

Manuela L. Bujorianu, Michael Fisher, Corina S. Pasareanu: Preface. Ann. Math. Artif. Intell. 63(1): 1-3 (2011)

Corina S. Pasareanu: New results in software model checking and analysis. STTT 13(1): 1-2 (2011)

Domenico Bianculli, Dimitra Giannakopoulou, Corina S. Pasareanu: Interface decomposition for service compositions. ICSE 2011: 501-510

Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser: Symbolic execution for software testing in practice: preliminary assessment. ICSE 2011: 1066-1071

Corina S. Pasareanu, Neha Rungta, Willem Visser: Symbolic execution with mixed concrete-symbolic solving. ISSTA 2011: 34-44

Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry: Polyglot: modeling and analysis for multiple Statechart formalisms. ISSTA 2011: 45-55

Matheus Souza, Mateus Borges, Marcelo d'Amorim, Corina S. Pasareanu: CORAL: Solving Complex Constraints for Symbolic PathFinder. NASA Formal Methods 2011: 359-374

Daniel Balasubramanian, Gábor Pap, Harmon Nine, Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger: Rapid property specification and checking for model-based formalisms. International Symposium on Rapid System Prototyping 2011: 121-127

Dimitra Giannakopoulou, Corina S. Pasareanu: Context Synthesis. SFM 2011: 191-216

Perry Alexander, Corina S. Pasareanu, John G. Hosking (Eds.): 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011. IEEE 2011, isbn 978-1-4577-1638-6

Carlos Canal, Corina S. Pasareanu: Preface. Electr. Notes Theor. Comput. Sci. 260: 1-2 (2010)

Dimitra Giannakopoulou, Corina S. Pasareanu: Editorial: automated compositional verification. IET Software 4(3): 179-180 (2010)

Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu: Preface: Special Issue on Nasa Formal Methods Symposium 2009. ISSE 6(3): 171-172 (2010)

Carlos Canal, Corina S. Pasareanu: Preface. Sci. Comput. Program. 75(10): 809-810 (2010)

Rishabh Singh, Dimitra Giannakopoulou, Corina S. Pasareanu: Learning Component Interfaces with May and Must Abstractions. CAV 2010: 527-542

Dimitra Giannakopoulou, Corina S. Pasareanu: Learning Techniques for Software Verification and Validation - Special Track at ISoLA 2010. ISoLA (1) 2010: 640-642

Matt Staats, Corina S. Pasareanu: Parallel symbolic execution for structural test generation. ISSTA 2010: 183-194

Corina S. Pasareanu, Neha Rungta: Symbolic PathFinder: symbolic execution of Java bytecode. ASE 2010: 179-180

Saswat Anand, Corina S. Pasareanu, Willem Visser: Symbolic execution with abstraction. STTT 11(1): 53-67 (2009)

Corina S. Pasareanu, Willem Visser: A survey of new trends in symbolic execution for software testing and analysis. STTT 11(4): 339-353 (2009)

Dimitra Giannakopoulou, Corina S. Pasareanu: Interface Generation and Compositional Verification in JavaPathfinder. FASE 2009: 94-108

Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu (Eds.): First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009. NASA Conference Proceedings NASA/CP-2009-215407, 2009

Corina S. Pasareanu (Ed.): Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings. Lecture Notes in Computer Science 5578, Springer 2009, isbn 978-3-642-02651-5

Dimitra Giannakopoulou, Corina S. Pasareanu: Special issue on learning techniques for compositional reasoning. Formal Methods in System Design 32(3): 173-174 (2008)

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)

Dimitra Giannakopoulou, Corina S. Pasareanu, Colin Blundell: Assume-guarantee testing for software components. IET Software 2(6): 547-562 (2008)

Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou: Automated Assume-Guarantee Reasoning by Abstraction Refinement. CAV 2008: 135-148

Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu: Assume-Guarantee Verification for Interface Automata. FM 2008: 116-131

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

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

Suzette Person, Matthew B. Dwyer, Sebastian G. Elbaum, Corina S. Pasareanu: Differential symbolic execution. SIGSOFT FSE 2008: 226-237

Corina S. Pasareanu, Radek Pelánek, Willem Visser: Predicate Abstraction with Under-Approximation Refinement. Logical Methods in Computer Science 3(1) (2007)

Corina S. Pasareanu, Willem Visser: Symbolic Execution and Model Checking for Testing. Haifa Verification Conference 2007: 17-18

Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser: Formal Software Analysis Emerging Trends in Software Model Checking. FOSE 2007: 120-136

Saswat Anand, Corina S. Pasareanu, Willem Visser: JPF-SE: A Symbolic Execution Extension to Java PathFinder. TACAS 2007: 134-138

Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu: Refining Interface Alphabets for Compositional Verification. TACAS 2007: 292-307

Corina S. Pasareanu, Radek Pelánek, Willem Visser: Predicate Abstraction with Under-approximation Refinement. CoRR abs/cs/0701140 (2007)

Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu: Assume-guarantee testing. ACM SIGSOFT Software Engineering Notes 31(2) (2006)

Willem Visser, Corina S. Pasareanu, Radek Pelánek: Test input generation for java containers using state matching. ISSTA 2006: 37-48

Saswat Anand, Corina S. Pasareanu, Willem Visser: Symbolic Execution with Abstract Subsumption Checking. SPIN 2006: 163-181

Corina S. Pasareanu, Dimitra Giannakopoulou: Towards a Compositional SPIN. SPIN 2006: 234-251

Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer: Component Verification with Automatically Generated Assumptions. Autom. Softw. Eng. 12(3): 297-320 (2005)

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)

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)

Corina S. Pasareanu, Radek Pelánek, Willem Visser: Concrete Model Checking with Abstract Matching and Refinement. CAV 2005: 52-66

Willem Visser, Corina S. Pasareanu, Radek Pelánek: Test input generation for red-black trees using abstraction. ASE 2005: 414-417

Dimitra Giannakopoulou, Corina S. Pasareanu: Learning-Based Assume-Guarantee Verification (Tool Paper). SPIN 2005: 282-287

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)

Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh: Assume-Guarantee Verification of Source Code with Design-Level Assumptions. ICSE 2004: 211-220

Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid: Test input generation with java PathFinder. ISSTA 2004: 97-107

Corina S. Pasareanu, Willem Visser: Verification of Java Programs Using Symbolic Execution and Invariant Generation. SPIN 2004: 164-181

Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser: Finding feasible abstract counter-examples. STTT 5(1): 34-48 (2003)

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

Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasareanu: Automated Environment Generation for Software Model Checking. ASE 2003: 116-129

Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu: Learning Assumptions for Compositional Verification. TACAS 2003: 331-346

Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser: Generalized Symbolic Execution for Model Checking and Testing. TACAS 2003: 553-568

John Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby: Foundations of the Bandera Abstraction Tools. The Essence of Computation 2002: 172-203

Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer: Assumption Generation for Software Component Verification. ASE 2002: 3-12

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

Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser: Finding Feasible Counter-examples when Model Checking Abstracted Java Programs. TACAS 2001: 284-298

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

Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth: Assume-Guarantee Model Checking of Software: A Comparative Case Study. SPIN 1999: 168-183

Matthew B. Dwyer, Corina S. Pasareanu: Model Checking Generic Container Implementations. Generic Programming 1998: 162-177

Matthew B. Dwyer, Corina S. Pasareanu: Filter-Based Model Checking of Partial Systems. SIGSOFT FSE 1998: 189-202