On Oracles for Interpreting Test Results against Algebraic Specifications - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Patrícia D. L. Machado. On Oracles for Interpreting Test Results against Algebraic Specifications. In Armando Martin Haeberer, editor, Algebraic Methodology and Software Technology, 7th International Conference, AMAST 98, Amazonia, Brasil, January 4-8, 1999, Proceedings. Volume 1548 of Lecture Notes in Computer Science, pages 502-518, Springer, 1998. [doi]

The following publications are possibly variants of this publication:

Formal testing from structured algebraic specifications: normalisationand the oracle problemPatrícia D. L. Machado. rita, 7(1):89-108, 2000.

Testing from Structured Algebraic SpecificationsPatrícia D. L. Machado. amast 2000: 529-544 [doi]

The Rôle of Normalisation in Testing from Structured Algebraic SpecificationsPatrícia D. L. Machado. WADT 2000: 459-476

Testing from structured algebraic specifications : the oracle problemPatrícia D. L. Machado. PhD thesis, University of Edinburgh, UK, 2000. [doi]

runs on WebDSL