Corina S Pasareanu

Digital Library

ACM Fellows

USA - 2023

citation

For contributions to the development and application of symbolic execution and compositional verification

Press Release

ACM Distinguished Member

USA - 2016

Press Release