Failure-based congruences, unfair divergences and new testing theory

Weakest Congruence Results Concerning "Any-Lock"

TACS '01 Proceedings of the 4th International Symposium on Theoretical Aspects of Computer Software

Weakest-Congruence Results for Livelock-Preserving Equivalences

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory

Heuristic-Driven Test Case Selection from Formal Specifications. A Case Study

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right

Fair testing

Information and Computation

Formal methods: Importance, experience, and comparative analysis

Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science,Software Engineering, Information Technology, e-Business, and Applications, 2003