Scholar
Corina Pasareanu
Google Scholar ID: pwIuivQAAAAJ
CMU/NASA Ames
Symbolic execution
compositional verification
abstraction
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
4,716
H-index
38
i10-index
98
Publications
20
Co-authors
61
list available
Publications
5 items
A Jagged Frontier: Evaluating Robustness of Code Agents to Semantics-Preserving Transformations
2026
Cited
0
SeFaR: Semantic Feature-aware Robustness Testing of Deep Neural Networks
2026
Cited
0
Making Embodied AI Reliable: A Community Agenda from Testing to Formal Verification
2026
Cited
0
CONCUR: Benchmarking LLMs for Concurrent Code Generation
2026
Cited
0
When "Correct" Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents?
2025
Cited
0
Co-authors
8 total
Matthew Dwyer
Thomson Distinguished Professor, University of Virginia; Amazon Scholar
Sarfraz Khurshid
Professor, University of Texas at Austin
Antonio Filieri
Amazon Web Services, Imperial College London
Koushik Sen
Professor of Computer Science, University of California, Berkeley
Guowei Yang
The University of Queensland
Cyrille Artho
KTH Royal Institute of Technology, Sweden
Grigore Rosu
University of Illinois at Urbana Champaign
Saswat Anand
Google
