Automated Discovery of Simulation Between Programs

TitleAutomated Discovery of Simulation Between Programs
Publication TypeConference Paper
Year of Publication2015
AuthorsFedyukovich, Grigory, Gurfinkel A., and Sharygina Natasha
Conference NameLPAR
Full Text