Social
Eric Mercer (BRIGHAM YOUNG UNIVERSITY) V2.jpg
Award Recipient

Eric Mercer

Brigham Young University
Social
2021 Amazon Research Award
Symbolic Execution for Generating Java Tests from Dafny Models
View from space of a connected network around planet Earth representing the Internet of Things.
Get more from Amazon Science
Subscribe to our newsletter

Amazon.com | Conditions of Use | Privacy | © 1996-2026 Amazon.com, Inc. or its affiliates

Social