Evaluating the Effects of Compiler Optimizations on Mutation Testing at the Compiler IR Level. - Farah Hariri; August Shi; Hayes Converse; Sarfraz Khurshid; Darko Marinov (ISSRE, 2016)

Non-Semantics-Preserving Transformations for Higher-Coverage Test Generation Using Symbolic Execution. - Hayes Converse; Oswaldo Olivo; Sarfraz Khurshid (ICST, 2017)

A Progress Bar for the JPF Search Using Program Executions. - Kaiyuan Wang; Hayes Converse; Milos Gligoric 001; Sasa Misailovic; Sarfraz Khurshid (ACM SIGSOFT Softw. Eng. Notes, 2018)

Property Inference for Deep Neural Networks. - Divya Gopinath; Hayes Converse; Corina S. Pasareanu; Ankur Taly (ASE, 2019)

Finding Invariants in Deep Neural Networks. - Divya Gopinath; Ankur Taly; Hayes Converse; Corina S. Pasareanu (CoRR, 2019)

Quantifying the Exploration of the Korat Solver for Imperative Constraints. - Alyas Almaawi; Hayes Converse; Milos Gligoric 001; Sasa Misailovic; Sarfraz Khurshid (ACM SIGSOFT Softw. Eng. Notes, 2019)

On the probabilistic analysis of neural networks. - Corina S. Pasareanu; Hayes Converse; Antonio Filieri; Divya Gopinath (SEAMS@ICSE, 2020)

Probabilistic Symbolic Analysis of Neural Networks. - Hayes Converse; Antonio Filieri; Divya Gopinath; Corina S. Pasareanu (ISSRE, 2020)

The Java Pathfinder Workshop 2019. - Cyrille Artho; Quoc-Sang Phan; Peter Aldous; Alyas Almaawi; Lucas Bang; Lasse Berglund; Tevfik Bultan; Zhenbang Chen; Hayes Converse; Wei Dong 006; William Eiers; Milos Gligoric 001; et al. (ACM SIGSOFT Softw. Eng. Notes, 2020)