Corina S. Pasareanu

Orcid: 0000-0002-5579-6961

Affiliations:
  • Carnegie Mellon University, Pittsburgh, USA
  • NASA Ames Research Center, Mountain View, CA, USA


According to our database1, Corina S. Pasareanu authored at least 193 papers between 1998 and 2024.

Collaborative distances:

Awards

ACM Fellow

ACM Fellow 2023, "For contributions to the development and application of symbolic execution and compositional verification".

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing.
IEEE Softw., 2024

Inferring Properties of Graph Neural Networks.
CoRR, 2024

2023
An overview of structural coverage metrics for testing neural networks.
Int. J. Softw. Tools Technol. Transf., June, 2023

Introduction to the Special Section on FM 2021.
Formal Aspects Comput., June, 2023

The Java Pathfinder Workshop 2022.
ACM SIGSOFT Softw. Eng. Notes, January, 2023

Transfer Attacks and Defenses for Large Language Models on Coding Tasks.
CoRR, 2023

Is Certifying 𝓁<sub>p</sub> Robustness Still Worthwhile?
CoRR, 2023

Assumption Generation for the Verification of Learning-Enabled Autonomous Systems.
CoRR, 2023

SECOMlint: A linter for Security Commit Messages.
CoRR, 2023

Rule-Based Testing of Neural Networks.
Proceedings of the 1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components, 2023

Assumption Generation for Learning-Enabled Autonomous Systems.
Proceedings of the Runtime Verification - 23rd International Conference, 2023

On the Perils of Cascading Robust Classifiers.
Proceedings of the Eleventh International Conference on Learning Representations, 2023

Feature-Guided Analysis of Neural Networks.
Proceedings of the Fundamental Approaches to Software Engineering, 2023

Are security commit messages informative? Not enough!
Proceedings of the 27th International Conference on Evaluation and Assessment in Software Engineering, 2023

Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study.
Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Tenet: A Flexible Framework for Machine-Learning-based Vulnerability Detection.
Proceedings of the 2nd IEEE/ACM International Conference on AI Engineering, 2023

2022
Preface for the formal methods in system design special issue on 'Formal Methods 2021'.
Formal Methods Syst. Des., August, 2022

Degradation Attacks on Certifiably Robust Neural Networks.
Trans. Mach. Learn. Res., 2022

IEEE International Conference on Software Testing, Verification and Validation (ICST 2020).
Softw. Test. Verification Reliab., 2022

Assume, guarantee or repair: a regular framework for non regular properties.
Int. J. Softw. Tools Technol. Transf., 2022

SkipFuzz: Active Learning-based Input Selection for Fuzzing Deep Learning Libraries.
CoRR, 2022

Assume, Guarantee or Repair - A Regular Framework for Non Regular Properties (full version).
CoRR, 2022

Toward Certified Robustness Against Real-World Distribution Shifts.
CoRR, 2022

Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components.
CoRR, 2022

AntidoteRT: Run-time Detection and Correction of Poison Attacks on Neural Networks.
CoRR, 2022

Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks.
Proceedings of the Runtime Verification - 22nd International Conference, 2022

SECOM: Towards a convention for security commit messages.
Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022

Test mimicry to assess the exploitability of library vulnerabilities.
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

VPN: Verification of Poisoning in Neural Networks.
Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

A Cascade of Checkers for Run-time Certification of Local Robustness.
Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

Self-correcting Neural Networks for Safe Classification.
Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

2021
QuantifyML: How Good is my Machine Learning Model?
Proceedings of the Proceedings Third Workshop on Formal Methods for Autonomous Systems, 2021

Self-Repairing Neural Networks: Provable Safety for Deep Networks via Dynamic Repair.
CoRR, 2021

On using distributed representations of source code for the detection of C security vulnerabilities.
CoRR, 2021

Case Study: Analysis of Autonomous Center Line Tracking Neural Networks.
Proceedings of the Software Verification - 13th International Conference, 2021

Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs.
Proceedings of the Tests and Proofs - 15th International Conference, 2021

DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers.
Proceedings of the Computer Safety, Reliability, and Security, 2021

SyRust: automatic testing of Rust libraries with semantic-aware program synthesis.
Proceedings of the PLDI '21: 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021

Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods.
Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks.
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Fast Geometric Projections for Local Robustness Certification.
Proceedings of the 9th International Conference on Learning Representations, 2021

Learning Assumptions for Verifying Cryptographic Protocols Compositionally.
Proceedings of the Formal Aspects of Component Software - 17th International Conference, 2021

NNrepair: Constraint-Based Repair of Neural Network Classifiers.
Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security
Synthesis Lectures on Software Engineering, Morgan & Claypool Publishers, ISBN: 978-3-031-02551-8, 2020

Complexity vulnerability analysis using symbolic execution.
Softw. Test. Verification Reliab., 2020

The Java Pathfinder Workshop 2019.
ACM SIGSOFT Softw. Eng. Notes, 2020

Assume, Guarantee or Repair.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

SafeDNN: understanding and verifying neural networks (keynote).
Proceedings of the A-TEST 2020: Proceedings of the 11th ACM SIGSOFT International Workshop on Automating TEST Case Design, 2020

DifFuzz: Differential Fuzzing for Side-Channel Analysis.
Proceedings of the Software Engineering 2020, 2020

Probabilistic Symbolic Analysis of Neural Networks.
Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

On the probabilistic analysis of neural networks.
Proceedings of the SEAMS '20: IEEE/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Seoul, Republic of Korea, 29 June, 2020

HyDiff: hybrid differential software analysis.
Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Automating Compositional Analysis of Authentication Protocols.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Parallelization Techniques for Verifying Neural Networks.
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors.
Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

2019
Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis.
ACM SIGSOFT Softw. Eng. Notes, 2019

A synergistic approach to improving symbolic execution using test ranges.
Innov. Syst. Softw. Eng., 2019

A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors.
CoRR, 2019

Finding Invariants in Deep Neural Networks.
CoRR, 2019

Chapter Six - Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing, and Security Analysis.
Adv. Comput., 2019

Symbolic Pathfinder for SV-COMP - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Badger: Complexity Analysis with Fuzzing and Symbolic Execution.
Proceedings of the Software Engineering and Software Management, 2019

Property Inference for Deep Neural Networks.
Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks.
Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

On reliability of patch correctness assessment.
Proceedings of the 41st International Conference on Software Engineering, 2019

Symbolic execution for attribution and attack synthesis in neural networks.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018
Compositional Reasoning.
Proceedings of the Handbook of Model Checking., 2018

Symbolic Side-Channel Analysis for Probabilistic Programs.
IACR Cryptol. ePrint Arch., 2018

Automated circular assume-guarantee reasoning.
Formal Aspects Comput., 2018

Compositional Verification for Autonomous Systems with Deep Learning Components.
CoRR, 2018

Symbolic Execution for Deep Neural Networks.
CoRR, 2018

Monte Carlo Tree Search for Finding Costly Paths in Programs.
Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

Using Test Ranges to Improve Symbolic Execution.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Analysing the effect of uncertainty in airport surface operations.
Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Test input generation with Java PathFinder: then and now (invited talk abstract).
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Symbolic path cost analysis for side-channel detection.
Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Automated program repair with canonical constraints.
Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks.
Proceedings of the Automated Technology for Verification and Analysis, 2018

2017
Guest Editorial.
IET Cyper-Phys. Syst.: Theory & Appl., 2017

Synthesis of Adaptive Side-Channel Attacks.
IACR Cryptol. ePrint Arch., 2017

Model-counting Approaches For Nonlinear Numerical Constraints.
IACR Cryptol. ePrint Arch., 2017

DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks.
CoRR, 2017

Probabilistic programming for Java using symbolic execution and model counting.
Proceedings of the South African Institute of Computer Scientists and Information Technologists, 2017

Symbolic execution and probabilistic reasoning.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Symbolic Complexity Analysis Using Context-Preserving Histories.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

A synergistic approach for distributed symbolic execution using test ranges.
Proceedings of the 39th International Conference on Software Engineering, 2017

POSTER: AFL-based Fuzzing for Java with Kelinci.
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016
Symbolic Arrays in Symbolic PathFinder.
ACM SIGSOFT Softw. Eng. Notes, 2016

String analysis for side channels with segmented oracles.
Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Towards MC/DC Coverage of Properties Specification Patterns.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

Log2model: inferring behavioral models from log data.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT.
Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement.
Proceedings of the Computer Aided Verification - 28th International Conference, 2016

Certified Symbolic Execution.
Proceedings of the Automated Technology for Verification and Analysis, 2016

Planning, Scheduling and Monitoring for Airport Surface Operations.
Proceedings of the Planning for Hybrid Systems, 2016

2015
Symbolic Execution for Checking the Accuracy of Floating-Point Programs.
ACM SIGSOFT Softw. Eng. Notes, 2015

Concurrent Bounded Model Checking.
ACM SIGSOFT Softw. Eng. Notes, 2015

From Test Purposes to Formal JPF Properties.
ACM SIGSOFT Softw. Eng. Notes, 2015

Symbolic execution and timed automata model checking for timing analysis of Java real-time systems.
EURASIP J. Embed. Syst., 2015

Guest editorial: special multi-issue on selected topics in automated software engineering.
Autom. Softw. Eng., 2015

Model Counting for Complex Data Structures.
Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Iterative distribution-aware sampling for probabilistic symbolic execution.
Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Statistical Symbolic Execution with Informed Sampling.
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015

Quantification of Software Changes through Probabilistic Symbolic Execution (N).
Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Compositional Symbolic Execution with Memoized Replay.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Probabilistic Program Analysis.
Proceedings of the Grand Timely Topics in Software Engineering, 2015

2014
Rigorous examination of reactive systems - The RERS challenges 2012 and 2013.
Int. J. Softw. Tools Technol. Transf., 2014

Symbolic PathFinder v7.
ACM SIGSOFT Softw. Eng. Notes, 2014

Predicate abstraction in Java Pathfinder.
ACM SIGSOFT Softw. Eng. Notes, 2014

Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12).
Sci. Comput. Program., 2014

Quantifying information leaks using reliability analysis.
Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

Reliability Analysis in Symbolic Pathfinder: A brief summary.
Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Compositional solution space quantification for probabilistic software analysis.
Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Exact and approximate probabilistic symbolic execution for nondeterministic programs.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

On the probabilistic analysis of software (invited talk abstract).
Proceedings of the 2014 Joint International Workshop on Dynamic Analysis (WODA) and Software and System Performance Testing, 2014

Assume-Guarantee Abstraction Refinement Meets Hybrid Systems.
Proceedings of the Hardware and Software: Verification and Testing, 2014

2013
Symbolic Execution and Software Testing.
Proceedings of the Engineering Dependable Software Systems, 2013

Abstraction and Learning for Infinite-State Compositional Verification.
Proceedings of the Semantics, 2013

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis.
Autom. Softw. Eng., 2013

Polyglot: Systematic Analysis for Multiple Statechart Formalisms.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Memoise: a tool for memoized symbolic execution.
Proceedings of the 35th International Conference on Software Engineering, 2013

Reliability analysis in symbolic pathfinder.
Proceedings of the 35th International Conference on Software Engineering, 2013

2012
Symbolic quantitative information flow.
ACM SIGSOFT Softw. Eng. Notes, 2012

Testing android apps through symbolic execution.
ACM SIGSOFT Softw. Eng. Notes, 2012

Abstract pathfinder.
ACM SIGSOFT Softw. Eng. Notes, 2012

Symbolic Execution Enhanced System Testing.
Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Combining Model Checking and Symbolic Execution for Software Testing.
Proceedings of the Tests and Proofs - 6th International Conference, 2012

Integrating Statechart Components in Polyglot.
Proceedings of the NASA Formal Methods, 2012

Learning Probabilistic Systems from Tree Samples.
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

Memoized symbolic execution.
Proceedings of the International Symposium on Software Testing and Analysis, 2012

Learning Techniques for Software Verification and Validation.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2012

Statechart Analysis with Symbolic PathFinder.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Symbolic Execution with Interval Solving and Meta-heuristic Search.
Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Assume-Guarantee Abstraction Refinement for Probabilistic Systems.
Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011
New results in software model checking and analysis.
Int. J. Softw. Tools Technol. Transf., 2011

Preface.
Ann. Math. Artif. Intell., 2011

Context Synthesis.
Proceedings of the Formal Methods for Eternal Networked Software Systems, 2011

Rapid property specification and checking for model-based formalisms.
Proceedings of the 22nd IEEE International Symposium on Rapid System Prototyping, 2011

CORAL: Solving Complex Constraints for Symbolic PathFinder.
Proceedings of the NASA Formal Methods, 2011

Symbolic execution with mixed concrete-symbolic solving.
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Polyglot: modeling and analysis for multiple Statechart formalisms.
Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Symbolic execution for software testing in practice: preliminary assessment.
Proceedings of the 33rd International Conference on Software Engineering, 2011

Interface decomposition for service compositions.
Proceedings of the 33rd International Conference on Software Engineering, 2011

2010
Preface: Special Issue on Nasa Formal Methods Symposium 2009.
Innov. Syst. Softw. Eng., 2010

Editorial: automated compositional verification.
IET Softw., 2010

Symbolic PathFinder: symbolic execution of Java bytecode.
Proceedings of the ASE 2010, 2010

Parallel symbolic execution for structural test generation.
Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

Learning Techniques for Software Verification and Validation - Special Track at ISoLA 2010.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Learning Component Interfaces with May and Must Abstractions.
Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009
A survey of new trends in symbolic execution for software testing and analysis.
Int. J. Softw. Tools Technol. Transf., 2009

Symbolic execution with abstraction.
Int. J. Softw. Tools Technol. Transf., 2009

Interface Generation and Compositional Verification in JavaPathfinder.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008
Assume-guarantee testing for software components.
IET Softw., 2008

Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning.
Formal Methods Syst. Des., 2008

Special issue on learning techniques for compositional reasoning.
Formal Methods Syst. Des., 2008

Preface.
Proceedings of the 5th International Workshop on Formal Aspects of Component Software, 2008

Differential symbolic execution.
Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Tool Support for Parametric Analysis of Large Software Simulation Systems.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008

Combining unit-level symbolic execution and system-level concrete execution for testing NASA software.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Assume-Guarantee Verification for Interface Automata.
Proceedings of the FM 2008: Formal Methods, 2008

Automated Assume-Guarantee Reasoning by Abstraction Refinement.
Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007
Predicate Abstraction with Under-Approximation Refinement.
Log. Methods Comput. Sci., 2007

Refining Interface Alphabets for Compositional Verification.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

JPF-SE: A Symbolic Execution Extension to Java PathFinder.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Formal Software Analysis Emerging Trends in Software Model Checking.
Proceedings of the International Conference on Software Engineering, 2007

Symbolic Execution and Model Checking for Testing.
Proceedings of the Hardware and Software: Verification and Testing, 2007

2006
Assume-guarantee testing.
ACM SIGSOFT Softw. Eng. Notes, 2006

Towards a Compositional SPIN.
Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Symbolic Execution with Abstract Subsumption Checking.
Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

Test input generation for java containers using state matching.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

2005
Combining test case generation and runtime verification.
Theor. Comput. Sci., 2005

Verifying Time Partitioning in the DEOS Scheduling Kernel.
Formal Methods Syst. Des., 2005

Component Verification with Automatically Generated Assumptions.
Autom. Softw. Eng., 2005

Learning-Based Assume-Guarantee Verification (Tool Paper).
Proceedings of the Model Checking Software, 2005

Test input generation for red-black trees using abstraction.
Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Concrete Model Checking with Abstract Matching and Refinement.
Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software.
Formal Methods Syst. Des., 2004

Verification of Java Programs Using Symbolic Execution and Invariant Generation.
Proceedings of the Model Checking Software, 2004

Test input generation with java PathFinder.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

Assume-Guarantee Verification of Source Code with Design-Level Assumptions.
Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003
Finding feasible abstract counter-examples.
Int. J. Softw. Tools Technol. Transf., 2003

Generalized Symbolic Execution for Model Checking and Testing.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Learning Assumptions for Compositional Verification.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Automated Environment Generation for Software Model Checking.
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

Experiments with Test Case Generation and Runtime Analysis.
Proceedings of the Abstract State Machines, 2003

2002
Assumption Generation for Software Component Verification.
Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

Foundations of the Bandera Abstraction Tools.
Proceedings of the Essence of Computation, Complexity, Analysis, 2002

2001
Finding Feasible Counter-examples when Model Checking Abstracted Java Programs.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Tool-Supported Program Abstraction for Finite-State Verification.
Proceedings of the 23rd International Conference on Software Engineering, 2001

2000
Bandera: extracting finite-state models from Java source code.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999
Assume-Guarantee Model Checking of Software: A Comparative Case Study.
Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

1998
Filter-Based Model Checking of Partial Systems.
Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998

Model Checking Generic Container Implementations.
Proceedings of the Generic Programming, 1998


  Loading...