Assertion-Based Validation of Modified Programs.

Bogdan Korel, Qi Zhang, Li Tao

Browse the full ICST paper archive.