Using algebraic specifications in software testing: a case study on the software of an automatic subway

Formal specification techniques (extended abstract)

ICSE '94 Proceedings of the 16th international conference on Software engineering

In black and white: an integrated approach to class-level testing of object-oriented programs

ACM Transactions on Software Engineering and Methodology (TOSEM)

A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO

Automated Software Engineering

Testing from Formal Specifications, a Generic Approach

Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies

Algebraic Imperative Specifications

PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics

Test Case Design Based on Z and the Classification-Tree Method

ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods

Using formal specifications to support testing

ACM Computing Surveys (CSUR)

Testing for refinement in CSP

ICFEM'07 Proceedings of the formal engineering methods 9th international conference on Formal methods and software engineering

Testing data types implementations from algebraic specifications

Formal methods and testing

Testing techniques in software engineering

Testing techniques in software engineering