Westley Weimer

From MaRDI portal
Person:2985772

Available identifiers

zbMath Open weimer.westleyMaRDI QIDQ2985772

List of research outcomes





PublicationDate of PublicationType
Connecting program synthesis and reachability: automatic program repair using test-input generation2020-08-05Paper
Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong)2017-05-10Paper
CCured, type-safe retrofitting of legacy code2015-03-17Paper
Tools and Algorithms for the Construction and Analysis of Systems2005-11-10Paper
https://portal.mardi4nfdi.de/entity/Q47383902004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q48049232003-05-01Paper

Research outcomes over time

This page was built for person: Westley Weimer

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2985772&oldid=7811235"
Powered by MediaWiki