Model-Based Testing Using Scenarios and Event-B Refinements - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Qaisar A. Malik, Johan Lilius, Linas Laibinis. Model-Based Testing Using Scenarios and Event-B Refinements. In Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna, editors, Methods, Models and Tools for Fault Tolerance. Volume 5454 of Lecture Notes in Computer Science, pages 177-195, Springer, 2009. [doi]

This author has not been identified. Look up 'Qaisar A. Malik' in GoogleThis author has not been identified. Look up 'Johan Lilius' in GoogleThis author has not been identified. Look up 'Linas Laibinis' in Google

runs on WebDSL