Skip to main content
University of Oxford Department of Computer Science
Search for
Search
Toggle
Main Menu
Home
Study with us
Research
News
Events
About Us
Student Space
(current)
Partner with us
Home
Our Students
Online Resources & Handbooks
Student projects - Front-End Testing
Front-End Testing
Supervisor
Daniel Kroening
Suitable for
MSc in Computer Science
Abstract
Run the regressions mentioned here and the GCC C Torture tests with goto-cc and a goto-program interpreter (mild dependency on the interpreter-related task above).
Our Students
Course A-Z
Degrees
Online Resources & Handbooks
Minerva
Examinations
Timetables
Back to Top