Regression testing via model checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Lihua Xu, Marcio S. Dias, Debra J. Richardson. Regression testing via model checking. In IASTED International Conference on Software Engineering, part of the 22nd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 17-19, 2004. pages 402-407, IASTED/ACTA Press, 2004.

This author has not been identified. Look up 'Lihua Xu' in GoogleThis author has not been identified. Look up 'Marcio S. Dias' in GoogleThis author has not been identified. Look up 'Debra J. Richardson' in Google

runs on WebDSL