Google
Google Scholar
Semantic Scholar
MS Academic
CiteSeerX
ORCIDCorina S. Pasareanu
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2020
[j40]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 D. 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)- [j39]Kasper Søe Luckow, Rody Kersten, Corina S. Pasareanu:
Complexity vulnerability analysis using symbolic execution. Softw. Test. Verification Reliab. 30(7-8) (2020) - [c107]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 - [c106]Zichao Zhang, Arthur Azevedo de Amorim, Limin Jia, Corina S. Pasareanu:
Automating Compositional Analysis of Authentication Protocols. FMCAD 2020: 113-118 - [c105]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 - [c104]Corina S. Pasareanu, Hayes Converse, Antonio Filieri, Divya Gopinath:
On the probabilistic analysis of neural networks. SEAMS@ICSE 2020: 5-8 - [c103]Yannic Noller, Corina S. Pasareanu, Marcel Böhme, Youcheng Sun
, Hoang Lam Nguyen, Lars Grunske:
HyDiff: hybrid differential software analysis. ICSE 2020: 1273-1285 - [c102]Hayes Converse, Antonio Filieri, Divya Gopinath, Corina S. Pasareanu:
Probabilistic Symbolic Analysis of Neural Networks. ISSRE 2020: 148-159 - [c101]Shirin Nilizadeh, Yannic Noller, Corina S. Pasareanu:
DifFuzz: Differential Fuzzing for Side-Channel Analysis. SE 2020: 125-126 - [c100]Hadar Frenkel, Orna Grumberg, Corina S. Pasareanu, Sarai Sheinvald:
Assume, Guarantee or Repair. TACAS (1) 2020: 211-227 - [e10]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
- [j38]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) - [j37]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) - [j36]Xuan-Bach D. 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) - [c99]Shirin Nilizadeh, Yannic Noller, Corina S. Pasareanu:
DifFuzz: differential fuzzing for side-channel analysis. ICSE 2019: 176-187 - [c98]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 - [c97]Xuan-Bach D. Le, Lingfeng Bao, David Lo, Xin Xia, Shanping Li, Corina S. Pasareanu:
On reliability of patch correctness assessment. ICSE 2019: 524-535 - [c96]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 - [c95]Divya Gopinath, Hayes Converse, Corina S. Pasareanu, Ankur Taly:
Property Inference for Deep Neural Networks. ASE 2019: 797-809 - [c94]Yannic Noller, Rody Kersten, Corina S. Pasareanu:
Badger: Complexity Analysis with Fuzzing and Symbolic Execution. SE/SWM 2019: 65-66 - [c93]Yannic Noller, Corina S. Pasareanu, Aymeric Fromherz, Xuan-Bach D. 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
- [j35]Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham:
Automated circular assume-guarantee reasoning. Formal Aspects Comput. 30(5): 571-595 (2018) - [c92]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 - [c91]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 - [c90]Andrew Hill, Corina S. Pasareanu, Kathryn T. Stolee:
Automated program repair with canonical constraints. ICSE (Companion Volume) 2018: 339-341 - [c89]Sarfraz Khurshid, Corina S. Pasareanu, Willem Visser:
Test input generation with Java PathFinder: then and now (invited talk abstract). ISSTA 2018: 1-2 - [c88]Tegan Brennan, Seemanta Saha, Tevfik Bultan, Corina S. Pasareanu:
Symbolic path cost analysis for side-channel detection. ISSTA 2018: 27-37 - [c87]Heron Yang, Robert Morris, Corina S. Pasareanu:
Analysing the effect of uncertainty in airport surface operations. ISSTA/ECOOP Workshops 2018: 132-137 - [c86]Yannic Noller, Rody Kersten, Corina S. Pasareanu:
Badger: complexity analysis with fuzzing and symbolic execution. ISSTA 2018: 322-332 - [c85]Rui Qiu, Sarfraz Khurshid, Corina S. Pasareanu, Junye Wen, Guowei Yang:
Using Test Ranges to Improve Symbolic Execution. NFM 2018: 416-434 - [c84]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 - [e9]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
- [j34]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) - [c83]Rody Kersten, Kasper Søe Luckow, Corina S. Pasareanu:
POSTER: AFL-based Fuzzing for Java with Kelinci. CCS 2017: 2511-2513 - [c82]Quoc-Sang Phan, Lucas Bang, Corina S. Pasareanu, Pasquale Malacaria, Tevfik Bultan:
Synthesis of Adaptive Side-Channel Attacks. CSF 2017: 328-342 - [c81]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 - [c80]Kasper Søe Luckow, Rody Kersten, Corina S. Pasareanu:
Symbolic Complexity Analysis Using Context-Preserving Histories. ICST 2017: 58-68 - [c79]Corina S. Pasareanu:
Symbolic execution and probabilistic reasoning. LICS 2017: 1 - [c78]Mateus Borges, Quoc-Sang Phan, Antonio Filieri, Corina S. Pasareanu:
Model-Counting Approaches for Nonlinear Numerical Constraints. NFM 2017: 131-138 - [c77]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
- [j33]Aymeric Fromherz, Kasper Søe Luckow, Corina S. Pasareanu:
Symbolic Arrays in Symbolic PathFinder. ACM SIGSOFT Softw. Eng. Notes 41(6): 1-5 (2016) - [c76]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 - [c75]Rui Qiu, Corina S. Pasareanu, Sarfraz Khurshid:
Certified Symbolic Execution. ATVA 2016: 495-511 - [c74]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 - [c73]Corina S. Pasareanu, Quoc-Sang Phan, Pasquale Malacaria:
Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT. CSF 2016: 387-400 - [c72]Kasper Søe Luckow, Corina S. Pasareanu:
Log2model: inferring behavioral models from log data. HLDVT 2016: 25-29 - [c71]Ana C. V. de Melo, Corina S. Pasareanu, Simone Hanazumi:
Towards MC/DC Coverage of Properties Specification Patterns. ICTAC 2016: 158-175 - [c70]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
- [j32]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) - [j31]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) - [j30]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) - [j29]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) - [j28]Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu:
Concurrent Bounded Model Checking. ACM SIGSOFT Softw. Eng. Notes 40(1): 1-5 (2015) - [j27]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) - [c69]Karam Abd Elkader, Orna Grumberg, Corina S. Pasareanu, Sharon Shoham:
Automated Circular Assume-Guarantee Reasoning. FM 2015: 23-39 - [c68]Matthew B. Dwyer, Antonio Filieri, Jaco Geldenhuys, Mitchell J. Gerrard, Corina S. Pasareanu, Willem Visser:
Probabilistic Program Analysis. GTTSE 2015: 1-25 - [c67]Rui Qiu, Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid:
Compositional Symbolic Execution with Memoized Replay. ICSE (1) 2015: 632-642 - [c66]Antonio Filieri, Corina S. Pasareanu, Guowei Yang:
Quantification of Software Changes through Probabilistic Symbolic Execution (N). ASE 2015: 703-708 - [c65]Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys:
Statistical Symbolic Execution with Informed Sampling. Software Engineering & Management 2015: 51-52 - [c64]Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu:
Iterative distribution-aware sampling for probabilistic symbolic execution. ESEC/SIGSOFT FSE 2015: 866-877 - [c63]Antonio Filieri, Marcelo F. Frias, Corina S. Pasareanu, Willem Visser:
Model Counting for Complex Data Structures. SPIN 2015: 222-241 - [e8]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] - [e7]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
- [j26]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) - [j25]Jakub Daniel, Pavel Parízek, Corina S. Pasareanu:
Predicate abstraction in Java Pathfinder. ACM SIGSOFT Softw. Eng. Notes 39(1): 1-5 (2014) - [j24]Kasper Søe Luckow, Corina S. Pasareanu:
Symbolic PathFinder v7. ACM SIGSOFT Softw. Eng. Notes 39(1): 1-5 (2014) - [j23]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) - [c62]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 - [c61]Corina S. Pasareanu:
On the probabilistic analysis of software (invited talk abstract). WODA+PERTEA@ISSTA 2014: 10 - [c60]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 - [c59]Mateus Borges, Antonio Filieri, Marcelo d'Amorim, Corina S. Pasareanu, Willem Visser:
Compositional solution space quantification for probabilistic software analysis. PLDI 2014: 123-132 - [c58]Antonio Filieri, Corina S. Pasareanu, Willem Visser:
Reliability Analysis in Symbolic Pathfinder: A brief summary. Software Engineering 2014: 39-40 - [c57]Antonio Filieri, Corina S. Pasareanu, Willem Visser, Jaco Geldenhuys:
Statistical symbolic execution with informed sampling. SIGSOFT FSE 2014: 437-448 - [c56]Quoc-Sang Phan, Pasquale Malacaria, Corina S. Pasareanu, Marcelo d'Amorim:
Quantifying information leaks using reliability analysis. SPIN 2014: 105-108 - [e6]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
- [j22]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) - [c55]Antonio Filieri, Corina S. Pasareanu, Willem Visser:
Reliability analysis in symbolic pathfinder. ICSE 2013: 622-631 - [c54]Guowei Yang, Sarfraz Khurshid, Corina S. Pasareanu:
Memoise: a tool for memoized symbolic execution. ICSE 2013: 1343-1346 - [c53]Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry:
Polyglot: Systematic Analysis for Multiple Statechart Formalisms. TACAS 2013: 523-529 - [c52]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 - [e5]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] - [e4]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
- [j21]Artem Khyzha, Pavel Parízek, Corina S. Pasareanu:
Abstract pathfinder. ACM SIGSOFT Softw. Eng. Notes 37(6): 1-5 (2012) - [j20]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) - [j19]Quoc-Sang Phan, Pasquale Malacaria, Oksana Tkachuk, Corina S. Pasareanu:
Symbolic quantitative information flow. ACM SIGSOFT Softw. Eng. Notes 37(6): 1-5 (2012) - [c51]Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke:
Assume-Guarantee Abstraction Refinement for Probabilistic Systems. CAV 2012: 310-326 - [c50]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 - [c49]Corina S. Pasareanu, Daniel Balasubramanian:
Statechart Analysis with Symbolic PathFinder. ICST 2012: 772 - [c48]Corina S. Pasareanu, Mihaela Gheorghiu Bobaru:
Learning Techniques for Software Verification and Validation. ISoLA (1) 2012: 505-507 - [c47]Guowei Yang, Corina S. Pasareanu, Sarfraz Khurshid:
Memoized symbolic execution. ISSTA 2012: 144-154 - [c46]Anvesh Komuravelli, Corina S. Pasareanu, Edmund M. Clarke:
Learning Probabilistic Systems from Tree Samples. LICS 2012: 441-450 - [c45]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 - [c44]Corina S. Pasareanu:
Combining Model Checking and Symbolic Execution for Software Testing. TAP@TOOLS 2012: 2 - [c43]Misty 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
- [j18]Manuela L. Bujorianu, Michael Fisher, Corina S. Pasareanu:
Preface. Ann. Math. Artif. Intell. 63(1): 1-3 (2011) - [j17]Corina S. Pasareanu:
New results in software model checking and analysis. Int. J. Softw. Tools Technol. Transf. 13(1): 1-2 (2011) - [c42]Domenico Bianculli, Dimitra Giannakopoulou, Corina S. Pasareanu:
Interface decomposition for service compositions. ICSE 2011: 501-510 - [c41]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 - [c40]Corina S. Pasareanu, Neha Rungta, Willem Visser:
Symbolic execution with mixed concrete-symbolic solving. ISSTA 2011: 34-44 - [c39]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 - [c38]Matheus Souza, Mateus Borges, Marcelo d'Amorim, Corina S. Pasareanu:
CORAL: Solving Complex Constraints for Symbolic PathFinder. NASA Formal Methods 2011: 359-374 - [c37]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 - [c36]Dimitra Giannakopoulou, Corina S. Pasareanu:
Context Synthesis. SFM 2011: 191-216 - [e3]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
- [j16]Carlos Canal, Corina S. Pasareanu:
Preface. Electron. Notes Theor. Comput. Sci. 260: 1-2 (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) - [c35]Rishabh Singh, Dimitra Giannakopoulou, Corina S. Pasareanu:
Learning Component Interfaces with May and Must Abstractions. CAV 2010: 527-542 - [c34]