An introduction to Estelle: a specification language for distributed systems
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
A protocol test generation procedure
Computer Networks and ISDN Systems
Symbolic execution systems—a review
Software Engineering Journal
Introduction to special section on software testing
Communications of the ACM
The CCITT-specification and description language SDL
Computer Networks and ISDN Systems
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Partition Testing Does Not Inspire Confidence (Program Testing)
IEEE Transactions on Software Engineering
Analyzing Partition Testing Strategies
IEEE Transactions on Software Engineering
Test Selection Based on Finite State Models
IEEE Transactions on Software Engineering
Testing: a challenge to method and tool developers
Software Engineering Journal - Special issue on safety-critical systems
Test data adequacy measurement
Software Engineering Journal
The IFAD VDM-SL toolbox: a practical approach to formal specifications
ACM SIGPLAN Notices
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
A Framework for Specification-Based Testing
IEEE Transactions on Software Engineering
Choosing a testing method to deliver reliability
ICSE '97 Proceedings of the 19th international conference on Software engineering
Making the most of formal specification through animation, testing and proof
Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
Art of Software Testing
IEEE Software
Seven More Myths of Formal Methods
IEEE Software
Improving Software Tests Using Z Specifications
ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation
Automating the Generation and Sequencing of Test Cases from Model-Based Specifications
FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
How Did Software Get So Reliable Without Proof?
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
In defense of program testing or correctness proofs considered harmful
ACM SIGPLAN Notices
Structured programming
Testing Software Design Modeled by Finite-State Machines
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
Software testing consumes a large percentage of total software development costs. Yet, it is still usually performed manually in a non rigorous fashion. In this work we suggest how state of the art practices in the area of testing can be applied to the systematic generation of tests from model-based formal specifications.