Corina S. Pasareanu
Software · 2000–2017
A researcher in the Science corpus: 9 papers; trusts 32 researchers and is trusted by 36 researchers here, as inferred from the citation graph.
Subfields
- Software — 45 citations into it; #86 of 1,227 by trust here, #111 by citations
- Computational Theory and Mathematics — 34 citations into it; #1,267 of 12,182 by trust here, #1,291 by citations
- Artificial Intelligence — 30 citations into it; #23,049 of 35,345 by trust here, #25,040 by citations
- Information Systems — 16 citations into it
- Safety, Robustness & Interpretability — 15 citations into it
- Signal Processing — 10 citations into it
- Computer Vision and Pattern Recognition — 5 citations into it
- Program Analysis & Verification — 5 citations into it
Whom Corina S. Pasareanu trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Koushik Sen
- Patrice Godefroid
- Sarfraz Khurshid
- Darko Marinov
- Thomas Ball
- Gerard J. Holzmann
- Willem Visser
- Nils Klarlund
- Chandrasekhar Boyapati
- Gul A. Agha
Who trusts Corina S. Pasareanu overall
- Koushik Sen
- Darko Marinov
- Roberto Baldoni
- Patrice Godefroid
- Tao Xie
- Suzette Person
- Rupak Majumdar
- Cristian Cadar
- Gian Pietro Farina
- Willem Visser
Papers from Corina S. Pasareanu's perspective
Ordered by how strongly the researchers Corina S. Pasareanu trusts endorse each paper. Same corpus, a different order for every researcher.
- Deep Residual Learning for Image Recognition (Computer Vision and Pattern Recognition)
- ImageNet classification with deep convolutional neural networks
- Long Short-Term Memory
- Intriguing properties of neural networks
- Adam: A Method for Stochastic Optimization (International Conference on Learning Representations)
- DART: directed automated random testing (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Symbolic execution and program testing
- Explaining and Harnessing Adversarial Examples
- Gradient-based learning applied to document recognition
- Attention is All you Need (Neural Information Processing Systems)
Their papers
- DeepSafe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks (2017) — 93 citations
- Bandera: extracting finite-state models from Java source code (2000) — 1,284 citations
- Generalized Symbolic Execution for Model Checking and Testing (2003) — 664 citations
- Test input generation with java PathFinder (2004) — 599 citations
- Learning Assumptions for Compositional Verification (2003) — 441 citations
- Symbolic PathFinder: symbolic execution of Java bytecode (2010) — 311 citations
- Symbolic execution for software testing in practice: preliminary assessment (2011) — 377 citations
- Differential symbolic execution (2008) — 300 citations
- Combining unit-level symbolic execution and system-level concrete execution for testing nasa software (2008) — 314 citations