Corina S. Pasareanu

267 papers A* 33A 33B 19C 4Journal 103Unranked 64

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	CONCUR: Benchmarking LLMs for Concurrent Code Generation. CoRR Jue Huang, Tarek Mahmud, Corina S. Pasareanu, Guowei Yang
2026	B	`ed.`	Fundamental Approaches to Software Engineering - 29th International Conference, FASE 2026, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2026, Turin, Italy, April 11-16, 2026, Proceedings FASE Elvira Albert, Corina S. Pasareanu
2026	J	`jnl`	SecCodePRM: A Process Reward Model for Code Security. CoRR Weichen Yu, Ravi Mangal, Yinyi Luo, Kai Hu, Jingxuan He, Corina S. Pasareanu, Matt Fredrikson
2025	J	`jnl`	A Mixture of Linear Corrections Generates Secure Code. CoRR Weichen Yu, Ravi Mangal, Terry Yue Zhuo, Matt Fredrikson, Corina S. Pasareanu
2025	J	`jnl`	AI Software Engineer: Programming with Trust. CoRR Abhik Roychoudhury, Corina S. Pasareanu, Michael Pradel, Baishakhi Ray
2025	B	`conf`	Conformal Safety Shielding for Imperfect-Perception Agents. RV William Scarbro, Calum Imrie, Sinem Getir Yaman, Kavan Fatehi, Corina S. Pasareanu, Radu Calinescu, Ravi Mangal
2025	J	`jnl`	Conformal Safety Shielding for Imperfect-Perception Agents. CoRR William Scarbro, Calum Imrie, Sinem Getir Yaman, Kavan Fatehi, Corina S. Pasareanu, Radu Calinescu, Ravi Mangal
2025	B	`conf`	Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study). CAIN Boyue Caroline Hu, Divya Gopinath, Corina S. Pasareanu, Nina Narodytska, Ravi Mangal, Susmit Jha
2025	J	`jnl`	Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study). CoRR Boyue Caroline Hu, Divya Gopinath, Corina S. Pasareanu, Nina Narodytska, Ravi Mangal, Susmit Jha
2025	J	`jnl`	Enhancing LLM Code Generation with Ensembles: A Similarity-Based Selection Approach. CoRR Tarek Mahmud, Bin Duan, Corina S. Pasareanu, Guowei Yang
2025	J	`jnl`	Fighting AI with AI: Leveraging Foundation Models for Assuring AI-Enabled Safety-Critical Systems. CoRR Anastasia Mavridou, Divya Gopinath, Corina S. Pasareanu
2025	J	`jnl`	Microsaccade-Inspired Probing: Positional Encoding Perturbations Reveal LLM Misbehaviours. CoRR Rui Melo, Rui Abreu, Corina S. Pasareanu
2025	J	`jnl`	On Selecting Few-Shot Examples for LLM-based Code Vulnerability Detection. CoRR Md Abdul Hannan, Ronghao Ni, Chi Zhang, Limin Jia, Ravi Mangal, Corina S. Pasareanu
2025	J	`jnl`	Prophecy: Inferring Formal Properties from Neuron Activations. CoRR Divya Gopinath, Corina S. Pasareanu, Muhammad Usman
2025	B	`conf`	Random Perturbation Attack on LLMs for Code Generation. CAIN Qiulu Peng, Chi Zhang, Ravi Mangal, Corina S. Pasareanu, Limin Jia
2025	—	`conf`	Relational Hoare Logic for Realistically Modelled Machine Code. CAV (1) Denis Mazzucato, Abdalrhman Mohamed, Juneyoung Lee, Clark W. Barrett, Jim Grundy, John Harrison, Corina S. Pasareanu
2025	J	`jnl`	Relational Hoare Logic for Realistically Modelled Machine Code. CoRR Denis Mazzucato, Abdalrhman Mohamed, Juneyoung Lee, Clark W. Barrett, Jim Grundy, John Harrison, Corina S. Pasareanu
2025	J	`jnl`	Report on NSF Workshop on Science of Safe AI. CoRR Rajeev Alur, Greg Durrett, Hadas Kress-Gazit, Corina S. Pasareanu, René Vidal
2025	—	`conf`	Scenario-Based Compositional Verification of Autonomous Systems with Neural Perception. SAIV Christopher Watson, Rajeev Alur, Divya Gopinath, Ravi Mangal, Corina S. Pasareanu
2025	J	`jnl`	Scenario-based Compositional Verification of Autonomous Systems with Neural Perception. CoRR Christopher Watson, Rajeev Alur, Divya Gopinath, Ravi Mangal, Corina S. Pasareanu
2025	A*	`conf`	Validating Mechanistic Interpretations: An Axiomatic Approach. ICML Nils Palumbo, Ravi Mangal, Zifan Wang, Saranya Vijayakumar, Corina S. Pasareanu, Somesh Jha
2025	J	`jnl`	When "Correct" Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents? CoRR Yibo Peng, James Song, Lei Li, Xinyu Yang, Mihai Christodorescu, Ravi Mangal, Corina S. Pasareanu, Haizhong Zheng, Beidi Chen
2025	J	`jnl`	Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models. CoRR Daniel Koh, Yannic Noller, Corina S. Pasareanu, Adrians Skapars, Youcheng Sun
2024	A*	`conf`	Attacks and Defenses for Large Language Models on Coding Tasks. ASE Chi Zhang, Zifan Wang, Ruoshi Zhao, Ravi Mangal, Matt Fredrikson, Limin Jia, Corina S. Pasareanu
2024	—	`conf`	Concept-Based Analysis of Neural Networks via Vision-Language Models. SAIV Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu
2024	J	`jnl`	Concept-based Analysis of Neural Networks via Vision-Language Models. CoRR Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu
2024	J	`jnl`	Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components. IEEE Trans. Software Eng. Radu Calinescu, Calum Imrie, Ravi Mangal, Genaína Nunes Rodrigues, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez
2024	J	`jnl`	Crabtree: Rust API Test Synthesis Guided by Coverage and Type. Proc. ACM Program. Lang. Yoshiki Takashima, Chanhee Cho, Ruben Martins, Limin Jia, Corina S. Pasareanu
2024	A	`conf`	Does Going Beyond Branch Coverage Make Program Repair Tools More Reliable? ICST Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu, Xuan-Bach Dinh Le, David R. Cok
2024	J	`jnl`	Evaluating Deep Neural Networks in Deployment (A Comparative and Replicability Study). CoRR Eduard Pinconschi, Divya Gopinath, Rui Abreu, Corina S. Pasareanu
2024	A	`conf`	Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study). ISSTA Eduard Pinconschi, Divya Gopinath, Rui Abreu, Corina S. Pasareanu
2024	—	`conf`	Formal Verification Techniques for Vision-Based Autonomous Systems - A Survey. Principles of Verification (3) Sayan Mitra, Corina S. Pasareanu, Pavithra Prabhakar, Sanjit A. Seshia, Ravi Mangal, Yangge Li, Christopher Watson, Divya Gopinath, Huafeng Yu
2024	J	`jnl`	Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing. IEEE Softw. Ismet Burak Kadron, Yannic Noller, Rohan Padhye, Tevfik Bultan, Corina S. Pasareanu, Koushik Sen
2024	J	`jnl`	Inferring Properties of Graph Neural Networks. CoRR Dat Nguyen, Hieu M. Vu, Cong-Thanh Le, Bach Le, David Lo, Corina S. Pasareanu
2024	J	`jnl`	JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking. Formal Aspects Comput. Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu, Yannic Noller
2024	J	`jnl`	Mechanistically Interpreting a Transformer-based 2-SAT Solver: An Axiomatic Approach. CoRR Nils Palumbo, Ravi Mangal, Zifan Wang, Saranya Vijayakumar, Corina S. Pasareanu, Somesh Jha
2024	A	`conf`	ProInspector: Uncovering Logical Bugs in Protocol Implementations. EuroS&P Zichao Zhang, Limin Jia, Corina S. Pasareanu
2023	J	`jnl`	An overview of structural coverage metrics for testing neural networks. Int. J. Softw. Tools Technol. Transf. Muhammad Usman, Youcheng Sun, Divya Gopinath, Rishi Dange, Luca Manolache, Corina S. Pasareanu
2023	A	`conf`	Are security commit messages informative? Not enough! EASE Sofia Reis, Rui Abreu, Corina S. Pasareanu
2023	B	`conf`	Assumption Generation for Learning-Enabled Autonomous Systems. RV Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu
2023	J	`jnl`	Assumption Generation for the Verification of Learning-Enabled Autonomous Systems. CoRR Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu
2023	—	`conf`	Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study. CAV (1) Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu
2023	J	`jnl`	Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study. CoRR Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu
2023	B	`conf`	Feature-Guided Analysis of Neural Networks. FASE Divya Gopinath, Luca Lungeanu, Ravi Mangal, Corina S. Pasareanu, Siqi Xie, Huafeng Yu
2023	J	`jnl`	Introduction to the Special Section on FM 2021. Formal Aspects Comput. Marieke Huisman, Corina S. Pasareanu, Naijun Zhan
2023	J	`jnl`	Is Certifying 𝓁 CoRR Ravi Mangal, Klas Leino, Zifan Wang, Kai Hu, Weicheng Yu, Corina S. Pasareanu, Anupam Datta, Matt Fredrikson
2023	A*	`conf`	On the Perils of Cascading Robust Classifiers. ICLR Ravi Mangal, Zifan Wang, Chi Zhang, Klas Leino, Corina S. Pasareanu, Matt Fredrikson
2023	—	`conf`	Rule-Based Testing of Neural Networks. SE4SafeML@SIGSOFT FSE Muhammad Usman, Youcheng Sun, Divya Gopinath, Corina S. Pasareanu
2023	J	`jnl`	SECOMlint: A linter for Security Commit Messages. CoRR Sofia Reis, Corina S. Pasareanu, Rui Abreu, Hakan Erdogmus
2023	B	`conf`	Tenet: A Flexible Framework for Machine-Learning-based Vulnerability Detection. CAIN Eduard Pinconschi, Sofia Reis, Chi Zhang, Rui Abreu, Hakan Erdogmus, Corina S. Pasareanu, Limin Jia
2023	J	`jnl`	The Java Pathfinder Workshop 2022. ACM SIGSOFT Softw. Eng. Notes 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
2023	—	`conf`	Toward Certified Robustness Against Real-World Distribution Shifts. SaTML Haoze Wu, Teruhiro Tagomori, Alexander Robey, Fengjun Yang, Nikolai Matni, George J. Pappas, Hamed Hassani, Corina S. Pasareanu, Clark W. Barrett
2023	J	`jnl`	Transfer Attacks and Defenses for Large Language Models on Coding Tasks. CoRR Chi Zhang, Zifan Wang, Ravi Mangal, Matt Fredrikson, Limin Jia, Corina S. Pasareanu
2022	—	`conf`	A Cascade of Checkers for Run-time Certification of Local Robustness. NSV/FoMLAS@CAV Ravi Mangal, Corina S. Pasareanu
2022	J	`jnl`	An Overview of Structural Coverage Metrics for Testing Neural Networks. CoRR Muhammad Usman, Youcheng Sun, Divya Gopinath, Rishi Dange, Luca Manolache, Corina S. Pasareanu
2022	J	`jnl`	AntidoteRT: Run-time Detection and Correction of Poison Attacks on Neural Networks. CoRR Muhammad Usman, Youcheng Sun, Divya Gopinath, Corina S. Pasareanu
2022	J	`jnl`	Assume, Guarantee or Repair - A Regular Framework for Non Regular Properties (full version). CoRR Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald
2022	J	`jnl`	Assume, guarantee or repair: a regular framework for non regular properties. Int. J. Softw. Tools Technol. Transf. Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald
2022	J	`jnl`	Degradation Attacks on Certifiably Robust Neural Networks. Trans. Mach. Learn. Res. Klas Leino, Chi Zhang, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
2022	J	`jnl`	Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components. CoRR Radu Calinescu, Calum Imrie, Ravi Mangal, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez
2022	J	`jnl`	IEEE International Conference on Software Testing, Verification and Validation (ICST 2020). Softw. Test. Verification Reliab. Corina S. Pasareanu, Andreas Zeller
2022	J	`jnl`	On the Perils of Cascading Robust Classifiers. CoRR Ravi Mangal, Zifan Wang, Chi Zhang, Klas Leino, Corina S. Pasareanu, Matt Fredrikson
2022	J	`jnl`	Preface for the formal methods in system design special issue on 'Formal Methods 2021'. Formal Methods Syst. Des. Marieke Huisman, Corina S. Pasareanu, Naijun Zhan
2022	B	`conf`	Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks. RV Muhammad Usman, Divya Gopinath, Youcheng Sun, Corina S. Pasareanu
2022	A	`conf`	SECOM: Towards a convention for security commit messages. MSR Sofia Reis, Rui Abreu, Hakan Erdogmus, Corina S. Pasareanu
2022	—	`conf`	Self-correcting Neural Networks for Safe Classification. NSV/FoMLAS@CAV Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
2022	J	`jnl`	SkipFuzz: Active Learning-based Input Selection for Fuzzing Deep Learning Libraries. CoRR Hong Jin Kang, Pattarakrit Rattanukul, Stefanus Agus Haryono, Truong Giang Nguyen, Chaiyong Ragkhitwetsagul, Corina S. Pasareanu, David Lo
2022	A	`conf`	Test mimicry to assess the exploitability of library vulnerabilities. ISSTA Hong Jin Kang, Truong Giang Nguyen, Bach Le, Corina S. Pasareanu, David Lo
2022	C	`ed.`	Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings ICTAC Helmut Seidl, Zhiming Liu, Corina S. Pasareanu
2022	J	`jnl`	Toward Certified Robustness Against Real-World Distribution Shifts. CoRR Haoze Wu, Teruhiro Tagomori, Alexander Robey, Fengjun Yang, Nikolai Matni, George J. Pappas, Hamed Hassani, Corina S. Pasareanu, Clark W. Barrett
2022	—	`conf`	VPN: Verification of Poisoning in Neural Networks. NSV/FoMLAS@CAV Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Pasareanu
2022	J	`jnl`	VPN: Verification of Poisoning in Neural Networks. CoRR Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Pasareanu
2021	—	`conf`	Case Study: Analysis of Autonomous Center Line Tracking Neural Networks. VSTTE Ismet Burak Kadron, Divya Gopinath, Corina S. Pasareanu, Huafeng Yu
2021	B	`conf`	DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers. SAFECOMP Colin Paterson, Haoze Wu, John Grese, Radu Calinescu, Corina S. Pasareanu, Clark W. Barrett
2021	J	`jnl`	DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers. CoRR Colin Paterson, Haoze Wu, John Grese, Radu Calinescu, Corina S. Pasareanu, Clark W. Barrett
2021	A	`conf`	Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods. ICST Amirfarhad Nilizadeh, Gary T. Leavens, Xuan-Bach Dinh Le, Corina S. Pasareanu, David R. Cok
2021	A*	`conf`	Fast Geometric Projections for Local Robustness Certification. ICLR Aymeric Fromherz, Klas Leino, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
2021	B	`ed.`	Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings FM Marieke Huisman, Corina S. Pasareanu, Naijun Zhan
2021	—	`conf`	Learning Assumptions for Verifying Cryptographic Protocols Compositionally. FACS Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia, Corina S. Pasareanu
2021	—	`conf`	NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks. ICSE (Companion Volume) Muhammad Usman, Yannic Noller, Corina S. Pasareanu, Youcheng Sun, Divya Gopinath
2021	J	`jnl`	NEUROSPF: A tool for the Symbolic Analysis of Neural Networks. CoRR Muhammad Usman, Yannic Noller, Corina S. Pasareanu, Youcheng Sun, Divya Gopinath
2021	—	`conf`	NNrepair: Constraint-Based Repair of Neural Network Classifiers. CAV (1) Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina S. Pasareanu
2021	J	`jnl`	NNrepair: Constraint-based Repair of Neural Network Classifiers. CoRR Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina S. Pasareanu
2021	J	`jnl`	On using distributed representations of source code for the detection of C security vulnerabilities. CoRR David Coimbra, Sofia Reis, Rui Abreu, Corina S. Pasareanu, Hakan Erdogmus
2021	—	`conf`	QuantifyML: How Good is my Machine Learning Model? FMAS Muhammad Usman, Divya Gopinath, Corina S. Pasareanu
2021	J	`jnl`	Self-Repairing Neural Networks: Provable Safety for Deep Networks via Dynamic Repair. CoRR Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
2021	B	`ed.`	Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings SEFM Radu Calinescu, Corina S. Pasareanu
2021	A*	`conf`	SyRust: automatic testing of Rust libraries with semantic-aware program synthesis. PLDI Yoshiki Takashima, Ruben Martins, Limin Jia, Corina S. Pasareanu
2021	—	`conf`	Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs. TAP@STAF Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu
2020	A*	`conf`	A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors. CVPR Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia
2020	—	`conf`	Assume, Guarantee or Repair. TACAS (1) Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald
2020	B	`conf`	Automating Compositional Analysis of Authentication Protocols. FMCAD Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia, Corina S. Pasareanu
2020	J	`jnl`	Complexity vulnerability analysis using symbolic execution. Softw. Test. Verification Reliab. Kasper Søe Luckow, Rody Kersten, Corina S. Pasareanu
2020	—	`conf`	DifFuzz: Differential Fuzzing for Side-Channel Analysis. SE Shirin Nilizadeh, Yannic Noller, Corina S. Pasareanu
2020	J	`jnl`	Fast Geometric Projections for Local Robustness Certification. CoRR Aymeric Fromherz, Klas Leino, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu
2020	A*	`conf`	HyDiff: hybrid differential software analysis. ICSE Yannic Noller, Corina S. Pasareanu, Marcel Böhme, Youcheng Sun, Hoang Lam Nguyen, Lars Grunske
2020	A	`ed.`	ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020 ISSTA Sarfraz Khurshid, Corina S. Pasareanu
2020	—	`conf`	On the probabilistic analysis of neural networks. SEAMS@ICSE Corina S. Pasareanu, Hayes Converse, Antonio Filieri, Divya Gopinath
2020	B	`conf`	Parallelization Techniques for Verifying Neural Networks. FMCAD Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Kyle Julian, Ahmed Irfan, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett
2020	J	`jnl`	Parallelization Techniques for Verifying Neural Networks. CoRR Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Ahmed Irfan, Kyle Julian, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett
2020	A	`conf`	Probabilistic Symbolic Analysis of Neural Networks. ISSRE Hayes Converse, Antonio Filieri, Divya Gopinath, Corina S. Pasareanu
2020	—	`conf`	SafeDNN: understanding and verifying neural networks (keynote). A-TEST@ESEC/SIGSOFT FSE Corina S. Pasareanu
2020	—	`book`	Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security Symbolic Execution and Quantitative Reasoning Corina S. Pasareanu
2020	J	`jnl`	The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 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
2019	J	`jnl`	A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors. CoRR Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia
2019	J	`jnl`	A synergistic approach to improving symbolic execution using test ranges. Innov. Syst. Softw. Eng. Guowei Yang, Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen
2019	—	`conf`	Badger: Complexity Analysis with Fuzzing and Symbolic Execution. SE/SWM Yannic Noller, Rody Kersten, Corina S. Pasareanu
2019	J	`jnl`	Chapter Six - Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing, and Security Analysis. Adv. Comput. Corina S. Pasareanu, Rody Kersten, Kasper Søe Luckow, Quoc-Sang Phan
2019	A*	`conf`	DifFuzz: differential fuzzing for side-channel analysis. ICSE Shirin Nilizadeh, Yannic Noller, Corina S. Pasareanu
2019	J	`jnl`	Finding Invariants in Deep Neural Networks. CoRR Divya Gopinath, Ankur Taly, Hayes Converse, Corina S. Pasareanu
2019	A*	`conf`	On reliability of patch correctness assessment. ICSE Xuan-Bach Dinh Le, Lingfeng Bao, David Lo, Xin Xia, Shanping Li, Corina S. Pasareanu
2019	A*	`conf`	Property Inference for Deep Neural Networks. ASE Divya Gopinath, Hayes Converse, Corina S. Pasareanu, Ankur Taly
2019	J	`jnl`	Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis. ACM SIGSOFT Softw. Eng. Notes Xuan-Bach Dinh Le, Corina S. Pasareanu, Rohan Padhye, David Lo, Willem Visser, Koushik Sen
2019	A	`conf`	Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks. ISSRE Divya Gopinath, Mengshi Zhang, Kaiyuan Wang, Ismet Burak Kadron, Corina S. Pasareanu, Sarfraz Khurshid
2019	—	`conf`	Symbolic Pathfinder for SV-COMP - (Competition Contribution). TACAS (3) Yannic Noller, Corina S. Pasareanu, Aymeric Fromherz, Xuan-Bach Dinh Le, Willem Visser
2019	—	`conf`	Symbolic execution for attribution and attack synthesis in neural networks. ICSE (Companion Volume) Divya Gopinath, Corina S. Pasareanu, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid
2018	—	`conf`	Analysing the effect of uncertainty in airport surface operations. ISSTA/ECOOP Workshops Heron Yang, Robert Morris, Corina S. Pasareanu
2018	J	`jnl`	Automated circular assume-guarantee reasoning. Formal Aspects Comput. Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham
2018	—	`conf`	Automated program repair with canonical constraints. ICSE (Companion Volume) Andrew Hill, Corina S. Pasareanu, Kathryn T. Stolee
2018	J	`jnl`	Badger: Complexity Analysis with Fuzzing and Symbolic Execution. CoRR Yannic Noller, Rody Kersten, Corina S. Pasareanu
2018	A	`conf`	Badger: complexity analysis with fuzzing and symbolic execution. ISSTA Yannic Noller, Rody Kersten, Corina S. Pasareanu
2018	—	`ch.`	Compositional Reasoning. Handbook of Model Checking Dimitra Giannakopoulou, Kedar S. Namjoshi, Corina S. Pasareanu
2018	J	`jnl`	Compositional Verification for Autonomous Systems with Deep Learning Components. CoRR Corina S. Pasareanu, Divya Gopinath, Huafeng Yu
2018	B	`conf`	DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks. ATVA Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett
2018	J	`jnl`	DifFuzz: Differential Fuzzing for Side-Channel Analysis. CoRR Shirin Nilizadeh, Yannic Noller, Corina S. Pasareanu
2018	B	`conf`	Monte Carlo Tree Search for Finding Costly Paths in Programs. SEFM Kasper Søe Luckow, Corina S. Pasareanu, Willem Visser
2018	—	`ed.`	Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018, Lake Buena Vista, FL, USA, November 04-09, 2018 ESEC/SIGSOFT FSE Gary T. Leavens, Alessandro Garcia, Corina S. Pasareanu
2018	J	`jnl`	Symbolic Execution for Deep Neural Networks. CoRR Divya Gopinath, Kaiyuan Wang, Mengshi Zhang, Corina S. Pasareanu, Sarfraz Khurshid
2018	A	`conf`	Symbolic Side-Channel Analysis for Probabilistic Programs. CSF Pasquale Malacaria, M. H. R. Khouzani, Corina S. Pasareanu, Quoc-Sang Phan, Kasper Søe Luckow
2018	J	`jnl`	Symbolic Side-Channel Analysis for Probabilistic Programs. IACR Cryptol. ePrint Arch. Pasquale Malacaria, M. H. R. Khouzani, Corina S. Pasareanu, Quoc-Sang Phan, Kasper Søe Luckow
2018	A	`conf`	Symbolic path cost analysis for side-channel detection. ISSTA Tegan Brennan, Seemanta Saha, Tevfik Bultan, Corina S. Pasareanu
2018	A	`conf`	Test input generation with Java PathFinder: then and now (invited talk abstract). ISSTA Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser
2018	—	`conf`	Using Test Ranges to Improve Symbolic Execution. NFM Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen, Guowei Yang
2017	—	`conf`	A synergistic approach for distributed symbolic execution using test ranges. ICSE (Companion Volume) Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Guowei Yang
2017	J	`jnl`	DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks. CoRR Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett
2017	J	`jnl`	Guest Editorial. IET Cyper-Phys. Syst.: Theory & Appl. Huafeng Yu, Stanley Bak, Xin Li, Corina S. Pasareanu, Ramesh S., Qi Zhu
2017	—	`conf`	Model-Counting Approaches for Nonlinear Numerical Constraints. NFM Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu
2017	J	`jnl`	Model-counting Approaches For Nonlinear Numerical Constraints. IACR Cryptol. ePrint Arch. Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu
2017	A*	`conf`	POSTER: AFL-based Fuzzing for Java with Kelinci. CCS Rody Kersten, Kasper Søe Luckow, Corina S. Pasareanu
2017	—	`conf`	Probabilistic programming for Java using symbolic execution and model counting. SAICSIT Willem Visser, Corina S. Pasareanu
2017	A	`conf`	Symbolic Complexity Analysis Using Context-Preserving Histories. ICST Kasper Søe Luckow, Rody Kersten, Corina S. Pasareanu
2017	A*	`conf`	Symbolic execution and probabilistic reasoning. LICS Corina S. Pasareanu
2017	A	`conf`	Synthesis of Adaptive Side-Channel Attacks. CSF Quoc-Sang Phan, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria, Tevfik Bultan
2017	J	`jnl`	Synthesis of Adaptive Side-Channel Attacks. IACR Cryptol. ePrint Arch. Quoc-Sang Phan, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria, Tevfik Bultan
2016	—	`conf`	Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement. CAV (1) Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham
2016	B	`conf`	Certified Symbolic Execution. ATVA Rui Qiu, Corina S. Pasareanu, Sarfraz Khurshid
2016	—	`conf`	Log2model: inferring behavioral models from log data. HLDVT Kasper Søe Luckow, Corina S. Pasareanu
2016	A	`conf`	Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT. CSF Corina S. Pasareanu, Quoc-Sang Phan, Pasquale Malacaria
2016	—	`conf`	Planning, Scheduling and Monitoring for Airport Surface Operations. AAAI Workshop: Planning for Hybrid Systems Robert Morris, Corina S. Pasareanu, Kasper Søe Luckow, Waqar Malik, Hang Ma, T. K. Satish Kumar, Sven Koenig
2016	—	`conf`	String analysis for side channels with segmented oracles. SIGSOFT FSE Lucas Bang, Abdulbaki Aydin, Quoc-Sang Phan, Corina S. Pasareanu, Tevfik Bultan
2016	J	`jnl`	Symbolic Arrays in Symbolic PathFinder. ACM SIGSOFT Softw. Eng. Notes Aymeric Fromherz, Kasper Søe Luckow, Corina S. Pasareanu
2016	C	`conf`	Towards MC/DC Coverage of Properties Specification Patterns. ICTAC Ana C. V. de Melo, Corina S. Pasareanu, Simone Hanazumi
2015	B	`conf`	Automated Circular Assume-Guarantee Reasoning. FM Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham
2015	—	`conf`	Compositional Symbolic Execution with Memoized Replay. ICSE (1) Rui Qiu, Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid
2015	—	`ed.`	Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I CAV (1) Daniel Kroening, Corina S. Pasareanu
2015	—	`ed.`	Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II CAV (2) Daniel Kroening, Corina S. Pasareanu
2015	J	`jnl`	Concurrent Bounded Model Checking. ACM SIGSOFT Softw. Eng. Notes Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu
2015	J	`jnl`	From Test Purposes to Formal JPF Properties. ACM SIGSOFT Softw. Eng. Notes Simone Hanazumi, Ana Cristina Vieira de Melo, Corina S. Pasareanu
2015	J	`jnl`	Guest editorial: special multi-issue on selected topics in Automated Software Engineering. Autom. Softw. Eng. Tim Menzies, Corina S. Pasareanu
2015	J	`jnl`	Guest editorial: special multi-issue on selected topics in automated software engineering. Autom. Softw. Eng. Tim Menzies, Corina S. Pasareanu
2015	—	`conf`	Iterative distribution-aware sampling for probabilistic symbolic execution. ESEC/SIGSOFT FSE Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu
2015	—	`conf`	Model Counting for Complex Data Structures. SPIN Antonio Filieri, Marcelo F. Frias, Corina S. Pasareanu, Willem Visser
2015	—	`conf`	Probabilistic Program Analysis. GTTSE Matthew B. Dwyer, Antonio Filieri, Jaco Geldenhuys, Mitchell J. Gerrard, Corina S. Pasareanu, Willem Visser
2015	A*	`conf`	Quantification of Software Changes through Probabilistic Symbolic Execution (N). ASE Antonio Filieri, Corina S. Pasareanu, Guowei Yang
2015	—	`conf`	Statistical Symbolic Execution with Informed Sampling. Software Engineering & Management Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys
2015	J	`jnl`	Symbolic Execution for Checking the Accuracy of Floating-Point Programs. ACM SIGSOFT Softw. Eng. Notes Jaideep Ramachandran, Corina S. Pasareanu, Thomas Wahl
2015	J	`jnl`	Symbolic execution and timed automata model checking for timing analysis of Java real-time systems. EURASIP J. Embed. Syst. Kasper Søe Luckow, Corina S. Pasareanu, Bent Thomsen
2014	—	`conf`	Assume-Guarantee Abstraction Refinement Meets Hybrid Systems. Haifa Verification Conference Sergiy Bogomolov, Goran Frehse, Marius Greitschus, Radu Grosu, Corina S. Pasareanu, Andreas Podelski, Thomas Strump
2014	A*	`conf`	Compositional solution space quantification for probabilistic software analysis. PLDI Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser
2014	A*	`conf`	Exact and approximate probabilistic symbolic execution for nondeterministic programs. ASE Kasper Søe Luckow, Corina S. Pasareanu, Matthew B. Dwyer, Antonio Filieri, Willem Visser
2014	A	`ed.`	International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014 ISSTA Corina S. Pasareanu, Darko Marinov
2014	—	`conf`	On the probabilistic analysis of software (invited talk abstract). WODA+PERTEA@ISSTA Corina S. Pasareanu
2014	J	`jnl`	Predicate abstraction in Java Pathfinder. ACM SIGSOFT Softw. Eng. Notes Jakub Daniel, Pavel Parízek, Corina S. Pasareanu
2014	—	`conf`	Quantifying information leaks using reliability analysis. SPIN Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu, Marcelo d'Amorim
2014	C	`conf`	Reliability Analysis in Symbolic Pathfinder: A brief summary. Software Engineering Antonio Filieri, Corina S. Pasareanu, Willem Visser
2014	J	`jnl`	Rigorous examination of reactive systems - The RERS challenges 2012 and 2013. Int. J. Softw. Tools Technol. Transf. Falk Howar, Malte Isberner, Maik Merten, Bernhard Steffen, Dirk Beyer, Corina S. Pasareanu
2014	J	`jnl`	Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12). Sci. Comput. Program. Corina S. Pasareanu, Gwen Salaün
2014	—	`conf`	Statistical symbolic execution with informed sampling. SIGSOFT FSE Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys
2014	J	`jnl`	Symbolic PathFinder v7. ACM SIGSOFT Softw. Eng. Notes Kasper Søe Luckow, Corina S. Pasareanu
2013	—	`ed.`	ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE '13, Seattle, WA, USA, June 20, 2013 PASTE Stephen N. Freund, Corina S. Pasareanu
2013	—	`conf`	Abstraction and Learning for Infinite-State Compositional Verification. Festschrift for Dave Schmidt Dimitra Giannakopoulou, Corina S. Pasareanu
2013	—	`ed.`	Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers FACS Corina S. Pasareanu, Gwen Salaün
2013	A*	`conf`	Memoise: a tool for memoized symbolic execution. ICSE Guowei Yang, Sarfraz Khurshid, Corina S. Pasareanu
2013	A	`conf`	Polyglot: Systematic Analysis for Multiple Statechart Formalisms. TACAS Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry
2013	A*	`conf`	Reliability analysis in symbolic pathfinder. ICSE Antonio Filieri, Corina S. Pasareanu, Willem Visser
2013	—	`ch.`	Symbolic Execution and Software Testing. Engineering Dependable Software Systems Corina S. Pasareanu
2013	J	`jnl`	Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis. Autom. Softw. Eng. Corina S. Pasareanu, Willem Visser, David H. Bushnell, Jaco Geldenhuys, Peter C. Mehlitz, Neha Rungta
2012	J	`jnl`	Abstract pathfinder. ACM SIGSOFT Softw. Eng. Notes Artem Khyzha, Pavel Parízek, Corina S. Pasareanu
2012	J	`jnl`	Assume-Guarantee Abstraction Refinement for Probabilistic Systems CoRR Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke
2012	A*	`conf`	Assume-Guarantee Abstraction Refinement for Probabilistic Systems. CAV Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke
2012	—	`conf`	Combining Model Checking and Symbolic Execution for Software Testing. TAP@TOOLS Corina S. Pasareanu
2012	—	`conf`	Integrating Statechart Components in Polyglot. NASA Formal Methods Daniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael R. Lowry, Michael W. Whalen
2012	J	`jnl`	Learning Probabilistic Systems from Tree Samples CoRR Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke
2012	A*	`conf`	Learning Probabilistic Systems from Tree Samples. LICS Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke
2012	—	`conf`	Learning Techniques for Software Verification and Validation. ISoLA (1) Corina S. Pasareanu, Mihaela Gheorghiu Bobaru
2012	A	`conf`	Memoized symbolic execution. ISSTA Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid
2012	A	`conf`	Statechart Analysis with Symbolic PathFinder. ICST Corina S. Pasareanu, Daniel Balasubramanian
2012	—	`conf`	Symbolic Execution Enhanced System Testing. VSTTE Misty D. Davies, Corina S. Pasareanu, Vishwanath Raman
2012	A	`conf`	Symbolic Execution with Interval Solving and Meta-heuristic Search. ICST Mateus Borges, Marcelo d'Amorim, Saswat Anand, David H. Bushnell, Corina S. Pasareanu
2012	J	`jnl`	Symbolic quantitative information flow. ACM SIGSOFT Softw. Eng. Notes Quoc-Sang Phan, Pasquale Malacaria, Oksana Tkachuk, Corina S. Pasareanu
2012	J	`jnl`	Testing android apps through symbolic execution. ACM SIGSOFT Softw. Eng. Notes Nariman Mirzaei, Sam Malek, Corina S. Pasareanu, Naeem Esfahani, Riyadh Mahmood
2011	A*	`ed.`	26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011 ASE Perry Alexander, Corina S. Pasareanu, John G. Hosking
2011	—	`conf`	CORAL: Solving Complex Constraints for Symbolic PathFinder. NASA Formal Methods Matheus Souza, Mateus Borges, Marcelo d'Amorim, Corina S. Pasareanu
2011	—	`conf`	Context Synthesis. SFM Dimitra Giannakopoulou, Corina S. Pasareanu
2011	A*	`conf`	Interface decomposition for service compositions. ICSE Domenico Bianculli, Dimitra Giannakopoulou, Corina S. Pasareanu
2011	J	`jnl`	New results in software model checking and analysis. Int. J. Softw. Tools Technol. Transf. Corina S. Pasareanu
2011	A	`conf`	Polyglot: modeling and analysis for multiple Statechart formalisms. ISSTA Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry
2011	J	`jnl`	Preface. Ann. Math. Artif. Intell. Manuela-Luminita Bujorianu, Michael Fisher, Corina S. Pasareanu
2011	C	`conf`	Rapid property specification and checking for model-based formalisms. International Symposium on Rapid System Prototyping Daniel Balasubramanian, Gábor Pap, Harmon Nine, Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger
2011	A*	`conf`	Symbolic execution for software testing in practice: preliminary assessment. ICSE Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser
2011	A	`conf`	Symbolic execution with mixed concrete-symbolic solving. ISSTA Corina S. Pasareanu, Neha Rungta, Willem Visser
2010	J	`jnl`	Editorial: automated compositional verification. IET Softw. Dimitra Giannakopoulou, Corina S. Pasareanu
2010	A*	`conf`	Learning Component Interfaces with May and Must Abstractions. CAV Rishabh Singh, Dimitra Giannakopoulou, Corina S. Pasareanu
2010	—	`conf`	Learning Techniques for Software Verification and Validation - Special Track at ISoLA 2010. ISoLA (1) Dimitra Giannakopoulou, Corina S. Pasareanu
2010	A	`conf`	Parallel symbolic execution for structural test generation. ISSTA Matt Staats, Corina S. Pasareanu
2010	J	`jnl`	Preface. Sci. Comput. Program. Carlos Canal, Corina S. Pasareanu
2010	J	`jnl`	Preface: Special Issue on Nasa Formal Methods Symposium 2009. Innov. Syst. Softw. Eng. Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu
2010	—	`ed.`	Proceedings of the 5th International Workshop on Formal Aspects of Component Software, FACS 2008, Malaga, Spain, September 10-12, 2008 FACS Carlos Canal, Corina S. Pasareanu
2010	A*	`conf`	Symbolic PathFinder: symbolic execution of Java bytecode. ASE Corina S. Pasareanu, Neha Rungta
2009	J	`jnl`	A survey of new trends in symbolic execution for software testing and analysis. Int. J. Softw. Tools Technol. Transf. Corina S. Pasareanu, Willem Visser
2009	—	`ed.`	First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009. NASA Formal Methods Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu
2009	B	`conf`	Interface Generation and Compositional Verification in JavaPathfinder. FASE Dimitra Giannakopoulou, Corina S. Pasareanu
2009	—	`ed.`	Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings SPIN Corina S. Pasareanu
2009	J	`jnl`	Symbolic execution with abstraction. Int. J. Softw. Tools Technol. Transf. Saswat Anand, Corina S. Pasareanu, Willem Visser
2008	B	`conf`	Assume-Guarantee Verification for Interface Automata. FM Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu
2008	J	`jnl`	Assume-guarantee testing for software components. IET Softw. Dimitra Giannakopoulou, Corina S. Pasareanu, Colin Blundell
2008	A*	`conf`	Automated Assume-Guarantee Reasoning by Abstraction Refinement. CAV Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou
2008	A	`conf`	Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. ISSTA Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape
2008	—	`conf`	Differential symbolic execution. SIGSOFT FSE Suzette Person, Matthew B. Dwyer, Sebastian G. Elbaum, Corina S. Pasareanu
2008	J	`jnl`	Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning. Formal Methods Syst. Des. Corina S. Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, Jamieson M. Cobleigh, Howard Barringer
2008	—	`conf`	Preface. FACS Carlos Canal, Corina S. Pasareanu
2008	J	`jnl`	Special issue on learning techniques for compositional reasoning. Formal Methods Syst. Des. Dimitra Giannakopoulou, Corina S. Pasareanu
2008	A*	`conf`	Tool Support for Parametric Analysis of Large Software Simulation Systems. ASE Johann Schumann, Karen Gundy-Burlet, Corina S. Pasareanu, Tim Menzies, Tony Barrett
2007	—	`conf`	Formal Software Analysis Emerging Trends in Software Model Checking. FOSE Matthew B. Dwyer, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser
2007	A	`conf`	JPF-SE: A Symbolic Execution Extension to Java PathFinder. TACAS Saswat Anand, Corina S. Pasareanu, Willem Visser
2007	J	`jnl`	Predicate Abstraction with Under-Approximation Refinement. Log. Methods Comput. Sci. Corina S. Pasareanu, Radek Pelánek, Willem Visser
2007	J	`jnl`	Predicate Abstraction with Under-approximation Refinement CoRR Corina S. Pasareanu, Radek Pelánek, Willem Visser
2007	A	`conf`	Refining Interface Alphabets for Compositional Verification. TACAS Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu
2007	—	`conf`	Symbolic Execution and Model Checking for Testing. Haifa Verification Conference Corina S. Pasareanu, Willem Visser
2006	J	`jnl`	Assume-guarantee testing. ACM SIGSOFT Softw. Eng. Notes Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu
2006	—	`conf`	Symbolic Execution with Abstract Subsumption Checking. SPIN Saswat Anand, Corina S. Pasareanu, Willem Visser
2006	A	`conf`	Test input generation for java containers using state matching. ISSTA Willem Visser, Corina S. Pasareanu, Radek Pelánek
2006	—	`conf`	Towards a Compositional SPIN. SPIN Corina S. Pasareanu, Dimitra Giannakopoulou
2005	—	`conf`	Assume-guarantee testing. SAVCBS@ESEC/FSE Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu
2005	J	`jnl`	Combining test case generation and runtime verification. Theor. Comput. Sci. Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington
2005	J	`jnl`	Component Verification with Automatically Generated Assumptions. Autom. Softw. Eng. Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer
2005	A*	`conf`	Concrete Model Checking with Abstract Matching and Refinement. CAV Corina S. Pasareanu, Radek Pelánek, Willem Visser
2005	—	`conf`	Learning-Based Assume-Guarantee Verification (Tool Paper). SPIN Dimitra Giannakopoulou, Corina S. Pasareanu
2005	A*	`conf`	Test input generation for red-black trees using abstraction. ASE Willem Visser, Corina S. Pasareanu, Radek Pelánek
2005	J	`jnl`	Verifying Time Partitioning in the DEOS Scheduling Kernel. Formal Methods Syst. Des. John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger
2004	A*	`conf`	Assume-Guarantee Verification of Source Code with Design-Level Assumptions. ICSE Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh
2004	J	`jnl`	Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Formal Methods Syst. Des. Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington
2004	A	`conf`	Test input generation with java PathFinder. ISSTA Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid
2004	—	`conf`	Verification of Java Programs Using Symbolic Execution and Invariant Generation. SPIN Corina S. Pasareanu, Willem Visser
2003	A*	`conf`	Automated Environment Generation for Software Model Checking. ASE Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasareanu
2003	—	`conf`	Experiments with Test Case Generation and Runtime Analysis. Abstract State Machines Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser
2003	J	`jnl`	Finding feasible abstract counter-examples. Int. J. Softw. Tools Technol. Transf. Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser
2003	A	`conf`	Generalized Symbolic Execution for Model Checking and Testing. TACAS Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser
2003	A	`conf`	Learning Assumptions for Compositional Verification. TACAS Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu
2002	A*	`conf`	Assumption Generation for Software Component Verification. ASE Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer
2002	—	`conf`	Foundations of the Bandera Abstraction Tools. The Essence of Computation John Hatcliff, Matthew B. Dwyer, Corina S. Pasareanu, Robby
2001	A	`conf`	Finding Feasible Counter-examples when Model Checking Abstracted Java Programs. TACAS Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser
2001	A*	`conf`	Tool-Supported Program Abstraction for Finite-State Verification. ICSE Matthew B. Dwyer, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser
2000	A*	`conf`	Bandera: extracting finite-state models from Java source code. ICSE James C. Corbett, Matthew B. Dwyer, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng
1999	—	`conf`	Assume-Guarantee Model Checking of Software: A Comparative Case Study. SPIN Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth
1998	—	`conf`	Filter-Based Model Checking of Partial Systems. SIGSOFT FSE Matthew B. Dwyer, Corina S. Pasareanu
1998	—	`conf`	Model Checking Generic Container Implementations. Generic Programming Matthew B. Dwyer, Corina S. Pasareanu