Corina S. Pasareanu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
92
Venues
28
Active years
2000–2026
Best venue rank
A*
Where they publish
- A*ICSE17 papers
- AISSTA14 papers
- A*CAV11 papers
- ATACAS8 papers
- AICST5 papers
- BCAIN3 papers
- BRV3 papers
- BFASE2 papers
- A*ICLR2 papers
- A*PLDI2 papers
- CTAP2 papers
- BFMCAD2 papers
- AISSRE2 papers
- BATVA2 papers
- A*LICS2 papers
- BFM2 papers
- CISoLA2 papers
- A*ACL1 paper
- A*ICML1 paper
- AEASE1 paper
- AMSR1 paper
- BSAFECOMP1 paper
- A*CVPR1 paper
- BSEFM1 paper
- A*CCS1 paper
- A*AAAI1 paper
- CICTAC1 paper
- CRSP1 paper
Papers
92 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ACL | When "Correct" Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents? | Yibo Peng, James Song, Lei Li, Xinyu Yang, Mihai Christodorescu, Ravi Mangal, Corina S. Pasareanu, Haizhong Zheng, Beidi Chen |
| 2025 | CAIN | Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study). | Boyue Caroline Hu, Divya Gopinath, Corina S. Pasareanu, Nina Narodytska, Ravi Mangal, Susmit Jha |
| 2025 | CAIN | Random Perturbation Attack on LLMs for Code Generation. | Qiulu Peng, Chi Zhang, Ravi Mangal, Corina S. Pasareanu, Limin Jia |
| 2025 | CAV | Relational Hoare Logic for Realistically Modelled Machine Code. | Denis Mazzucato, Abdalrhman Mohamed, Juneyoung Lee, Clark W. Barrett, Jim Grundy, John Harrison, Corina S. Pasareanu |
| 2025 | ICML | Validating Mechanistic Interpretations: An Axiomatic Approach. | Nils Palumbo, Ravi Mangal, Zifan Wang, Saranya Vijayakumar, Corina S. Pasareanu, Somesh Jha |
| 2025 | RV | Conformal Safety Shielding for Imperfect-Perception Agents. | William Scarbro, Calum Imrie, Sinem Getir Yaman, Kavan Fatehi, Corina S. Pasareanu, Radu Calinescu, Ravi Mangal |
| 2024 | ICST | 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 |
| 2024 | ISSTA | Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study). | Eduard Pinconschi, Divya Gopinath, Rui Abreu, Corina S. Pasareanu |
| 2023 | CAIN | 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 |
| 2023 | CAV | 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 |
| 2023 | EASE | Are security commit messages informative? Not enough! | Sofia Reis, Rui Abreu, Corina S. Pasareanu |
| 2023 | FASE | Feature-Guided Analysis of Neural Networks. | Divya Gopinath, Luca Lungeanu, Ravi Mangal, Corina S. Pasareanu, Siqi Xie, Huafeng Yu |
| 2023 | ICLR | On the Perils of Cascading Robust Classifiers. | Ravi Mangal, Zifan Wang, Chi Zhang, Klas Leino, Corina S. Pasareanu, Matt Fredrikson |
| 2023 | RV | Assumption Generation for Learning-Enabled Autonomous Systems. | Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu |
| 2022 | CAV | Self-correcting Neural Networks for Safe Classification. | Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu |
| 2022 | CAV | A Cascade of Checkers for Run-time Certification of Local Robustness. | Ravi Mangal, Corina S. Pasareanu |
| 2022 | CAV | VPN: Verification of Poisoning in Neural Networks. | Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Pasareanu |
| 2022 | ISSTA | Test mimicry to assess the exploitability of library vulnerabilities. | Hong Jin Kang, Truong Giang Nguyen, Bach Le, Corina S. Pasareanu, David Lo |
| 2022 | MSR | SECOM: Towards a convention for security commit messages. | Sofia Reis, Rui Abreu, Hakan Erdogmus, Corina S. Pasareanu |
| 2022 | RV | Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks. | Muhammad Usman, Divya Gopinath, Youcheng Sun, Corina S. Pasareanu |
| 2021 | CAV | NNrepair: Constraint-Based Repair of Neural Network Classifiers. | Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina S. Pasareanu |
| 2021 | ICLR | Fast Geometric Projections for Local Robustness Certification. | Aymeric Fromherz, Klas Leino, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu |
| 2021 | ICSE | NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks. | Muhammad Usman, Yannic Noller, Corina S. Pasareanu, Youcheng Sun, Divya Gopinath |
| 2021 | ICST | 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 |
| 2021 | PLDI | SyRust: automatic testing of Rust libraries with semantic-aware program synthesis. | Yoshiki Takashima, Ruben Martins, Limin Jia, Corina S. Pasareanu |
| 2021 | SAFECOMP | 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 |
| 2021 | TAP | Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs. | Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu |
| 2020 | CVPR | A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors. | Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia |
| 2020 | FMCAD | 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 |
| 2020 | FMCAD | Automating Compositional Analysis of Authentication Protocols. | Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia, Corina S. Pasareanu |
| 2020 | ICSE | HyDiff: hybrid differential software analysis. | Yannic Noller, Corina S. Pasareanu, Marcel Bhme, Youcheng Sun, Hoang Lam Nguyen, Lars Grunske |
| 2020 | ICSE | On the probabilistic analysis of neural networks. | Corina S. Pasareanu, Hayes Converse, Antonio Filieri, Divya Gopinath |
| 2020 | ISSRE | Probabilistic Symbolic Analysis of Neural Networks. | Hayes Converse, Antonio Filieri, Divya Gopinath, Corina S. Pasareanu |
| 2020 | TACAS | Assume, Guarantee or Repair. | Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald |
| 2019 | ICSE | Symbolic execution for attribution and attack synthesis in neural networks. | Divya Gopinath, Corina S. Pasareanu, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid |
| 2019 | ICSE | On reliability of patch correctness assessment. | Xuan-Bach Dinh Le, Lingfeng Bao, David Lo, Xin Xia, Shanping Li, Corina S. Pasareanu |
| 2019 | ICSE | DifFuzz: differential fuzzing for side-channel analysis. | Shirin Nilizadeh, Yannic Noller, Corina S. Pasareanu |
| 2019 | ISSRE | 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 |
| 2019 | TACAS | Symbolic Pathfinder for SV-COMP - (Competition Contribution). | Yannic Noller, Corina S. Pasareanu, Aymeric Fromherz, Xuan-Bach Dinh Le, Willem Visser |
| 2018 | ATVA | DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks. | Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett |
| 2018 | ICSE | Automated program repair with canonical constraints. | Andrew Hill, Corina S. Pasareanu, Kathryn T. Stolee |
| 2018 | ISSTA | Symbolic path cost analysis for side-channel detection. | Tegan Brennan, Seemanta Saha, Tevfik Bultan, Corina S. Pasareanu |
| 2018 | ISSTA | Test input generation with Java PathFinder: then and now (invited talk abstract). | Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser |
| 2018 | ISSTA | Badger: complexity analysis with fuzzing and symbolic execution. | Yannic Noller, Rody Kersten, Corina S. Pasareanu |
| 2018 | ISSTA | Analysing the effect of uncertainty in airport surface operations. | Heron Yang, Robert Morris, Corina S. Pasareanu |
| 2018 | SEFM | Monte Carlo Tree Search for Finding Costly Paths in Programs. | Kasper Se Luckow, Corina S. Pasareanu, Willem Visser |
| 2017 | CCS | POSTER: AFL-based Fuzzing for Java with Kelinci. | Rody Kersten, Kasper Se Luckow, Corina S. Pasareanu |
| 2017 | ICSE | A synergistic approach for distributed symbolic execution using test ranges. | Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Guowei Yang |
| 2017 | ICST | Symbolic Complexity Analysis Using Context-Preserving Histories. | Kasper Se Luckow, Rody Kersten, Corina S. Pasareanu |
| 2017 | LICS | Symbolic execution and probabilistic reasoning. | Corina S. Pasareanu |
| 2016 | AAAI | Planning, Scheduling and Monitoring for Airport Surface Operations. | Robert Morris, Corina S. Pasareanu, Kasper Se Luckow, Waqar Malik, Hang Ma, T. K. Satish Kumar, Sven Koenig |
| 2016 | ATVA | Certified Symbolic Execution. | Rui Qiu, Corina S. Pasareanu, Sarfraz Khurshid |
| 2016 | CAV | Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement. | Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham |
| 2016 | ICTAC | Towards MC/DC Coverage of Properties Specification Patterns. | Ana C. V. de Melo, Corina S. Pasareanu, Simone Hanazumi |
| 2015 | FM | Automated Circular Assume-Guarantee Reasoning. | Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham |
| 2015 | ICSE | Compositional Symbolic Execution with Memoized Replay. | Rui Qiu, Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid |
| 2014 | ISSTA | On the probabilistic analysis of software (invited talk abstract). | Corina S. Pasareanu |
| 2014 | PLDI | Compositional solution space quantification for probabilistic software analysis. | Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser |
| 2013 | ICSE | Reliability analysis in symbolic pathfinder. | Antonio Filieri, Corina S. Pasareanu, Willem Visser |
| 2013 | ICSE | Memoise: a tool for memoized symbolic execution. | Guowei Yang, Sarfraz Khurshid, Corina S. Pasareanu |
| 2013 | TACAS | Polyglot: Systematic Analysis for Multiple Statechart Formalisms. | Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry |
| 2012 | CAV | Assume-Guarantee Abstraction Refinement for Probabilistic Systems. | Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke |
| 2012 | ICST | Symbolic Execution with Interval Solving and Meta-heuristic Search. | Mateus Borges, Marcelo d'Amorim, Saswat Anand, David H. Bushnell, Corina S. Pasareanu |
| 2012 | ICST | Statechart Analysis with Symbolic PathFinder. | Corina S. Pasareanu, Daniel Balasubramanian |
| 2012 | ISoLA | Learning Techniques for Software Verification and Validation. | Corina S. Pasareanu, Mihaela Gheorghiu Bobaru |
| 2012 | ISSTA | Memoized symbolic execution. | Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid |
| 2012 | LICS | Learning Probabilistic Systems from Tree Samples. | Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke |
| 2012 | TAP | Combining Model Checking and Symbolic Execution for Software Testing. | Corina S. Pasareanu |
| 2011 | ICSE | Interface decomposition for service compositions. | Domenico Bianculli, Dimitra Giannakopoulou, Corina S. Pasareanu |
| 2011 | ICSE | Symbolic execution for software testing in practice: preliminary assessment. | Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser |
| 2011 | ISSTA | Polyglot: modeling and analysis for multiple Statechart formalisms. | Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry |
| 2011 | ISSTA | Symbolic execution with mixed concrete-symbolic solving. | Corina S. Pasareanu, Neha Rungta, Willem Visser |
| 2011 | RSP | Rapid property specification and checking for model-based formalisms. | Daniel Balasubramanian, Gbor Pap, Harmon Nine, Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger |
| 2010 | CAV | Learning Component Interfaces with May and Must Abstractions. | Rishabh Singh, Dimitra Giannakopoulou, Corina S. Pasareanu |
| 2010 | ISoLA | Learning Techniques for Software Verification and Validation - Special Track at ISoLA 2010. | Dimitra Giannakopoulou, Corina S. Pasareanu |
| 2010 | ISSTA | Parallel symbolic execution for structural test generation. | Matt Staats, Corina S. Pasareanu |
| 2009 | FASE | Interface Generation and Compositional Verification in JavaPathfinder. | Dimitra Giannakopoulou, Corina S. Pasareanu |
| 2008 | CAV | Automated Assume-Guarantee Reasoning by Abstraction Refinement. | Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou |
| 2008 | FM | Assume-Guarantee Verification for Interface Automata. | Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu |
| 2008 | ISSTA | 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 |
| 2007 | ICSE | Formal Software Analysis Emerging Trends in Software Model Checking. | Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser |
| 2007 | TACAS | JPF-SE: A Symbolic Execution Extension to Java PathFinder. | Saswat Anand, Corina S. Pasareanu, Willem Visser |
| 2007 | TACAS | Refining Interface Alphabets for Compositional Verification. | Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu |
| 2006 | ISSTA | Test input generation for java containers using state matching. | Willem Visser, Corina S. Pasareanu, Radek Pelnek |
| 2005 | CAV | Concrete Model Checking with Abstract Matching and Refinement. | Corina S. Pasareanu, Radek Pelnek, Willem Visser |
| 2004 | ICSE | Assume-Guarantee Verification of Source Code with Design-Level Assumptions. | Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh |
| 2004 | ISSTA | Test input generation with java PathFinder. | Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid |
| 2003 | TACAS | Learning Assumptions for Compositional Verification. | Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu |
| 2003 | TACAS | Generalized Symbolic Execution for Model Checking and Testing. | Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser |
| 2001 | ICSE | 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 |
| 2001 | TACAS | Finding Feasible Counter-examples when Model Checking Abstracted Java Programs. | Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser |
| 2000 | ICSE | 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 |