Cooperative Software Verification via Dynamic Program Splitting.

Cedric Richter, Marek Chalupa, Marie-Christine Jakobs, Heike Wehrheim

Browse the full ICSE paper archive.