There are 2 Results with the keyword : "Adam research team"
There are more bugs in real-world programs than human programmers can realistically address. Automatic program repair has been a longstanding goal in software engineering, yet debugging remains a largely manual process. From 9:30 to 10:30, Westley Weimer (University of Virginia) will give a talk on “Discovering Program Invariants and Automatic Program Repair.
Place : Salle plénière, Inria Lille - Nord Europe, Bâtiment A
Guest(s) : Westley Weimer, University of Virginia
On Friday 8 November 2013, 14:00-15:00 Room B31 at Inria Lille - Nord Europe, Earl Barr (University College London) will give a talk on “Automatic Detection of Floating-Point Exceptions”.
Place : Room B31, Inria Lille - Nord Europe
Guest(s) : Earl Barr
- Earl Barr
- Inria Lille - Nord Europe research center
- Automatic Program Repair
- Spirals research team
- Adam research team