Corina S. Pasareanu

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2020
The Java Pathfinder Workshop 2019.
ACM SIGSOFT Software Engineering Notes, 2020

Parallelization Techniques for Verifying Neural Networks.
CoRR, 2020

Fast Geometric Projections for Local Robustness Certification.
CoRR, 2020

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

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

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

A synergistic approach to improving symbolic execution using test ranges.
ISSE, 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 Asp. 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, CCS 2017, Dallas, TX, USA, October 30, 2017

2016
Symbolic Arrays in Symbolic PathFinder.
ACM SIGSOFT Software Engineering 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 Software Engineering Notes, 2015

Concurrent Bounded Model Checking.
ACM SIGSOFT Software Engineering Notes, 2015

From Test Purposes to Formal JPF Properties.
ACM SIGSOFT Software Engineering 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 Software Engineering Notes, 2014

Predicate abstraction in Java Pathfinder.
ACM SIGSOFT Software Engineering 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 Software Engineering Notes, 2012

Testing android apps through symbolic execution.
ACM SIGSOFT Software Engineering Notes, 2012

Abstract pathfinder.
ACM SIGSOFT Software Engineering 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.
ISSE, 2010

Editorial: automated compositional verification.
IET Softw., 2010

Preface.
Electron. Notes Theor. Comput. Sci., 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

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 Software Engineering 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 SIGSOFT '98, 1998

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


  Loading...