Supporting the Software Testing Process through Specification Animation.

Tim Miller, Paul A. Strooper

Browse the full SEFM paper archive.