On Thursday 10 October 2013, 9:30-10:30 INRIA Lille Salle Plénière (aka du Conseil), Westley Weimer (University of Virginia) will give a talk on “Discovering Program Invariants and Automatic Program Repair “. Abstract: There are more bugs in real-world programs than human programmers can realistically address. Automatic program repair has been a longstanding goal in …
Privacy Overview
This website uses cookies so that we can provide you with the best user experience possible. Cookie information is stored in your browser and performs functions such as recognising you when you return to our website and helping our team to understand which sections of the website you find most interesting and useful.