Finite state verification: An emerging technology for validating software systems (abstract only).

Lori A. Clarke

Browse the full ISSTA paper archive.