From test cases to FSMs: augmented test-driven development and property inference - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Thomas Arts, Simon J. Thompson. From test cases to FSMs: augmented test-driven development and property inference. In Scott Lystig Fritchie, Konstantinos F. Sagonas, editors, Proceedings of the 9th ACM SIGPLAN workshop on Erlang, Baltimore, Maryland, USA, September 30, 2010. pages 1-12, ACM, 2010. [doi]

This author has not been identified. Look up 'Thomas Arts' in GoogleThis author has not been identified. Look up 'Simon J. Thompson' in Google

runs on WebDSL