Corina S. Păsăreanu

Ames Research Center — United States

Computer Science · Physical Sciences

48h-index10.0kcitations298works1.22yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Software Testing and Debugging Techniques(156), Software Reliability and Analysis Research(124), Formal Methods in Verification(100), Software Engineering Research(67), Adversarial Robustness in Machine Learning(54)

Publications298 total

On the Difficulty of Selecting Few-Shot Examples for Effective LLM-based Vulnerability Detection
arXiv (Cornell University)·2025Open Access
Scenario-Based Compositional Verification of Autonomous Systems with Neural Perception
Lecture notes in computer science·2025
When "Correct" Is Not Safe: Can We Trust Functionally Correct Patches Generated by Code Agents?
arXiv (Cornell University)·2025Open Access
Microsaccade-Inspired Probing: Positional Encoding Perturbations Reveal LLM Misbehaviours
arXiv (Cornell University)·2025Open Access
A Mixture of Linear Corrections Generates Secure Code
arXiv (Cornell University)·2025Open Access
Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models
arXiv (Cornell University)·2025Open Access
Monitoring Safety Properties for Autonomous Driving Systems with Vision-Language Models
2025· 1 cited
Relational Hoare Logic for Realistically Modelled Machine Code
arXiv (Cornell University)·2025Open Access
Scenario-based Compositional Verification of Autonomous Systems with Neural Perception
arXiv (Cornell University)·2025Open Access
Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study)
2025
Random Perturbation Attack on LLMs for Code Generation
2025
Enhancing LLM Code Generation with Ensembles: A Similarity-Based Selection Approach
arXiv (Cornell University)·2025Open Access
Agentic AI Software Engineers: Programming with Trust
arXiv (Cornell University)·2025· 1 citedOpen Access
Relational Hoare Logic for Realistically Modelled Machine Code
Lecture notes in computer science·2025· 1 citedOpen Access
Formal Verification Techniques for Vision-Based Autonomous Systems – A Survey
Lecture notes in computer science·2024· 5 cited
Attacks and Defenses for Large Language Models on Coding Tasks
2024· 4 citedOpen Access
Crabtree: Rust API Test Synthesis Guided by Coverage and Type
Proceedings of the ACM on Programming Languages·2024· 2 citedOpen Access
Evaluating Deep Neural Networks in Deployment: A Comparative Study (Replicability Study)
2024Open Access
Validating Mechanistic Interpretations: An Axiomatic Approach
arXiv (Cornell University)·2024· 1 citedOpen Access
Evaluating Deep Neural Networks in Deployment (A Comparative and Replicability Study)
arXiv (Cornell University)·2024· 1 citedOpen Access
page 1 of 15Next →

Frequent Co-authors

Willem Visser(20), Matthew B. Dwyer(8), Dimitra Giannakopoulou(8), Sarfraz Khurshid(6), Howard Barringer(5), John Hatcliff(4), Quoc-Sang Phan(4), Jamieson M. Cobleigh(3), Neha Rungta(3), Saswat Anand(3), Pasquale Malacaria(3), Allen Goldberg(3), Klaus Havelund(3), Mike Lowry(3), Shawn Laubach(2), Robby(2), Hongjun Zheng(2), Koushik Sen(2), Peter Mehlitz(2), David Bushnell(2)