Search results for "Corina S. Pasareanu"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
1	Misty Davies, Corina S. Pasareanu, Vishwanath Raman	Symbolic Execution Enhanced System Testing.	VSTTE	2012	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Manuela L. Bujorianu, Michael Fisher, Corina S. Pasareanu	Preface.	Ann. Math. Artif. Intell.	2011	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu	New results in software model checking and analysis.	STTT	2011	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry	Polyglot: modeling and analysis for multiple Statechart formalisms.	ISSTA	2011	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Neha Rungta, Willem Visser	Symbolic execution with mixed concrete-symbolic solving.	ISSTA	2011	DBLP DOI BibTeX RDF
1	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	ASE	2011	DBLP BibTeX RDF
1	Dimitra Giannakopoulou, Corina S. Pasareanu	Context Synthesis.	SFM	2011	DBLP DOI BibTeX RDF
1	Matheus Souza, Mateus Borges, Marcelo d'Amorim, Corina S. Pasareanu	CORAL: Solving Complex Constraints for Symbolic PathFinder.	NASA Formal Methods	2011	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Domenico Bianculli, Dimitra Giannakopoulou, Corina S. Pasareanu	Interface decomposition for service compositions.	ICSE	2011	DBLP DOI BibTeX RDF
1	Carlos Canal, Corina S. Pasareanu	Preface.	Sci. Comput. Program.	2010	DBLP DOI BibTeX RDF
1	Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu	Preface: Special Issue on Nasa Formal Methods Symposium 2009.	ISSE	2010	DBLP DOI BibTeX RDF
1	Carlos Canal, Corina S. Pasareanu	Preface.	Electr. Notes Theor. Comput. Sci.	2010	DBLP DOI BibTeX RDF
1	Dimitra Giannakopoulou, Corina S. Pasareanu	Editorial: automated compositional verification.	IET Software	2010	DBLP DOI BibTeX RDF
1	Matt Staats, Corina S. Pasareanu	Parallel symbolic execution for structural test generation.	ISSTA	2010	DBLP DOI BibTeX RDF	parallel, symbolic execution, java pathfinder
1	Corina S. Pasareanu, Neha Rungta	Symbolic PathFinder: symbolic execution of Java bytecode.	ASE	2010	DBLP DOI BibTeX RDF
1	Rishabh Singh, Dimitra Giannakopoulou, Corina S. Pasareanu	Learning Component Interfaces with May and Must Abstractions.	CAV	2010	DBLP DOI BibTeX RDF
1	Dimitra Giannakopoulou, Corina S. Pasareanu	Learning Techniques for Software Verification and Validation - Special Track at ISoLA 2010.	ISoLA	2010	DBLP DOI BibTeX RDF
1	Saswat Anand, Corina S. Pasareanu, Willem Visser	Symbolic execution with abstraction.	STTT	2009	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Willem Visser	A survey of new trends in symbolic execution for software testing and analysis.	STTT	2009	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu (eds.)	Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings	SPIN	2009	DBLP DOI BibTeX RDF
1	Dimitra Giannakopoulou, Corina S. Pasareanu	Interface Generation and Compositional Verification in JavaPathfinder.	FASE	2009	DBLP DOI BibTeX RDF
1	Dimitra Giannakopoulou, Corina S. Pasareanu, Colin Blundell	Assume-guarantee testing for software components.	IET Software	2008	DBLP DOI BibTeX RDF
1	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	2008	DBLP DOI BibTeX RDF	Model checking, Learning, Labeled transition systems, Compositional verification, Safety properties, Assume-guarantee reasoning, Proof rules
1	Dimitra Giannakopoulou, Corina S. Pasareanu	Special issue on learning techniques for compositional reasoning.	Formal Methods in System Design	2008	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	unit testing, symbolic execution, software model checking, system testing
1	Johann Schumann, Karen Gundy-Burlet, Corina S. Pasareanu, Tim Menzies, Tony Barrett	Tool Support for Parametric Analysis of Large Software Simulation Systems.	ASE	2008	DBLP DOI BibTeX RDF
1	Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu	Assume-Guarantee Verification for Interface Automata.	FM	2008	DBLP DOI BibTeX RDF
1	Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou	Automated Assume-Guarantee Reasoning by Abstraction Refinement.	CAV	2008	DBLP DOI BibTeX RDF
1	Suzette Person, Matthew B. Dwyer, Sebastian G. Elbaum, Corina S. Pasareanu	Differential symbolic execution.	SIGSOFT FSE	2008	DBLP DOI BibTeX RDF	program differencing, software evolution, symbolic execution
1	Corina S. Pasareanu, Radek Pelánek, Willem Visser	Predicate Abstraction with Under-Approximation Refinement.	Logical Methods in Computer Science	2007	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Radek Pelánek, Willem Visser	Predicate Abstraction with Under-approximation Refinement	CoRR	2007	DBLP BibTeX RDF
1	Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu	Refining Interface Alphabets for Compositional Verification.	TACAS	2007	DBLP DOI BibTeX RDF
1	Saswat Anand, Corina S. Pasareanu, Willem Visser	JPF-SE: A Symbolic Execution Extension to Java PathFinder.	TACAS	2007	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Willem Visser	Symbolic Execution and Model Checking for Testing.	Haifa Verification Conference	2007	DBLP DOI BibTeX RDF
1	Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser	Formal Software Analysis Emerging Trends in Software Model Checking.	FOSE	2007	DBLP DOI BibTeX RDF
1	Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu	Assume-guarantee testing.	ACM SIGSOFT Software Engineering Notes	2006	DBLP DOI BibTeX RDF	verification, testing, assume-guarantee reasoning, predictive analysis
1	Willem Visser, Corina S. Pasareanu, Radek Pelánek	Test input generation for java containers using state matching.	ISSTA	2006	DBLP DOI BibTeX RDF
1	Saswat Anand, Corina S. Pasareanu, Willem Visser	Symbolic Execution with Abstract Subsumption Checking.	SPIN	2006	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Dimitra Giannakopoulou	Towards a Compositional SPIN.	SPIN	2006	DBLP DOI BibTeX RDF	model checking, learning, Assume-guarantee reasoning
1	Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer	Component Verification with Automatically Generated Assumptions.	Autom. Softw. Eng.	2005	DBLP DOI BibTeX RDF	component verification, model checking, assume-guarantee reasoning
1	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.	2005	DBLP DOI BibTeX RDF
1	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	2005	DBLP DOI BibTeX RDF	program model checking, time partitioning, verification, spin, predicate abstraction
1	Willem Visser, Corina S. Pasareanu, Radek Pelánek	Test input generation for red-black trees using abstraction.	ASE	2005	DBLP DOI BibTeX RDF	testing object oriented programs, model checking, abstraction, coverage, red-black trees
1	Dimitra Giannakopoulou, Corina S. Pasareanu	Learning-Based Assume-Guarantee Verification (Tool Paper).	SPIN	2005	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Radek Pelánek, Willem Visser	Concrete Model Checking with Abstract Matching and Refinement.	CAV	2005	DBLP DOI BibTeX RDF
1	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	2004	DBLP DOI BibTeX RDF	mars flight software, model checking, testing, static analysis, runtime analysis
1	Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid	Test input generation with java PathFinder.	ISSTA	2004	DBLP DOI BibTeX RDF	testing object-oriented programs, model checking, coverage, symbolic execution, red-black trees
1	Corina S. Pasareanu, Willem Visser	Verification of Java Programs Using Symbolic Execution and Invariant Generation.	SPIN	2004	DBLP DOI BibTeX RDF
1	Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh	Assume-Guarantee Verification of Source Code with Design-Level Assumptions.	ICSE	2004	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser	Finding feasible abstract counter-examples.	STTT	2003	DBLP DOI BibTeX RDF	Counter-example analysis, Model checking, Abstract interpretation, Software verification
1	Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu	Learning Assumptions for Compositional Verification.	TACAS	2003	DBLP DOI BibTeX RDF
1	Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser	Generalized Symbolic Execution for Model Checking and Testing.	TACAS	2003	DBLP DOI BibTeX RDF
1	Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasareanu	Automated Environment Generation for Software Model Checking.	ASE	2003	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer	Assumption Generation for Software Component Verification.	ASE	2002	DBLP DOI BibTeX RDF
1	John Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby	Foundations of the Bandera Abstraction Tools.	The Essence of Computation	2002	DBLP DOI BibTeX RDF
1	Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser	Finding Feasible Counter-examples when Model Checking Abstracted Java Programs.	TACAS	2001	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF	Java, model checking, abstract interpretation, program verification, slicing, program specialization, model extraction
1	Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth	Assume-Guarantee Model Checking of Software: A Comparative Case Study.	SPIN	1999	DBLP DOI BibTeX RDF
1	Matthew B. Dwyer, Corina S. Pasareanu	Model Checking Generic Container Implementations.	Generic Programming	1998	DBLP DOI BibTeX RDF	generic containers, Model checking, temporal logic, assume-guarantee reasoning
1	Matthew B. Dwyer, Corina S. Pasareanu	Filter-Based Model Checking of Partial Systems.	SIGSOFT FSE	1998	DBLP DOI BibTeX RDF	filter-based analysis, model checking, assume-guarantee reasoning, software verification and validation

Publications of "Corina S. Pasareanu" ( http://dblp.L3S.de/Authors/Corina_S._Pasareanu )