Supporting the Software Testing Process through Specification Animation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Tim Miller, Paul A. Strooper. Supporting the Software Testing Process through Specification Animation. In 1st International Conference on Software Engineering and Formal Methods (SEFM 2003), 22-27 September 2003, Brisbane, Australia. pages 14-23, IEEE Computer Society, 2003. [doi]

This author has not been identified. Look up 'Tim Miller' in GoogleThis author has not been identified. Look up 'Paul A. Strooper' in Google

runs on WebDSL