A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
A Comparison of the BTT and TTF Test-Generation Methods
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Test-Case Calculation through Abstraction
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
Extending Test Templates with Inheritance
ASWEC '97 Proceedings of the Australian Software Engineering Conference
Test Case Design Based on Z and the Classification-Tree Method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
CASCON '03 Proceedings of the 2003 conference of the Centre for Advanced Studies on Collaborative research
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Testing techniques in software engineering
Testing techniques in software engineering
Proof and refutation in formal software development
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
Extending the test template framework
3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods
Hi-index | 0.00 |