Practical Behavioral Inconsistency Detection between Source Code and Specification Using Model Checking.

Saeko Matsuura, Yoshitaka Aoki, Shinpei Ogata

Browse the full ISSRE paper archive.