Software Validation via Model Animation.

Aaron Dutle, Csar A. Muoz, Anthony Narkawicz, Ricky W. Butler

Browse the full TAP paper archive.