9F113F86-1DB8-4582-A260-14A72C667615Testing, Verifying, and Generating Software Patches Using Dynamic Symbolic ExecutionResearch GrantEP/J00636X/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL287184F66BE517-19EF-43B8-B119-C9D34E9E884EModel Checking Software3df8b45ca88ef83341996bbbc084e1c9Marinescu P2012-01-01http://dx.doi.org/10.1007/978-3-642-31759-0_2978-3-642-31758-3http://dx.doi.org/10.1007/978-3-642-31759-0_2High-Coverage Symbolic Patch Testing7-21Book Chapter541aa454c13227.33946253