Case studies on testing object-oriented programs
TAV4 Proceedings of the symposium on Testing, analysis, and verification
An overview of the ISO/VDM-SL standard
ACM SIGPLAN Notices
The RAISE specification language
The RAISE specification language
Using Test Oracles Generated from Program Documentation
IEEE Transactions on Software Engineering
Automatically Checking an Implementation against Its Formal Specification
IEEE Transactions on Software Engineering
Formal Derivation of Finite State Machines for Class Testing
ZUM '98 Proceedings of the 11th International Conference of Z Users on The Z Formal Specification Notation
KVEST: Automated Generation of Test Suites from Formal Specifications
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I
SCENT: A Method Employing Scenarios to Systematically Derive TestCases for System Test
SCENT: A Method Employing Scenarios to Systematically Derive TestCases for System Test
UniTesK Test Suite Architecture
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Generation of Positive and Negative Tests for Parsers
Programming and Computing Software
On complementary principles of object-oriented constraint programming
Programming and Computing Software
Automated generation of positive and negative tests for parsers
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Automated verification and testing of user-interactive undo features in database applications
Software Testing, Verification & Reliability
Model-based testing of optimizing compilers
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Hi-index | 0.00 |
Specification based testing facilities are gradually becoming software production aids. The paper shortly considers the current state of the art, original ISPRAS/RedVerst experience, and outlines the ways for further research and testing tool development. Both conceptual and technical problems of novel specification based testing technologies introduction are considered.