Corina S. Pasareanu

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

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components.

Radu Calinescu, Calum Imrie, Ravi Mangal, Genaína Nunes Rodrigues, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez

IEEE Trans. Software Eng., June, 2024

JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking.

Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu, Yannic Noller

Formal Aspects Comput., March, 2024

Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing.

Ismet Burak Kadron, Yannic Noller, Rohan Padhye, Tevfik Bultan, Corina S. Pasareanu, Koushik Sen

IEEE Softw., 2024

Crabtree: Rust API Test Synthesis Guided by Coverage and Type.

Yoshiki Takashima, Chanhee Cho, Ruben Martins, Limin Jia, Corina S. Pasareanu

Proc. ACM Program. Lang., 2024

Mechanistically Interpreting a Transformer-based 2-SAT Solver: An Axiomatic Approach.

Nils Palumbo, Ravi Mangal, Zifan Wang, Saranya Vijayakumar, Corina S. Pasareanu, Somesh Jha

CoRR, 2024

Evaluating Deep Neural Networks in Deployment (A Comparative and Replicability Study).

Eduard Pinconschi, Divya Gopinath, Rui Abreu, Corina S. Pasareanu

CoRR, 2024

Inferring Properties of Graph Neural Networks.

Dat Nguyen, Hieu M. Vu, Cong-Thanh Le, Bach Le, David Lo, Corina S. Pasareanu

CoRR, 2024

Concept-Based Analysis of Neural Networks via Vision-Language Models.

Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu

Proceedings of the AI Verification - First International Symposium, 2024

Attacks and Defenses for Large Language Models on Coding Tasks.

Chi Zhang, Zifan Wang, Ruoshi Zhao, Ravi Mangal, Matt Fredrikson, Limin Jia, Corina S. Pasareanu

Proceedings of the 39th IEEE/ACM International Conference on Automated Software Engineering, 2024

Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study).

Eduard Pinconschi, Divya Gopinath, Rui Abreu, Corina S. Pasareanu

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

Does Going Beyond Branch Coverage Make Program Repair Tools More Reliable?

Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu, Xuan-Bach Dinh Le, David R. Cok

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2024

ProInspector: Uncovering Logical Bugs in Protocol Implementations.

Zichao Zhang, Limin Jia, Corina S. Pasareanu

Proceedings of the 9th IEEE European Symposium on Security and Privacy, 2024

Formal Verification Techniques for Vision-Based Autonomous Systems - A Survey.

Sayan Mitra, Corina S. Pasareanu, Pavithra Prabhakar, Sanjit A. Seshia, Ravi Mangal, Yangge Li, Christopher Watson, Divya Gopinath, Huafeng Yu

Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023

An overview of structural coverage metrics for testing neural networks.

Muhammad Usman, Youcheng Sun, Divya Gopinath, Rishi Dange, Luca Manolache, Corina S. Pasareanu

Int. J. Softw. Tools Technol. Transf., June, 2023

Introduction to the Special Section on FM 2021.

Marieke Huisman, Corina S. Pasareanu, Naijun Zhan

Formal Aspects Comput., June, 2023

The Java Pathfinder Workshop 2022.

Elena Sherman, Yannic Noller, Cyrille Artho, Franck van Breugel, Anto Nanah Ji, John Kellerman, Parssa Khazra, Filip Kliber, Gaurang Kudale, Pavel Parízek, Corina S. Pasareanu, Ron Pressler, Matt Walker, Hongru Wang, Qiuchen Yan

ACM SIGSOFT Softw. Eng. Notes, January, 2023

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

Chi Zhang, Zifan Wang, Ravi Mangal, Matt Fredrikson, Limin Jia, Corina S. Pasareanu

CoRR, 2023

Is Certifying 𝓁_p Robustness Still Worthwhile?

Ravi Mangal, Klas Leino, Zifan Wang, Kai Hu, Weicheng Yu, Corina S. Pasareanu, Anupam Datta, Matt Fredrikson

CoRR, 2023

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

Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu

CoRR, 2023

SECOMlint: A linter for Security Commit Messages.

Sofia Reis, Corina S. Pasareanu, Rui Abreu, Hakan Erdogmus

CoRR, 2023

Rule-Based Testing of Neural Networks.

Muhammad Usman, Youcheng Sun, Divya Gopinath, Corina S. Pasareanu

Proceedings of the 1st International Workshop on Dependability and Trustworthiness of Safety-Critical Systems with Machine Learned Components, 2023

Toward Certified Robustness Against Real-World Distribution Shifts.

Haoze Wu, Teruhiro Tagomori, Alexander Robey, Fengjun Yang, Nikolai Matni, George J. Pappas, Hamed Hassani, Corina S. Pasareanu, Clark W. Barrett

Proceedings of the 2023 IEEE Conference on Secure and Trustworthy Machine Learning, 2023

Assumption Generation for Learning-Enabled Autonomous Systems.

Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu

Proceedings of the Runtime Verification - 23rd International Conference, 2023

On the Perils of Cascading Robust Classifiers.

Ravi Mangal, Zifan Wang, Chi Zhang, Klas Leino, Corina S. Pasareanu, Matt Fredrikson

Proceedings of the Eleventh International Conference on Learning Representations, 2023

Feature-Guided Analysis of Neural Networks.

Divya Gopinath, Luca Lungeanu, Ravi Mangal, Corina S. Pasareanu, Siqi Xie, Huafeng Yu

Proceedings of the Fundamental Approaches to Software Engineering, 2023

Are security commit messages informative? Not enough!

Sofia Reis, Rui Abreu, Corina S. Pasareanu

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.

Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Tenet: A Flexible Framework for Machine-Learning-based Vulnerability Detection.

Eduard Pinconschi, Sofia Reis, Chi Zhang, Rui Abreu, Hakan Erdogmus, Corina S. Pasareanu, Limin Jia

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'.

Marieke Huisman, Corina S. Pasareanu, Naijun Zhan

Formal Methods Syst. Des., August, 2022

Degradation Attacks on Certifiably Robust Neural Networks.

Klas Leino, Chi Zhang, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu

Trans. Mach. Learn. Res., 2022

IEEE International Conference on Software Testing, Verification and Validation (ICST 2020).

Corina S. Pasareanu, Andreas Zeller

Softw. Test. Verification Reliab., 2022

Assume, guarantee or repair: a regular framework for non regular properties.

Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald

Int. J. Softw. Tools Technol. Transf., 2022

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

Hong Jin Kang, Pattarakrit Rattanukul, Stefanus Agus Haryono, Truong Giang Nguyen, Chaiyong Ragkhitwetsagul, Corina S. Pasareanu, David Lo

CoRR, 2022

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

Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald

CoRR, 2022

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

Radu Calinescu, Calum Imrie, Ravi Mangal, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez

CoRR, 2022

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

Muhammad Usman, Youcheng Sun, Divya Gopinath, Corina S. Pasareanu

CoRR, 2022

Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks.

Muhammad Usman, Divya Gopinath, Youcheng Sun, Corina S. Pasareanu

Proceedings of the Runtime Verification - 22nd International Conference, 2022

SECOM: Towards a convention for security commit messages.

Sofia Reis, Rui Abreu, Hakan Erdogmus, Corina S. Pasareanu

Proceedings of the 19th IEEE/ACM International Conference on Mining Software Repositories, 2022

Test mimicry to assess the exploitability of library vulnerabilities.

Hong Jin Kang, Truong Giang Nguyen, Bach Le, Corina S. Pasareanu, David Lo

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.

Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Pasareanu

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.

Ravi Mangal, Corina S. Pasareanu

Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

Self-correcting Neural Networks for Safe Classification.

Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu

Proceedings of the Software Verification and Formal Methods for ML-Enabled Autonomous Systems, 2022

2021

QuantifyML: How Good is my Machine Learning Model?

Muhammad Usman, Divya Gopinath, Corina S. Pasareanu

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.

Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu

CoRR, 2021

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

David Coimbra, Sofia Reis, Rui Abreu, Corina S. Pasareanu, Hakan Erdogmus

CoRR, 2021

Case Study: Analysis of Autonomous Center Line Tracking Neural Networks.

Ismet Burak Kadron, Divya Gopinath, Corina S. Pasareanu, Huafeng Yu

Proceedings of the Software Verification - 13th International Conference, 2021

Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs.

Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu

Proceedings of the Tests and Proofs - 15th International Conference, 2021

DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers.

Colin Paterson, Haoze Wu, John Grese, Radu Calinescu, Corina S. Pasareanu, Clark W. Barrett

Proceedings of the Computer Safety, Reliability, and Security, 2021

SyRust: automatic testing of Rust libraries with semantic-aware program synthesis.

Yoshiki Takashima, Ruben Martins, Limin Jia, Corina S. Pasareanu

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.

Amirfarhad Nilizadeh, Gary T. Leavens, Xuan-Bach Dinh Le, Corina S. Pasareanu, David R. Cok

Proceedings of the 14th IEEE Conference on Software Testing, Verification and Validation, 2021

NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks.

Muhammad Usman, Yannic Noller, Corina S. Pasareanu, Youcheng Sun, Divya Gopinath

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

Fast Geometric Projections for Local Robustness Certification.

Aymeric Fromherz, Klas Leino, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu

Proceedings of the 9th International Conference on Learning Representations, 2021

Learning Assumptions for Verifying Cryptographic Protocols Compositionally.

Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia, Corina S. Pasareanu

Proceedings of the Formal Aspects of Component Software - 17th International Conference, 2021

NNrepair: Constraint-Based Repair of Neural Network Classifiers.

Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina S. Pasareanu

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

2020

Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security

Corina S. Pasareanu

Synthesis Lectures on Software Engineering, Morgan & Claypool Publishers, ISBN: 978-3-031-02551-8, 2020

Complexity vulnerability analysis using symbolic execution.

Kasper Søe Luckow, Rody Kersten, Corina S. Pasareanu

Softw. Test. Verification Reliab., 2020

The Java Pathfinder Workshop 2019.

Cyrille Artho, Quoc-Sang Phan, Peter Aldous, Alyas Almaawi, Lucas Bang, Lasse Berglund, Tevfik Bultan, Zhenbang Chen, Hayes Converse, Wei Dong, William Eiers, Milos Gligoric, Simon Goldsmith, Lars Grunske, Joshua Hooker, Ismet Burak Kadron, Timo Kehrer, Sarfraz Khurshid, Xuan-Bach Dinh Le, David Lo, Eric Mercer, Sasa Misailovic, Egor Namakonov, Hoang Lam Nguyen, Yannic Noller, Benjamin Ogles, Rohan Padhye, Pavel Parízek, Corina S. Pasareanu, Sheridan Jacob Powell, Seemanta Saha, Koushik Sen, Elena Sherman, Kyle Storey, Minxing Tang, Willem Visser, Ji Wang, Hengbiao Yu

ACM SIGSOFT Softw. Eng. Notes, 2020

Assume, Guarantee or Repair.

Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

SafeDNN: understanding and verifying neural networks (keynote).

Corina S. Pasareanu

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.

Shirin Nilizadeh, Yannic Noller, Corina S. Pasareanu

Proceedings of the Software Engineering 2020, 2020

Probabilistic Symbolic Analysis of Neural Networks.

Hayes Converse, Antonio Filieri, Divya Gopinath, Corina S. Pasareanu

Proceedings of the 31st IEEE International Symposium on Software Reliability Engineering, 2020

On the probabilistic analysis of neural networks.

Corina S. Pasareanu, Hayes Converse, Antonio Filieri, Divya Gopinath

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.

Yannic Noller, Corina S. Pasareanu, Marcel Böhme, Youcheng Sun, Hoang Lam Nguyen, Lars Grunske

Proceedings of the ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June, 2020

Automating Compositional Analysis of Authentication Protocols.

Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia, Corina S. Pasareanu

Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020

Parallelization Techniques for Verifying Neural Networks.

Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Kyle Julian, Ahmed Irfan, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett

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.

Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia

Proceedings of the 2020 IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2020

2019

Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis.

Xuan-Bach Dinh Le, Corina S. Pasareanu, Rohan Padhye, David Lo, Willem Visser, Koushik Sen

ACM SIGSOFT Softw. Eng. Notes, 2019

A synergistic approach to improving symbolic execution using test ranges.

Guowei Yang, Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen

Innov. Syst. Softw. Eng., 2019

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

Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia

CoRR, 2019

Finding Invariants in Deep Neural Networks.

Divya Gopinath, Ankur Taly, Hayes Converse, Corina S. Pasareanu

CoRR, 2019

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

Corina S. Pasareanu, Rody Kersten, Kasper Søe Luckow, Quoc-Sang Phan

Adv. Comput., 2019

Symbolic Pathfinder for SV-COMP - (Competition Contribution).

Yannic Noller, Corina S. Pasareanu, Aymeric Fromherz, Xuan-Bach Dinh Le, Willem Visser

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Badger: Complexity Analysis with Fuzzing and Symbolic Execution.

Yannic Noller, Rody Kersten, Corina S. Pasareanu

Proceedings of the Software Engineering and Software Management, 2019

Property Inference for Deep Neural Networks.

Divya Gopinath, Hayes Converse, Corina S. Pasareanu, Ankur Taly

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering, 2019

Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks.

Divya Gopinath, Mengshi Zhang, Kaiyuan Wang, Ismet Burak Kadron, Corina S. Pasareanu, Sarfraz Khurshid

Proceedings of the 30th IEEE International Symposium on Software Reliability Engineering, 2019

On reliability of patch correctness assessment.

Xuan-Bach Dinh Le, Lingfeng Bao, David Lo, Xin Xia, Shanping Li, Corina S. Pasareanu

Proceedings of the 41st International Conference on Software Engineering, 2019

Symbolic execution for attribution and attack synthesis in neural networks.

Divya Gopinath, Corina S. Pasareanu, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid

Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019

2018

Compositional Reasoning.

Dimitra Giannakopoulou, Kedar S. Namjoshi, Corina S. Pasareanu

Proceedings of the Handbook of Model Checking., 2018

Symbolic Side-Channel Analysis for Probabilistic Programs.

Pasquale Malacaria, M. H. R. Khouzani, Corina S. Pasareanu, Quoc-Sang Phan, Kasper Søe Luckow

IACR Cryptol. ePrint Arch., 2018

Automated circular assume-guarantee reasoning.

Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham

Formal Aspects Comput., 2018

Compositional Verification for Autonomous Systems with Deep Learning Components.

Corina S. Pasareanu, Divya Gopinath, Huafeng Yu

CoRR, 2018

Symbolic Execution for Deep Neural Networks.

Divya Gopinath, Kaiyuan Wang, Mengshi Zhang, Corina S. Pasareanu, Sarfraz Khurshid

CoRR, 2018

Monte Carlo Tree Search for Finding Costly Paths in Programs.

Kasper Søe Luckow, Corina S. Pasareanu, Willem Visser

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

Using Test Ranges to Improve Symbolic Execution.

Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen, Guowei Yang

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

Analysing the effect of uncertainty in airport surface operations.

Heron Yang, Robert Morris, Corina S. Pasareanu

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Test input generation with Java PathFinder: then and now (invited talk abstract).

Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Symbolic path cost analysis for side-channel detection.

Tegan Brennan, Seemanta Saha, Tevfik Bultan, Corina S. Pasareanu

Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2018

Automated program repair with canonical constraints.

Andrew Hill, Corina S. Pasareanu, Kathryn T. Stolee

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks.

Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett

Proceedings of the Automated Technology for Verification and Analysis, 2018

2017

Guest Editorial.

Huafeng Yu, Stanley Bak, Xin Li, Corina S. Pasareanu, Ramesh S., Qi Zhu

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

Synthesis of Adaptive Side-Channel Attacks.

Quoc-Sang Phan, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria, Tevfik Bultan

IACR Cryptol. ePrint Arch., 2017

Model-counting Approaches For Nonlinear Numerical Constraints.

Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu

IACR Cryptol. ePrint Arch., 2017

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

Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett

CoRR, 2017

Probabilistic programming for Java using symbolic execution and model counting.

Willem Visser, Corina S. Pasareanu

Proceedings of the South African Institute of Computer Scientists and Information Technologists, 2017

Symbolic execution and probabilistic reasoning.

Corina S. Pasareanu

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Symbolic Complexity Analysis Using Context-Preserving Histories.

Kasper Søe Luckow, Rody Kersten, Corina S. Pasareanu

Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

A synergistic approach for distributed symbolic execution using test ranges.

Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Guowei Yang

Proceedings of the 39th International Conference on Software Engineering, 2017

POSTER: AFL-based Fuzzing for Java with Kelinci.

Rody Kersten, Kasper Søe Luckow, Corina S. Pasareanu

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

Symbolic Arrays in Symbolic PathFinder.

Aymeric Fromherz, Kasper Søe Luckow, Corina S. Pasareanu

ACM SIGSOFT Softw. Eng. Notes, 2016

String analysis for side channels with segmented oracles.

Lucas Bang, Abdulbaki Aydin, Quoc-Sang Phan, Corina S. Pasareanu, Tevfik Bultan

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Towards MC/DC Coverage of Properties Specification Patterns.

Ana C. V. de Melo, Corina S. Pasareanu, Simone Hanazumi

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

Log2model: inferring behavioral models from log data.

Kasper Søe Luckow, Corina S. Pasareanu

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT.

Corina S. Pasareanu, Quoc-Sang Phan, Pasquale Malacaria

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement.

Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

Certified Symbolic Execution.

Rui Qiu, Corina S. Pasareanu, Sarfraz Khurshid

Proceedings of the Automated Technology for Verification and Analysis, 2016

Planning, Scheduling and Monitoring for Airport Surface Operations.

Robert Morris, Corina S. Pasareanu, Kasper Søe Luckow, Waqar Malik, Hang Ma, T. K. Satish Kumar, Sven Koenig

Proceedings of the Planning for Hybrid Systems, 2016

2015

Symbolic Execution for Checking the Accuracy of Floating-Point Programs.

Jaideep Ramachandran, Corina S. Pasareanu, Thomas Wahl

ACM SIGSOFT Softw. Eng. Notes, 2015

Concurrent Bounded Model Checking.

Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu

ACM SIGSOFT Softw. Eng. Notes, 2015

From Test Purposes to Formal JPF Properties.

Simone Hanazumi, Ana Cristina Vieira de Melo, Corina S. Pasareanu

ACM SIGSOFT Softw. Eng. Notes, 2015

Symbolic execution and timed automata model checking for timing analysis of Java real-time systems.

Kasper Søe Luckow, Corina S. Pasareanu, Bent Thomsen

EURASIP J. Embed. Syst., 2015

Guest editorial: special multi-issue on selected topics in automated software engineering.

Tim Menzies, Corina S. Pasareanu

Autom. Softw. Eng., 2015

Model Counting for Complex Data Structures.

Antonio Filieri, Marcelo F. Frias, Corina S. Pasareanu, Willem Visser

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

Iterative distribution-aware sampling for probabilistic symbolic execution.

Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Statistical Symbolic Execution with Informed Sampling.

Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys

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).

Antonio Filieri, Corina S. Pasareanu, Guowei Yang

Proceedings of the 30th IEEE/ACM International Conference on Automated Software Engineering, 2015

Compositional Symbolic Execution with Memoized Replay.

Rui Qiu, Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid

Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Probabilistic Program Analysis.

Matthew B. Dwyer, Antonio Filieri, Jaco Geldenhuys, Mitchell J. Gerrard, Corina S. Pasareanu, Willem Visser

Proceedings of the Grand Timely Topics in Software Engineering, 2015

2014

Rigorous examination of reactive systems - The RERS challenges 2012 and 2013.

Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer, Corina S. Pasareanu

Int. J. Softw. Tools Technol. Transf., 2014

Symbolic PathFinder v7.

Kasper Søe Luckow, Corina S. Pasareanu

ACM SIGSOFT Softw. Eng. Notes, 2014

Predicate abstraction in Java Pathfinder.

Jakub Daniel, Pavel Parízek, Corina S. Pasareanu

ACM SIGSOFT Softw. Eng. Notes, 2014

Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12).

Corina S. Pasareanu, Gwen Salaün

Sci. Comput. Program., 2014

Quantifying information leaks using reliability analysis.

Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu, Marcelo d'Amorim

Proceedings of the 2014 International Symposium on Model Checking of Software, 2014

Reliability Analysis in Symbolic Pathfinder: A brief summary.

Antonio Filieri, Corina S. Pasareanu, Willem Visser

Proceedings of the Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik, 25. Februar, 2014

Compositional solution space quantification for probabilistic software analysis.

Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Exact and approximate probabilistic symbolic execution for nondeterministic programs.

Kasper Søe Luckow, Corina S. Pasareanu, Matthew B. Dwyer, Antonio Filieri, Willem Visser

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

On the probabilistic analysis of software (invited talk abstract).

Corina S. Pasareanu

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.

Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina S. Pasareanu, Andreas Podelski, Thomas Strump

Proceedings of the Hardware and Software: Verification and Testing, 2014

2013

Symbolic Execution and Software Testing.

Corina S. Pasareanu

Proceedings of the Engineering Dependable Software Systems, 2013

Abstraction and Learning for Infinite-State Compositional Verification.

Dimitra Giannakopoulou, Corina S. Pasareanu

Proceedings of the Semantics, 2013

Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis.

Corina S. Pasareanu, Willem Visser, David H. Bushnell, Jaco Geldenhuys, Peter C. Mehlitz, Neha Rungta

Autom. Softw. Eng., 2013

Polyglot: Systematic Analysis for Multiple Statechart Formalisms.

Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Memoise: a tool for memoized symbolic execution.

Guowei Yang, Sarfraz Khurshid, Corina S. Pasareanu

Proceedings of the 35th International Conference on Software Engineering, 2013

Reliability analysis in symbolic pathfinder.

Antonio Filieri, Corina S. Pasareanu, Willem Visser

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Symbolic quantitative information flow.

Quoc-Sang Phan, Pasquale Malacaria, Oksana Tkachuk, Corina S. Pasareanu

ACM SIGSOFT Softw. Eng. Notes, 2012

Testing android apps through symbolic execution.

Nariman Mirzaei, Sam Malek, Corina S. Pasareanu, Naeem Esfahani, Riyadh Mahmood

ACM SIGSOFT Softw. Eng. Notes, 2012

Abstract pathfinder.

Artem Khyzha, Pavel Parízek, Corina S. Pasareanu

ACM SIGSOFT Softw. Eng. Notes, 2012

Symbolic Execution Enhanced System Testing.

Misty D. Davies, Corina S. Pasareanu, Vishwanath Raman

Proceedings of the Verified Software: Theories, Tools, Experiments, 2012

Combining Model Checking and Symbolic Execution for Software Testing.

Corina S. Pasareanu

Proceedings of the Tests and Proofs - 6th International Conference, 2012

Integrating Statechart Components in Polyglot.

Daniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael R. Lowry, Michael W. Whalen

Proceedings of the NASA Formal Methods, 2012

Learning Probabilistic Systems from Tree Samples.

Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke

Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

Memoized symbolic execution.

Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid

Proceedings of the International Symposium on Software Testing and Analysis, 2012

Learning Techniques for Software Verification and Validation.

Corina S. Pasareanu, Mihaela Gheorghiu Bobaru

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

Statechart Analysis with Symbolic PathFinder.

Corina S. Pasareanu, Daniel Balasubramanian

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Symbolic Execution with Interval Solving and Meta-heuristic Search.

Mateus Borges, Marcelo d'Amorim, Saswat Anand, David H. Bushnell, Corina S. Pasareanu

Proceedings of the Fifth IEEE International Conference on Software Testing, 2012

Assume-Guarantee Abstraction Refinement for Probabilistic Systems.

Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

New results in software model checking and analysis.

Corina S. Pasareanu

Int. J. Softw. Tools Technol. Transf., 2011

Preface.

Manuela-Luminita Bujorianu, Michael Fisher, Corina S. Pasareanu

Ann. Math. Artif. Intell., 2011

Context Synthesis.

Dimitra Giannakopoulou, Corina S. Pasareanu

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

Rapid property specification and checking for model-based formalisms.

Daniel Balasubramanian, Gábor Pap, Harmon Nine, Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger

Proceedings of the 22nd IEEE International Symposium on Rapid System Prototyping, 2011

CORAL: Solving Complex Constraints for Symbolic PathFinder.

Matheus Souza, Mateus Borges, Marcelo d'Amorim, Corina S. Pasareanu

Proceedings of the NASA Formal Methods, 2011

Symbolic execution with mixed concrete-symbolic solving.

Corina S. Pasareanu, Neha Rungta, Willem Visser

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Polyglot: modeling and analysis for multiple Statechart formalisms.

Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry

Proceedings of the 20th International Symposium on Software Testing and Analysis, 2011

Symbolic execution for software testing in practice: preliminary assessment.

Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser

Proceedings of the 33rd International Conference on Software Engineering, 2011

Interface decomposition for service compositions.

Domenico Bianculli, Dimitra Giannakopoulou, Corina S. Pasareanu

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

Preface.

Carlos Canal, Corina S. Pasareanu

Sci. Comput. Program., 2010

Preface: Special Issue on Nasa Formal Methods Symposium 2009.

Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu

Innov. Syst. Softw. Eng., 2010

Editorial: automated compositional verification.

Dimitra Giannakopoulou, Corina S. Pasareanu

IET Softw., 2010

Symbolic PathFinder: symbolic execution of Java bytecode.

Corina S. Pasareanu, Neha Rungta

Proceedings of the ASE 2010, 2010

Parallel symbolic execution for structural test generation.

Matt Staats, Corina S. Pasareanu

Proceedings of the Nineteenth International Symposium on Software Testing and Analysis, 2010

Learning Techniques for Software Verification and Validation - Special Track at ISoLA 2010.

Dimitra Giannakopoulou, Corina S. Pasareanu

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Learning Component Interfaces with May and Must Abstractions.

Rishabh Singh, Dimitra Giannakopoulou, Corina S. Pasareanu

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

A survey of new trends in symbolic execution for software testing and analysis.

Corina S. Pasareanu, Willem Visser

Int. J. Softw. Tools Technol. Transf., 2009

Symbolic execution with abstraction.

Saswat Anand, Corina S. Pasareanu, Willem Visser

Int. J. Softw. Tools Technol. Transf., 2009

Interface Generation and Compositional Verification in JavaPathfinder.

Dimitra Giannakopoulou, Corina S. Pasareanu

Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008

Assume-guarantee testing for software components.

Dimitra Giannakopoulou, Corina S. Pasareanu, Colin Blundell

IET Softw., 2008

Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning.

Corina S. Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, Jamieson M. Cobleigh, Howard Barringer

Formal Methods Syst. Des., 2008

Special issue on learning techniques for compositional reasoning.

Dimitra Giannakopoulou, Corina S. Pasareanu

Formal Methods Syst. Des., 2008

Differential symbolic execution.

Suzette Person, Matthew B. Dwyer, Sebastian G. Elbaum, Corina S. Pasareanu

Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2008

Tool Support for Parametric Analysis of Large Software Simulation Systems.

Johann Schumann, Karen Gundy-Burlet, Corina S. Pasareanu, Tim Menzies, Tony Barrett

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.

Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2008

Assume-Guarantee Verification for Interface Automata.

Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu

Proceedings of the FM 2008: Formal Methods, 2008

Automated Assume-Guarantee Reasoning by Abstraction Refinement.

Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou

Proceedings of the Computer Aided Verification, 20th International Conference, 2008

2007

Predicate Abstraction with Under-Approximation Refinement.

Corina S. Pasareanu, Radek Pelánek, Willem Visser

Log. Methods Comput. Sci., 2007

Refining Interface Alphabets for Compositional Verification.

Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

JPF-SE: A Symbolic Execution Extension to Java PathFinder.

Saswat Anand, Corina S. Pasareanu, Willem Visser

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Formal Software Analysis Emerging Trends in Software Model Checking.

Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser

Proceedings of the International Conference on Software Engineering, 2007

Symbolic Execution and Model Checking for Testing.

Corina S. Pasareanu, Willem Visser

Proceedings of the Hardware and Software: Verification and Testing, 2007

2006

Assume-guarantee testing.

Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu

ACM SIGSOFT Softw. Eng. Notes, 2006

Towards a Compositional SPIN.

Corina S. Pasareanu, Dimitra Giannakopoulou

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

Symbolic Execution with Abstract Subsumption Checking.

Saswat Anand, Corina S. Pasareanu, Willem Visser

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

Test input generation for java containers using state matching.

Willem Visser, Corina S. Pasareanu, Radek Pelánek

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

2005

Combining test case generation and runtime verification.

Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington

Theor. Comput. Sci., 2005

Verifying Time Partitioning in the DEOS Scheduling Kernel.

John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger

Formal Methods Syst. Des., 2005

Component Verification with Automatically Generated Assumptions.

Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer

Autom. Softw. Eng., 2005

Learning-Based Assume-Guarantee Verification (Tool Paper).

Dimitra Giannakopoulou, Corina S. Pasareanu

Proceedings of the Model Checking Software, 2005

Test input generation for red-black trees using abstraction.

Willem Visser, Corina S. Pasareanu, Radek Pelánek

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005

Concrete Model Checking with Abstract Matching and Refinement.

Corina S. Pasareanu, Radek Pelánek, Willem Visser

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software.

Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington

Formal Methods Syst. Des., 2004

Verification of Java Programs Using Symbolic Execution and Invariant Generation.

Corina S. Pasareanu, Willem Visser

Proceedings of the Model Checking Software, 2004

Test input generation with java PathFinder.

Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

Assume-Guarantee Verification of Source Code with Design-Level Assumptions.

Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh

Proceedings of the 26th International Conference on Software Engineering (ICSE 2004), 2004

2003

Finding feasible abstract counter-examples.

Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser

Int. J. Softw. Tools Technol. Transf., 2003

Generalized Symbolic Execution for Model Checking and Testing.

Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Learning Assumptions for Compositional Verification.

Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Automated Environment Generation for Software Model Checking.

Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasareanu

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

Experiments with Test Case Generation and Runtime Analysis.

Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser

Proceedings of the Abstract State Machines, 2003

2002

Assumption Generation for Software Component Verification.

Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

Foundations of the Bandera Abstraction Tools.

John Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby

Proceedings of the Essence of Computation, Complexity, Analysis, 2002

2001

Finding Feasible Counter-examples when Model Checking Abstracted Java Programs.

Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

Tool-Supported Program Abstraction for Finite-State Verification.

Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser

Proceedings of the 23rd International Conference on Software Engineering, 2001

2000

Bandera: extracting finite-state models from Java source code.

James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng

Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999

Assume-Guarantee Model Checking of Software: A Comparative Case Study.

Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth

Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999

1998

Filter-Based Model Checking of Partial Systems.

Matthew B. Dwyer, Corina S. Pasareanu

Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998

Model Checking Generic Container Implementations.

Matthew B. Dwyer, Corina S. Pasareanu

Proceedings of the Generic Programming, 1998