Corina S. Pasareanu

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 115

Top Topics

Distributed Representations

Reliability Analysis

Symbolic Execution

Top Venues

ACM SIGSOFT Softw. Eng. Notes

ICSE (Companion Volume)

Publications