![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Corina S. Pasareanu
Person information
- affiliation: Carnegie Mellon University, Pittsburgh, USA
- affiliation: NASA Ames Research Center, Mountain View, CA, USA
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j49]Amirfarhad Nilizadeh
, Gary T. Leavens
, Corina S. Pasareanu
, Yannic Noller
:
JMLKelinci+: Detecting Semantic Bugs and Covering Branches with Valid Inputs Using Coverage-guided Fuzzing and Runtime Assertion Checking. Formal Aspects Comput. 36(1): 2:1-2:24 (2024) - [j48]Ismet Burak Kadron
, Yannic Noller
, Rohan Padhye
, Tevfik Bultan, Corina S. Pasareanu
, Koushik Sen:
Fuzzing, Symbolic Execution, and Expert Guidance for Better Testing. IEEE Softw. 41(1): 98-104 (2024) - [j47]Radu Calinescu
, Calum Imrie
, Ravi Mangal
, Genaína Nunes Rodrigues
, Corina S. Pasareanu
, Misael Alpizar Santana
, Gricel Vázquez
:
Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components. IEEE Trans. Software Eng. 50(6): 1374-1395 (2024) - [i36]Dat Nguyen, Hieu M. Vu, Cong-Thanh Le, Bach Le, David Lo, Corina S. Pasareanu:
Inferring Properties of Graph Neural Networks. CoRR abs/2401.03790 (2024) - [i35]Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu:
Concept-based Analysis of Neural Networks via Vision-Language Models. CoRR abs/2403.19837 (2024) - [i34]Eduard Pinconschi, Divya Gopinath, Rui Abreu, Corina S. Pasareanu:
Evaluating Deep Neural Networks in Deployment (A Comparative and Replicability Study). CoRR abs/2407.08730 (2024) - 2023
- [j46]Marieke Huisman
, Corina S. Pasareanu, Naijun Zhan:
Introduction to the Special Section on FM 2021. Formal Aspects Comput. 35(2): 6:1-6:2 (2023) - [j45]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:
The Java Pathfinder Workshop 2022. ACM SIGSOFT Softw. Eng. Notes 48(1): 19-21 (2023) - [j44]Muhammad Usman, Youcheng Sun, Divya Gopinath, Rishi Dange, Luca Manolache, Corina S. Pasareanu:
An overview of structural coverage metrics for testing neural networks. Int. J. Softw. Tools Technol. Transf. 25(3): 393-405 (2023) - [c135]Eduard Pinconschi, Sofia Reis, Chi Zhang, Rui Abreu, Hakan Erdogmus
, Corina S. Pasareanu, Limin Jia
:
Tenet: A Flexible Framework for Machine-Learning-based Vulnerability Detection. CAIN 2023: 102-103 - [c134]Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu:
Closed-Loop Analysis of Vision-Based Autonomous Systems: A Case Study. CAV (1) 2023: 289-303 - [c133]Sofia Reis
, Rui Abreu
, Corina S. Pasareanu
:
Are security commit messages informative? Not enough! EASE 2023: 196-199 - [c132]Divya Gopinath, Luca Lungeanu, Ravi Mangal, Corina S. Pasareanu, Siqi Xie, Huafeng Yu:
Feature-Guided Analysis of Neural Networks. FASE 2023: 133-142 - [c131]Ravi Mangal, Zifan Wang, Chi Zhang, Klas Leino, Corina S. Pasareanu, Matt Fredrikson:
On the Perils of Cascading Robust Classifiers. ICLR 2023 - [c130]Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu:
Assumption Generation for Learning-Enabled Autonomous Systems. RV 2023: 3-22 - [c129]Haoze Wu
, Teruhiro Tagomori, Alexander Robey, Fengjun Yang, Nikolai Matni, George J. Pappas
, Hamed Hassani, Corina S. Pasareanu, Clark W. Barrett
:
Toward Certified Robustness Against Real-World Distribution Shifts. SaTML 2023: 537-553 - [c128]Muhammad Usman, Youcheng Sun, Divya Gopinath, Corina S. Pasareanu:
Rule-Based Testing of Neural Networks. SE4SafeML@SIGSOFT FSE 2023: 1-5 - [i33]Sofia Reis, Corina S. Pasareanu, Rui Abreu, Hakan Erdogmus
:
SECOMlint: A linter for Security Commit Messages. CoRR abs/2301.06959 (2023) - [i32]Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Sinem Getir Yaman, Calum Imrie, Radu Calinescu, Huafeng Yu:
Closed-loop Analysis of Vision-based Autonomous Systems: A Case Study. CoRR abs/2302.04634 (2023) - [i31]Corina S. Pasareanu, Ravi Mangal, Divya Gopinath, Huafeng Yu:
Assumption Generation for the Verification of Learning-Enabled Autonomous Systems. CoRR abs/2305.18372 (2023) - [i30]Ravi Mangal, Klas Leino, Zifan Wang, Kai Hu, Weicheng Yu, Corina S. Pasareanu, Anupam Datta, Matt Fredrikson:
Is Certifying 𝓁p Robustness Still Worthwhile? CoRR abs/2310.09361 (2023) - [i29]Chi Zhang, Zifan Wang, Ravi Mangal, Matt Fredrikson, Limin Jia, Corina S. Pasareanu:
Transfer Attacks and Defenses for Large Language Models on Coding Tasks. CoRR abs/2311.13445 (2023) - 2022
- [j43]Marieke Huisman
, Corina S. Pasareanu, Naijun Zhan:
Preface for the formal methods in system design special issue on 'Formal Methods 2021'. Formal Methods Syst. Des. 61(1): 1-2 (2022) - [j42]Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald:
Assume, guarantee or repair: a regular framework for non regular properties. Int. J. Softw. Tools Technol. Transf. 24(5): 667-689 (2022) - [j41]Corina S. Pasareanu, Andreas Zeller:
IEEE International Conference on Software Testing, Verification and Validation (ICST 2020). Softw. Test. Verification Reliab. 32(5) (2022) - [j40]Klas Leino, Chi Zhang, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu:
Degradation Attacks on Certifiably Robust Neural Networks. Trans. Mach. Learn. Res. 2022 (2022) - [c127]Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Pasareanu:
VPN: Verification of Poisoning in Neural Networks. NSV/FoMLAS@CAV 2022: 3-14 - [c126]Ravi Mangal, Corina S. Pasareanu:
A Cascade of Checkers for Run-time Certification of Local Robustness. NSV/FoMLAS@CAV 2022: 15-28 - [c125]Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu:
Self-correcting Neural Networks for Safe Classification. NSV/FoMLAS@CAV 2022: 96-130 - [c124]Hong Jin Kang, Truong Giang Nguyen, Xuan-Bach Dinh Le, Corina S. Pasareanu, David Lo
:
Test mimicry to assess the exploitability of library vulnerabilities. ISSTA 2022: 276-288 - [c123]Sofia Reis, Rui Abreu, Hakan Erdogmus
, Corina S. Pasareanu:
SECOM: Towards a convention for security commit messages. MSR 2022: 764-765 - [c122]Muhammad Usman, Divya Gopinath, Youcheng Sun, Corina S. Pasareanu:
Rule-Based Runtime Mitigation Against Poison Attacks on Neural Networks. RV 2022: 67-84 - [e14]Helmut Seidl, Zhiming Liu
, Corina S. Pasareanu:
Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings. Lecture Notes in Computer Science 13572, Springer 2022, ISBN 978-3-031-17714-9 [contents] - [i28]Muhammad Usman, Youcheng Sun, Divya Gopinath, Corina S. Pasareanu:
AntidoteRT: Run-time Detection and Correction of Poison Attacks on Neural Networks. CoRR abs/2202.01179 (2022) - [i27]Radu Calinescu, Calum Imrie, Ravi Mangal, Corina S. Pasareanu, Misael Alpizar Santana, Gricel Vázquez:
Discrete-Event Controller Synthesis for Autonomous Systems with Deep-Learning Perception Components. CoRR abs/2202.03360 (2022) - [i26]Youcheng Sun, Muhammad Usman, Divya Gopinath, Corina S. Pasareanu:
VPN: Verification of Poisoning in Neural Networks. CoRR abs/2205.03894 (2022) - [i25]Ravi Mangal, Zifan Wang, Chi Zhang, Klas Leino, Corina S. Pasareanu, Matt Fredrikson:
On the Perils of Cascading Robust Classifiers. CoRR abs/2206.00278 (2022) - [i24]Haoze Wu, Teruhiro Tagomori, Alexander Robey, Fengjun Yang, Nikolai Matni, George J. Pappas
, Hamed Hassani, Corina S. Pasareanu, Clark W. Barrett:
Toward Certified Robustness Against Real-World Distribution Shifts. CoRR abs/2206.03669 (2022) - [i23]Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald:
Assume, Guarantee or Repair - A Regular Framework for Non Regular Properties (full version). CoRR abs/2207.10534 (2022) - [i22]Muhammad Usman, Youcheng Sun, Divya Gopinath, Rishi Dange, Luca Manolache, Corina S. Pasareanu:
An Overview of Structural Coverage Metrics for Testing Neural Networks. CoRR abs/2208.03407 (2022) - [i21]Hong Jin Kang, Pattarakrit Rattanukul, Stefanus Agus Haryono, Truong Giang Nguyen, Chaiyong Ragkhitwetsagul, Corina S. Pasareanu, David Lo:
SkipFuzz: Active Learning-based Input Selection for Fuzzing Deep Learning Libraries. CoRR abs/2212.04038 (2022) - 2021
- [c121]Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller, Corina S. Pasareanu:
NNrepair: Constraint-Based Repair of Neural Network Classifiers. CAV (1) 2021: 3-25 - [c120]Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia
, Corina S. Pasareanu:
Learning Assumptions for Verifying Cryptographic Protocols Compositionally. FACS 2021: 3-23 - [c119]Aymeric Fromherz, Klas Leino, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu:
Fast Geometric Projections for Local Robustness Certification. ICLR 2021 - [c118]Muhammad Usman, Yannic Noller
, Corina S. Pasareanu, Youcheng Sun
, Divya Gopinath:
NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks. ICSE (Companion Volume) 2021: 25-28 - [c117]Amirfarhad Nilizadeh, Gary T. Leavens, Xuan-Bach Dinh Le, Corina S. Pasareanu, David R. Cok:
Exploring True Test Overfitting in Dynamic Automated Program Repair using Formal Methods. ICST 2021: 229-240 - [c116]Yoshiki Takashima, Ruben Martins, Limin Jia
, Corina S. Pasareanu:
SyRust: automatic testing of Rust libraries with semantic-aware program synthesis. PLDI 2021: 899-913 - [c115]Colin Paterson, Haoze Wu
, John Grese, Radu Calinescu, Corina S. Pasareanu, Clark W. Barrett
:
DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers. SAFECOMP 2021: 3-17 - [c114]Amirfarhad Nilizadeh, Gary T. Leavens, Corina S. Pasareanu:
Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs. TAP@STAF 2021: 72-84 - [c113]Ismet Burak Kadron, Divya Gopinath, Corina S. Pasareanu, Huafeng Yu:
Case Study: Analysis of Autonomous Center Line Tracking Neural Networks. VSTTE 2021: 104-121 - [c112]Muhammad Usman, Divya Gopinath, Corina S. Pasareanu:
QuantifyML: How Good is my Machine Learning Model? FMAS 2021: 92-100 - [e13]Marieke Huisman
, Corina S. Pasareanu, Naijun Zhan
:
Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings. Lecture Notes in Computer Science 13047, Springer 2021, ISBN 978-3-030-90869-0 [contents] - [e12]Radu Calinescu
, Corina S. Pasareanu:
Software Engineering and Formal Methods - 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings. Lecture Notes in Computer Science 13085, Springer 2021, ISBN 978-3-030-92123-1 [contents] - [i20]Muhammad Usman, Yannic Noller, Corina S. Pasareanu, Youcheng Sun, Divya Gopinath:
NEUROSPF: A tool for the Symbolic Analysis of Neural Networks. CoRR abs/2103.00124 (2021) - [i19]Colin Paterson, Haoze Wu, John Grese, Radu Calinescu, Corina S. Pasareanu, Clark W. Barrett:
DeepCert: Verification of Contextually Relevant Robustness for Neural Network Image Classifiers. CoRR abs/2103.01629 (2021) - [i18]Muhammad Usman, Divya Gopinath, Youcheng Sun, Yannic Noller
, Corina S. Pasareanu:
NNrepair: Constraint-based Repair of Neural Network Classifiers. CoRR abs/2103.12535 (2021) - [i17]David Coimbra, Sofia Reis, Rui Abreu, Corina S. Pasareanu, Hakan Erdogmus
:
On using distributed representations of source code for the detection of C security vulnerabilities. CoRR abs/2106.01367 (2021) - [i16]Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu:
Self-Repairing Neural Networks: Provable Safety for Deep Networks via Dynamic Repair. CoRR abs/2107.11445 (2021) - 2020
- [b1]Corina S. Pasareanu:
Symbolic Execution and Quantitative Reasoning: Applications to Software Safety and Security. Synthesis Lectures on Software Engineering, Morgan & Claypool Publishers 2020, ISBN 978-3-031-01423-9 - [j39]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:
The Java Pathfinder Workshop 2019. ACM SIGSOFT Softw. Eng. Notes 45(2): 20-22 (2020) - [j38]Kasper Søe Luckow
, Rody Kersten, Corina S. Pasareanu:
Complexity vulnerability analysis using symbolic execution. Softw. Test. Verification Reliab. 30(7-8) (2020) - [c111]Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia:
A Programmatic and Semantic Approach to Explaining and Debugging Neural Network Based Object Detectors. CVPR 2020: 11125-11134 - [c110]Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia
, Corina S. Pasareanu:
Automating Compositional Analysis of Authentication Protocols. FMCAD 2020: 113-118 - [c109]Haoze Wu
, Alex Ozdemir, Aleksandar Zeljic, Kyle Julian, Ahmed Irfan, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett:
Parallelization Techniques for Verifying Neural Networks. FMCAD 2020: 128-137 - [c108]Corina S. Pasareanu, Hayes Converse, Antonio Filieri, Divya Gopinath:
On the probabilistic analysis of neural networks. SEAMS@ICSE 2020: 5-8 - [c107]Yannic Noller
, Corina S. Pasareanu, Marcel Böhme, Youcheng Sun
, Hoang Lam Nguyen, Lars Grunske
:
HyDiff: hybrid differential software analysis. ICSE 2020: 1273-1285 - [c106]Hayes Converse, Antonio Filieri, Divya Gopinath, Corina S. Pasareanu:
Probabilistic Symbolic Analysis of Neural Networks. ISSRE 2020: 148-159 - [c105]Shirin Nilizadeh, Yannic Noller, Corina S. Pasareanu:
DifFuzz: Differential Fuzzing for Side-Channel Analysis. SE 2020: 125-126 - [c104]Corina S. Pasareanu:
SafeDNN: understanding and verifying neural networks (keynote). A-TEST@ESEC/SIGSOFT FSE 2020: 1 - [c103]Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald:
Assume, Guarantee or Repair. TACAS (1) 2020: 211-227 - [e11]Sarfraz Khurshid, Corina S. Pasareanu:
ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, USA, July 18-22, 2020. ACM 2020, ISBN 978-1-4503-8008-9 [contents] - [i15]Aymeric Fromherz, Klas Leino, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu:
Fast Geometric Projections for Local Robustness Certification. CoRR abs/2002.04742 (2020) - [i14]Haoze Wu, Alex Ozdemir, Aleksandar Zeljic, Ahmed Irfan, Kyle Julian, Divya Gopinath, Sadjad Fouladi, Guy Katz, Corina S. Pasareanu, Clark W. Barrett:
Parallelization Techniques for Verifying Neural Networks. CoRR abs/2004.08440 (2020)
2010 – 2019
- 2019
- [j37]Corina S. Pasareanu, Rody Kersten, Kasper Søe Luckow, Quoc-Sang Phan:
Chapter Six - Symbolic Execution and Recent Applications to Worst-Case Execution, Load Testing, and Security Analysis. Adv. Comput. 113: 289-314 (2019) - [j36]Guowei Yang
, Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen:
A synergistic approach to improving symbolic execution using test ranges. Innov. Syst. Softw. Eng. 15(3-4): 325-342 (2019) - [j35]Xuan-Bach Dinh Le, Corina S. Pasareanu, Rohan Padhye
, David Lo
, Willem Visser, Koushik Sen:
Saffron: Adaptive Grammar-based Fuzzing for Worst-Case Analysis. ACM SIGSOFT Softw. Eng. Notes 44(4): 14 (2019) - [c102]Shirin Nilizadeh, Yannic Noller
, Corina S. Pasareanu:
DifFuzz: differential fuzzing for side-channel analysis. ICSE 2019: 176-187 - [c101]Divya Gopinath, Corina S. Pasareanu, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid:
Symbolic execution for attribution and attack synthesis in neural networks. ICSE (Companion Volume) 2019: 282-283 - [c100]Xuan-Bach Dinh Le, Lingfeng Bao, David Lo
, Xin Xia, Shanping Li, Corina S. Pasareanu:
On reliability of patch correctness assessment. ICSE 2019: 524-535 - [c99]Divya Gopinath, Mengshi Zhang, Kaiyuan Wang, Ismet Burak Kadron, Corina S. Pasareanu, Sarfraz Khurshid:
Symbolic Execution for Importance Analysis and Adversarial Generation in Neural Networks. ISSRE 2019: 313-322 - [c98]Divya Gopinath, Hayes Converse, Corina S. Pasareanu, Ankur Taly:
Property Inference for Deep Neural Networks. ASE 2019: 797-809 - [c97]Yannic Noller, Rody Kersten, Corina S. Pasareanu:
Badger: Complexity Analysis with Fuzzing and Symbolic Execution. SE/SWM 2019: 65-66 - [c96]Yannic Noller, Corina S. Pasareanu, Aymeric Fromherz, Xuan-Bach Dinh Le, Willem Visser:
Symbolic Pathfinder for SV-COMP - (Competition Contribution). TACAS (3) 2019: 239-243 - [i13]Divya Gopinath, Ankur Taly, Hayes Converse, Corina S. Pasareanu:
Finding Invariants in Deep Neural Networks. CoRR abs/1904.13215 (2019) - [i12]Edward Kim, Divya Gopinath, Corina S. Pasareanu, Sanjit A. Seshia:
A Programmatic and Semantic Approach to Explaining and DebuggingNeural Network Based Object Detectors. CoRR abs/1912.00289 (2019) - 2018
- [j34]Karam Abd Elkader
, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham:
Automated circular assume-guarantee reasoning. Formal Aspects Comput. 30(5): 571-595 (2018) - [c95]Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett:
DeepSafe: A Data-Driven Approach for Assessing Robustness of Neural Networks. ATVA 2018: 3-19 - [c94]Pasquale Malacaria, M. H. R. Khouzani, Corina S. Pasareanu, Quoc-Sang Phan
, Kasper Søe Luckow:
Symbolic Side-Channel Analysis for Probabilistic Programs. CSF 2018: 313-327 - [c93]Andrew Hill, Corina S. Pasareanu, Kathryn T. Stolee:
Automated program repair with canonical constraints. ICSE (Companion Volume) 2018: 339-341 - [c92]Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser:
Test input generation with Java PathFinder: then and now (invited talk abstract). ISSTA 2018: 1-2 - [c91]Tegan Brennan, Seemanta Saha
, Tevfik Bultan, Corina S. Pasareanu:
Symbolic path cost analysis for side-channel detection. ISSTA 2018: 27-37 - [c90]Heron Yang, Robert Morris, Corina S. Pasareanu:
Analysing the effect of uncertainty in airport surface operations. ISSTA/ECOOP Workshops 2018: 132-137 - [c89]Yannic Noller
, Rody Kersten, Corina S. Pasareanu:
Badger: complexity analysis with fuzzing and symbolic execution. ISSTA 2018: 322-332 - [c88]Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen, Guowei Yang
:
Using Test Ranges to Improve Symbolic Execution. NFM 2018: 416-434 - [c87]Kasper Søe Luckow, Corina S. Pasareanu, Willem Visser:
Monte Carlo Tree Search for Finding Costly Paths in Programs. SEFM 2018: 123-138 - [p2]Dimitra Giannakopoulou, Kedar S. Namjoshi, Corina S. Pasareanu:
Compositional Reasoning. Handbook of Model Checking 2018: 345-383 - [e10]Gary T. Leavens, Alessandro Garcia, Corina S. Pasareanu:
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. ACM 2018, ISBN 978-1-4503-5573-5 [contents] - [i11]Yannic Noller, Rody Kersten, Corina S. Pasareanu:
Badger: Complexity Analysis with Fuzzing and Symbolic Execution. CoRR abs/1806.03283 (2018) - [i10]Divya Gopinath, Kaiyuan Wang, Mengshi Zhang, Corina S. Pasareanu, Sarfraz Khurshid:
Symbolic Execution for Deep Neural Networks. CoRR abs/1807.10439 (2018) - [i9]Corina S. Pasareanu, Divya Gopinath, Huafeng Yu:
Compositional Verification for Autonomous Systems with Deep Learning Components. CoRR abs/1810.08303 (2018) - [i8]Shirin Nilizadeh, Yannic Noller, Corina S. Pasareanu:
DifFuzz: Differential Fuzzing for Side-Channel Analysis. CoRR abs/1811.07005 (2018) - [i7]Pasquale Malacaria, M. H. R. Khouzani, Corina S. Pasareanu, Quoc-Sang Phan, Kasper Søe Luckow:
Symbolic Side-Channel Analysis for Probabilistic Programs. IACR Cryptol. ePrint Arch. 2018: 329 (2018) - 2017
- [j33]Huafeng Yu, Stanley Bak, Xin Li, Corina S. Pasareanu, Ramesh S., Qi Zhu:
Guest Editorial. IET Cyper-Phys. Syst.: Theory & Appl. 2(2): 55-56 (2017) - [c86]Rody Kersten, Kasper Søe Luckow, Corina S. Pasareanu:
POSTER: AFL-based Fuzzing for Java with Kelinci. CCS 2017: 2511-2513 - [c85]Quoc-Sang Phan
, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria, Tevfik Bultan:
Synthesis of Adaptive Side-Channel Attacks. CSF 2017: 328-342 - [c84]Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Guowei Yang
:
A synergistic approach for distributed symbolic execution using test ranges. ICSE (Companion Volume) 2017: 130-132 - [c83]Kasper Søe Luckow, Rody Kersten, Corina S. Pasareanu:
Symbolic Complexity Analysis Using Context-Preserving Histories. ICST 2017: 58-68 - [c82]Corina S. Pasareanu:
Symbolic execution and probabilistic reasoning. LICS 2017: 1 - [c81]Mateus Borges, Quoc-Sang Phan
, Antonio Filieri
, Corina S. Pasareanu:
Model-Counting Approaches for Nonlinear Numerical Constraints. NFM 2017: 131-138 - [c80]Willem Visser, Corina S. Pasareanu:
Probabilistic programming for Java using symbolic execution and model counting. SAICSIT 2017: 35:1-35:10 - [i6]Divya Gopinath, Guy Katz, Corina S. Pasareanu, Clark W. Barrett:
DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks. CoRR abs/1710.00486 (2017) - [i5]Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu:
Model-counting Approaches For Nonlinear Numerical Constraints. IACR Cryptol. ePrint Arch. 2017: 244 (2017) - [i4]Quoc-Sang Phan, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria, Tevfik Bultan:
Synthesis of Adaptive Side-Channel Attacks. IACR Cryptol. ePrint Arch. 2017: 401 (2017) - 2016
- [j32]Aymeric Fromherz, Kasper Søe Luckow, Corina S. Pasareanu:
Symbolic Arrays in Symbolic PathFinder. ACM SIGSOFT Softw. Eng. Notes 41(6): 1-5 (2016) - [c79]Robert Morris, Corina S. Pasareanu, Kasper Søe Luckow, Waqar Malik, Hang Ma, T. K. Satish Kumar, Sven Koenig:
Planning, Scheduling and Monitoring for Airport Surface Operations. AAAI Workshop: Planning for Hybrid Systems 2016 - [c78]Rui Qiu, Corina S. Pasareanu, Sarfraz Khurshid:
Certified Symbolic Execution. ATVA 2016: 495-511 - [c77]Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham
:
Automated Circular Assume-Guarantee Reasoning with N-way Decomposition and Alphabet Refinement. CAV (1) 2016: 329-351 - [c76]Corina S. Pasareanu, Quoc-Sang Phan
, Pasquale Malacaria:
Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT. CSF 2016: 387-400 - [c75]Kasper Søe Luckow, Corina S. Pasareanu:
Log2model: inferring behavioral models from log data. HLDVT 2016: 25-29 - [c74]Ana C. V. de Melo, Corina S. Pasareanu, Simone Hanazumi:
Towards MC/DC Coverage of Properties Specification Patterns. ICTAC 2016: 158-175 - [c73]Lucas Bang, Abdulbaki Aydin, Quoc-Sang Phan
, Corina S. Pasareanu, Tevfik Bultan:
String analysis for side channels with segmented oracles. SIGSOFT FSE 2016: 193-204 - 2015
- [j31]Tim Menzies
, Corina S. Pasareanu:
Guest editorial: special multi-issue on selected topics in Automated Software Engineering. Autom. Softw. Eng. 22(3): 289-290 (2015) - [j30]Tim Menzies
, Corina S. Pasareanu:
Guest editorial: special multi-issue on selected topics in automated software engineering. Autom. Softw. Eng. 22(4): 437-438 (2015) - [j29]Kasper Søe Luckow, Corina S. Pasareanu, Bent Thomsen
:
Symbolic execution and timed automata model checking for timing analysis of Java real-time systems. EURASIP J. Embed. Syst. 2015: 2 (2015) - [j28]Simone Hanazumi, Ana Cristina Vieira de Melo, Corina S. Pasareanu:
From Test Purposes to Formal JPF Properties. ACM SIGSOFT Softw. Eng. Notes 40(1): 1-5 (2015) - [j27]Quoc-Sang Phan
, Pasquale Malacaria, Corina S. Pasareanu:
Concurrent Bounded Model Checking. ACM SIGSOFT Softw. Eng. Notes 40(1): 1-5 (2015) - [j26]Jaideep Ramachandran, Corina S. Pasareanu, Thomas Wahl:
Symbolic Execution for Checking the Accuracy of Floating-Point Programs. ACM SIGSOFT Softw. Eng. Notes 40(1): 1-5 (2015) - [c72]Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham
:
Automated Circular Assume-Guarantee Reasoning. FM 2015: 23-39 - [c71]Matthew B. Dwyer, Antonio Filieri
, Jaco Geldenhuys, Mitchell J. Gerrard, Corina S. Pasareanu, Willem Visser:
Probabilistic Program Analysis. GTTSE 2015: 1-25 - [c70]Rui Qiu, Guowei Yang
, Corina S. Pasareanu, Sarfraz Khurshid:
Compositional Symbolic Execution with Memoized Replay. ICSE (1) 2015: 632-642 - [c69]Antonio Filieri
, Corina S. Pasareanu, Guowei Yang
:
Quantification of Software Changes through Probabilistic Symbolic Execution (N). ASE 2015: 703-708 - [c68]Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys:
Statistical Symbolic Execution with Informed Sampling. Software Engineering & Management 2015: 51-52 - [c67]Mateus Borges, Antonio Filieri
, Marcelo d'Amorim
, Corina S. Pasareanu:
Iterative distribution-aware sampling for probabilistic symbolic execution. ESEC/SIGSOFT FSE 2015: 866-877 - [c66]Antonio Filieri
, Marcelo F. Frias, Corina S. Pasareanu, Willem Visser:
Model Counting for Complex Data Structures. SPIN 2015: 222-241 - [e9]Daniel Kroening
, Corina S. Pasareanu:
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part I. Lecture Notes in Computer Science 9206, Springer 2015, ISBN 978-3-319-21689-8 [contents] - [e8]Daniel Kroening
, Corina S. Pasareanu:
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Part II. Lecture Notes in Computer Science 9207, Springer 2015, ISBN 978-3-319-21667-6 [contents] - 2014
- [j25]Corina S. Pasareanu, Gwen Salaün:
Special Issue on Formal Aspects of Component Software (Selected Papers from FACS'12). Sci. Comput. Program. 91: 1-2 (2014) - [j24]Jakub Daniel, Pavel Parízek, Corina S. Pasareanu:
Predicate abstraction in Java Pathfinder. ACM SIGSOFT Softw. Eng. Notes 39(1): 1-5 (2014) - [j23]Kasper Søe Luckow, Corina S. Pasareanu:
Symbolic PathFinder v7. ACM SIGSOFT Softw. Eng. Notes 39(1): 1-5 (2014) - [j22]Falk Howar, Malte Isberner
, Maik Merten, Bernhard Steffen, Dirk Beyer
, Corina S. Pasareanu:
Rigorous examination of reactive systems - The RERS challenges 2012 and 2013. Int. J. Softw. Tools Technol. Transf. 16(5): 457-464 (2014) - [c65]Sergiy Bogomolov, Goran Frehse
, Marius Greitschus, Radu Grosu, Corina S. Pasareanu, Andreas Podelski, Thomas Strump:
Assume-Guarantee Abstraction Refinement Meets Hybrid Systems. Haifa Verification Conference 2014: 116-131 - [c64]Corina S. Pasareanu:
On the probabilistic analysis of software (invited talk abstract). WODA+PERTEA@ISSTA 2014: 10 - [c63]Kasper Søe Luckow, Corina S. Pasareanu, Matthew B. Dwyer
, Antonio Filieri
, Willem Visser:
Exact and approximate probabilistic symbolic execution for nondeterministic programs. ASE 2014: 575-586 - [c62]Mateus Borges, Antonio Filieri
, Marcelo d'Amorim
, Corina S. Pasareanu, Willem Visser:
Compositional solution space quantification for probabilistic software analysis. PLDI 2014: 123-132 - [c61]Ravi Mangal, Nina Narodytska, Divya Gopinath, Boyue Caroline Hu, Anirban Roy, Susmit Jha, Corina S. Pasareanu:
Concept-Based Analysis of Neural Networks via Vision-Language Models. SAIV 2014: 49-77 - [c60]Antonio Filieri, Corina S. Pasareanu, Willem Visser:
Reliability Analysis in Symbolic Pathfinder: A brief summary. Software Engineering 2014: 39-40 - [c59]Antonio Filieri
, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys:
Statistical symbolic execution with informed sampling. SIGSOFT FSE 2014: 437-448 - [c58]Quoc-Sang Phan
, Pasquale Malacaria, Corina S. Pasareanu, Marcelo d'Amorim
:
Quantifying information leaks using reliability analysis. SPIN 2014: 105-108 - [e7]Corina S. Pasareanu, Darko Marinov:
International Symposium on Software Testing and Analysis, ISSTA '14, San Jose, CA, USA - July 21 - 26, 2014. ACM 2014, ISBN 978-1-4503-2645-2 [contents] - 2013
- [j21]Corina S. Pasareanu, Willem Visser, David H. Bushnell, Jaco Geldenhuys, Peter C. Mehlitz, Neha Rungta:
Symbolic PathFinder: integrating symbolic execution with model checking for Java bytecode analysis. Autom. Softw. Eng. 20(3): 391-425 (2013) - [c57]Antonio Filieri
, Corina S. Pasareanu, Willem Visser:
Reliability analysis in symbolic pathfinder. ICSE 2013: 622-631 - [c56]Guowei Yang
, Sarfraz Khurshid, Corina S. Pasareanu:
Memoise: a tool for memoized symbolic execution. ICSE 2013: 1343-1346 - [c55]Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai
, Michael R. Lowry:
Polyglot: Systematic Analysis for Multiple Statechart Formalisms. TACAS 2013: 523-529 - [c54]Dimitra Giannakopoulou, Corina S. Pasareanu:
Abstraction and Learning for Infinite-State Compositional Verification. Festschrift for Dave Schmidt 2013: 211-228 - [p1]Corina S. Pasareanu:
Symbolic Execution and Software Testing. Engineering Dependable Software Systems 2013: 313-333 - [e6]Corina S. Pasareanu, Gwen Salaün:
Formal Aspects of Component Software, 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers. Lecture Notes in Computer Science 7684, Springer 2013, ISBN 978-3-642-35860-9 [contents] - [e5]Stephen N. Freund, Corina S. Pasareanu:
ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering, PASTE '13, Seattle, WA, USA, June 20, 2013. ACM 2013, ISBN 978-1-4503-2128-0 [contents] - 2012
- [j20]Artem Khyzha
, Pavel Parízek, Corina S. Pasareanu:
Abstract pathfinder. ACM SIGSOFT Softw. Eng. Notes 37(6): 1-5 (2012) - [j19]Nariman Mirzaei, Sam Malek, Corina S. Pasareanu, Naeem Esfahani, Riyadh Mahmood:
Testing android apps through symbolic execution. ACM SIGSOFT Softw. Eng. Notes 37(6): 1-5 (2012) - [j18]Quoc-Sang Phan
, Pasquale Malacaria, Oksana Tkachuk, Corina S. Pasareanu:
Symbolic quantitative information flow. ACM SIGSOFT Softw. Eng. Notes 37(6): 1-5 (2012) - [c53]Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke:
Assume-Guarantee Abstraction Refinement for Probabilistic Systems. CAV 2012: 310-326 - [c52]Mateus Borges, Marcelo d'Amorim
, Saswat Anand, David H. Bushnell, Corina S. Pasareanu:
Symbolic Execution with Interval Solving and Meta-heuristic Search. ICST 2012: 111-120 - [c51]Corina S. Pasareanu, Daniel Balasubramanian:
Statechart Analysis with Symbolic PathFinder. ICST 2012: 772 - [c50]Corina S. Pasareanu, Mihaela Gheorghiu Bobaru:
Learning Techniques for Software Verification and Validation. ISoLA (1) 2012: 505-507 - [c49]Guowei Yang
, Corina S. Pasareanu, Sarfraz Khurshid:
Memoized symbolic execution. ISSTA 2012: 144-154 - [c48]Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke:
Learning Probabilistic Systems from Tree Samples. LICS 2012: 441-450 - [c47]Daniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai
, Michael R. Lowry, Michael W. Whalen:
Integrating Statechart Components in Polyglot. NASA Formal Methods 2012: 267-272 - [c46]Corina S. Pasareanu:
Combining Model Checking and Symbolic Execution for Software Testing. TAP@TOOLS 2012: 2 - [c45]Misty D. Davies
, Corina S. Pasareanu, Vishwanath Raman:
Symbolic Execution Enhanced System Testing. VSTTE 2012: 294-309 - [i3]Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke:
Assume-Guarantee Abstraction Refinement for Probabilistic Systems. CoRR abs/1207.5086 (2012) - [i2]Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke:
Learning Probabilistic Systems from Tree Samples. CoRR abs/1207.5091 (2012) - 2011
- [j17]Manuela-Luminita Bujorianu, Michael Fisher
, Corina S. Pasareanu:
Preface. Ann. Math. Artif. Intell. 63(1): 1-3 (2011) - [j16]Corina S. Pasareanu:
New results in software model checking and analysis. Int. J. Softw. Tools Technol. Transf. 13(1): 1-2 (2011) - [c44]Domenico Bianculli
, Dimitra Giannakopoulou, Corina S. Pasareanu:
Interface decomposition for service compositions. ICSE 2011: 501-510 - [c43]Cristian Cadar, Patrice Godefroid, Sarfraz Khurshid, Corina S. Pasareanu, Koushik Sen, Nikolai Tillmann, Willem Visser:
Symbolic execution for software testing in practice: preliminary assessment. ICSE 2011: 1066-1071 - [c42]Corina S. Pasareanu, Neha Rungta, Willem Visser:
Symbolic execution with mixed concrete-symbolic solving. ISSTA 2011: 34-44 - [c41]Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai
, Michael R. Lowry:
Polyglot: modeling and analysis for multiple Statechart formalisms. ISSTA 2011: 45-55 - [c40]Matheus Souza, Mateus Borges, Marcelo d'Amorim
, Corina S. Pasareanu:
CORAL: Solving Complex Constraints for Symbolic PathFinder. NASA Formal Methods 2011: 359-374 - [c39]Daniel Balasubramanian, Gábor Pap, Harmon Nine, Gabor Karsai
, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger:
Rapid property specification and checking for model-based formalisms. International Symposium on Rapid System Prototyping 2011: 121-127 - [c38]Dimitra Giannakopoulou, Corina S. Pasareanu:
Context Synthesis. SFM 2011: 191-216 - [e4]Perry Alexander, Corina S. Pasareanu, John G. Hosking:
26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, KS, USA, November 6-10, 2011. IEEE Computer Society 2011, ISBN 978-1-4577-1638-6 [contents] - 2010
- [j15]Dimitra Giannakopoulou, Corina S. Pasareanu:
Editorial: automated compositional verification. IET Softw. 4(3): 179-180 (2010) - [j14]Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu:
Preface: Special Issue on Nasa Formal Methods Symposium 2009. Innov. Syst. Softw. Eng. 6(3): 171-172 (2010) - [j13]Carlos Canal
, Corina S. Pasareanu:
Preface. Sci. Comput. Program. 75(10): 809-810 (2010) - [c37]Rishabh Singh, Dimitra Giannakopoulou, Corina S. Pasareanu:
Learning Component Interfaces with May and Must Abstractions. CAV 2010: 527-542 - [c36]Dimitra Giannakopoulou, Corina S. Pasareanu:
Learning Techniques for Software Verification and Validation - Special Track at ISoLA 2010. ISoLA (1) 2010: 640-642 - [c35]Matt Staats, Corina S. Pasareanu:
Parallel symbolic execution for structural test generation. ISSTA 2010: 183-194 - [c34]Corina S. Pasareanu, Neha Rungta:
Symbolic PathFinder: symbolic execution of Java bytecode. ASE 2010: 179-180 - [e3]Carlos Canal, Corina S. Pasareanu:
Proceedings of the 5th International Workshop on Formal Aspects of Component Software, FACS 2008, Malaga, Spain, September 10-12, 2008. Electronic Notes in Theoretical Computer Science 260, Elsevier 2010 [contents]
2000 – 2009
- 2009
- [j12]Saswat Anand, Corina S. Pasareanu, Willem Visser:
Symbolic execution with abstraction. Int. J. Softw. Tools Technol. Transf. 11(1): 53-67 (2009) - [j11]Corina S. Pasareanu, Willem Visser:
A survey of new trends in symbolic execution for software testing and analysis. Int. J. Softw. Tools Technol. Transf. 11(4): 339-353 (2009) - [c33]Dimitra Giannakopoulou, Corina S. Pasareanu:
Interface Generation and Compositional Verification in JavaPathfinder. FASE 2009: 94-108 - [e2]Ewen Denney, Dimitra Giannakopoulou, Corina S. Pasareanu:
First NASA Formal Methods Symposium - NFM 2009, Moffett Field, California, USA, April 6-8, 2009. NASA Conference Proceedings NASA/CP-2009-215407, 2009 [contents] - [e1]Corina S. Pasareanu:
Model Checking Software, 16th International SPIN Workshop, Grenoble, France, June 26-28, 2009. Proceedings. Lecture Notes in Computer Science 5578, Springer 2009, ISBN 978-3-642-02651-5 [contents] - 2008
- [j10]Dimitra Giannakopoulou, Corina S. Pasareanu:
Special issue on learning techniques for compositional reasoning. Formal Methods Syst. Des. 32(3): 173-174 (2008) - [j9]Corina S. Pasareanu, Dimitra Giannakopoulou, Mihaela Gheorghiu Bobaru, Jamieson M. Cobleigh, Howard Barringer:
Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning. Formal Methods Syst. Des. 32(3): 175-205 (2008) - [j8]Dimitra Giannakopoulou, Corina S. Pasareanu, Colin Blundell:
Assume-guarantee testing for software components. IET Softw. 2(6): 547-562 (2008) - [c32]Mihaela Gheorghiu Bobaru, Corina S. Pasareanu, Dimitra Giannakopoulou:
Automated Assume-Guarantee Reasoning by Abstraction Refinement. CAV 2008: 135-148 - [c31]Michael Emmi, Dimitra Giannakopoulou, Corina S. Pasareanu:
Assume-Guarantee Verification for Interface Automata. FM 2008: 116-131 - [c30]Corina S. Pasareanu, Peter C. Mehlitz, David H. Bushnell, Karen Gundy-Burlet, Michael R. Lowry, Suzette Person, Mark Pape:
Combining unit-level symbolic execution and system-level concrete execution for testing NASA software. ISSTA 2008: 15-26 - [c29]Johann Schumann, Karen Gundy-Burlet, Corina S. Pasareanu, Tim Menzies, Tony Barrett:
Tool Support for Parametric Analysis of Large Software Simulation Systems. ASE 2008: 497-498 - [c28]Suzette Person, Matthew B. Dwyer
, Sebastian G. Elbaum, Corina S. Pasareanu:
Differential symbolic execution. SIGSOFT FSE 2008: 226-237 - [c27]Carlos Canal
, Corina S. Pasareanu:
Preface. FACS 2008: 1-2 - 2007
- [j7]Corina S. Pasareanu, Radek Pelánek
, Willem Visser:
Predicate Abstraction with Under-Approximation Refinement. Log. Methods Comput. Sci. 3(1) (2007) - [c26]Corina S. Pasareanu, Willem Visser:
Symbolic Execution and Model Checking for Testing. Haifa Verification Conference 2007: 17-18 - [c25]Matthew B. Dwyer
, John Hatcliff, Robby, Corina S. Pasareanu, Willem Visser:
Formal Software Analysis Emerging Trends in Software Model Checking. FOSE 2007: 120-136 - [c24]Saswat Anand, Corina S. Pasareanu, Willem Visser:
JPF-SE: A Symbolic Execution Extension to Java PathFinder. TACAS 2007: 134-138 - [c23]Mihaela Gheorghiu, Dimitra Giannakopoulou, Corina S. Pasareanu:
Refining Interface Alphabets for Compositional Verification. TACAS 2007: 292-307 - [i1]Corina S. Pasareanu, Radek Pelánek, Willem Visser:
Predicate Abstraction with Under-approximation Refinement. CoRR abs/cs/0701140 (2007) - 2006
- [j6]Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu:
Assume-guarantee testing. ACM SIGSOFT Softw. Eng. Notes 31(2) (2006) - [c22]Willem Visser, Corina S. Pasareanu, Radek Pelánek:
Test input generation for java containers using state matching. ISSTA 2006: 37-48 - [c21]Saswat Anand, Corina S. Pasareanu, Willem Visser:
Symbolic Execution with Abstract Subsumption Checking. SPIN 2006: 163-181 - [c20]Corina S. Pasareanu, Dimitra Giannakopoulou:
Towards a Compositional SPIN. SPIN 2006: 234-251 - 2005
- [j5]Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer:
Component Verification with Automatically Generated Assumptions. Autom. Softw. Eng. 12(3): 297-320 (2005) - [j4]John Penix, Willem Visser, Seungjoon Park, Corina S. Pasareanu, Eric Engstrom, Aaron Larson, Nicholas Weininger:
Verifying Time Partitioning in the DEOS Scheduling Kernel. Formal Methods Syst. Des. 26(2): 103-135 (2005) - [j3]Cyrille Artho, Howard Barringer, Allen Goldberg, Klaus Havelund, Sarfraz Khurshid, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Koushik Sen, Willem Visser, Richard Washington:
Combining test case generation and runtime verification. Theor. Comput. Sci. 336(2-3): 209-234 (2005) - [c19]Corina S. Pasareanu, Radek Pelánek, Willem Visser:
Concrete Model Checking with Abstract Matching and Refinement. CAV 2005: 52-66 - [c18]Willem Visser, Corina S. Pasareanu, Radek Pelánek
:
Test input generation for red-black trees using abstraction. ASE 2005: 414-417 - [c17]Colin Blundell, Dimitra Giannakopoulou, Corina S. Pasareanu:
Assume-guarantee testing. SAVCBS@ESEC/FSE 2005: 1 - [c16]Dimitra Giannakopoulou, Corina S. Pasareanu:
Learning-Based Assume-Guarantee Verification (Tool Paper). SPIN 2005: 282-287 - 2004
- [j2]Guillaume P. Brat, Doron Drusinsky, Dimitra Giannakopoulou, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Arnaud Venet, Willem Visser, Richard Washington:
Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Formal Methods Syst. Des. 25(2-3): 167-198 (2004) - [c15]Dimitra Giannakopoulou, Corina S. Pasareanu, Jamieson M. Cobleigh:
Assume-Guarantee Verification of Source Code with Design-Level Assumptions. ICSE 2004: 211-220 - [c14]Willem Visser, Corina S. Pasareanu, Sarfraz Khurshid:
Test input generation with java PathFinder. ISSTA 2004: 97-107 - [c13]Corina S. Pasareanu, Willem Visser:
Verification of Java Programs Using Symbolic Execution and Invariant Generation. SPIN 2004: 164-181 - 2003
- [j1]Corina S. Pasareanu, Matthew B. Dwyer
, Willem Visser:
Finding feasible abstract counter-examples. Int. J. Softw. Tools Technol. Transf. 5(1): 34-48 (2003) - [c12]Cyrille Artho, Doron Drusinsky, Allen Goldberg, Klaus Havelund, Michael R. Lowry, Corina S. Pasareanu, Grigore Rosu, Willem Visser:
Experiments with Test Case Generation and Runtime Analysis. Abstract State Machines 2003: 87-107 - [c11]Oksana Tkachuk, Matthew B. Dwyer
, Corina S. Pasareanu:
Automated Environment Generation for Software Model Checking. ASE 2003: 116-129 - [c10]Jamieson M. Cobleigh, Dimitra Giannakopoulou, Corina S. Pasareanu:
Learning Assumptions for Compositional Verification. TACAS 2003: 331-346 - [c9]Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser:
Generalized Symbolic Execution for Model Checking and Testing. TACAS 2003: 553-568 - 2002
- [c8]John Hatcliff, Matthew B. Dwyer
, Corina S. Pasareanu, Robby:
Foundations of the Bandera Abstraction Tools. The Essence of Computation 2002: 172-203 - [c7]Dimitra Giannakopoulou, Corina S. Pasareanu, Howard Barringer:
Assumption Generation for Software Component Verification. ASE 2002: 3-12 - 2001
- [c6]Matthew B. Dwyer
, John Hatcliff, Roby Joehanes, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng, Willem Visser:
Tool-Supported Program Abstraction for Finite-State Verification. ICSE 2001: 177-187 - [c5]Corina S. Pasareanu, Matthew B. Dwyer, Willem Visser:
Finding Feasible Counter-examples when Model Checking Abstracted Java Programs. TACAS 2001: 284-298 - 2000
- [c4]James C. Corbett, Matthew B. Dwyer
, John Hatcliff, Shawn Laubach, Corina S. Pasareanu, Robby, Hongjun Zheng:
Bandera: extracting finite-state models from Java source code. ICSE 2000: 439-448
1990 – 1999
- 1999
- [c3]Corina S. Pasareanu, Matthew B. Dwyer, Michael Huth:
Assume-Guarantee Model Checking of Software: A Comparative Case Study. SPIN 1999: 168-183 - 1998
- [c2]Matthew B. Dwyer
, Corina S. Pasareanu:
Model Checking Generic Container Implementations. Generic Programming 1998: 162-177 - [c1]Matthew B. Dwyer
, Corina S. Pasareanu:
Filter-Based Model Checking of Partial Systems. SIGSOFT FSE 1998: 189-202
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-16 18:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint