ISR Seminar Series - ISR - Carnegie Mellon University

ISR Seminar Series


Friday, May 23, 2014

Patch Verification via Multiversion Interprocedural Control Flow Graphs
10:00 am - 11:30 am
Wean Hall 4220

Software development is inherently incremental; however, it is challenging to correctly introduce changes on top of existing code. Recent studies show that 15%-24% of the bug fixes are incorrect, ...   MORE