Protocol testing: review of methods and relevance for software testing
ISSTA '94 Proceedings of the 1994 ACM SIGSOFT international symposium on Software testing and analysis
A framework for conformance testing of systems communicating through rendezvous
FTCS '96 Proceedings of the The Twenty-Sixth Annual International Symposium on Fault-Tolerant Computing (FTCS '96)
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
Implementation of the Conformance Relation for Incremental Development of Behavioural Models
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Preserving contexts for soft conformance relation
FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
| Hi-index | 0.00 |