Testing techniques based on symbolic evaluation
Proceedings of Centre for Software Reliability Workshop on Software: requirements, specification and testing
A functional approach to program testing and analysis
IEEE Transactions on Software Engineering
Test sets generation from algebraic specifications using logic programming
Journal of Systems and Software
IEEE Transactions on Software Engineering
A method for test data selection
Journal of Systems and Software
The category-partition method for specifying and generating fuctional tests
Communications of the ACM
TEAM: a support environment for testing, evaluation, and analysis
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A Formal Evaluation of Data Flow Path Selection Criteria
IEEE Transactions on Software Engineering
Data Abstraction, Implementation, Specification, and Testing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Art of Software Testing
A partition analysis method to increase program reliability
ICSE '81 Proceedings of the 5th international conference on Software engineering
ANNA: a language for annotating ADA programs
ANNA: a language for annotating ADA programs
A New Model for Error Detection
A New Model for Error Detection
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
An Analysis of Test Data Selection Criteria Using the RELAY Model of Fault Detection
IEEE Transactions on Software Engineering
Structural specification-based testing with ADL
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Specification-based testing of synchronous software
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Formal methods: state of the art and future directions
ACM Computing Surveys (CSUR) - Special ACM 50th-anniversary issue: strategic directions in computing research
Test Case Generation as an AI Planning Problem
Automated Software Engineering
AI Planner Assisted Test Generation
Software Quality Control
Improving test suites via operational abstraction
Proceedings of the 25th International Conference on Software Engineering
The Specification-Based Testing of a Trusted Kernel: MK++
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
A Formal Approach to Testing Lustre Specifications
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Generating Test Cases from an OO Model with an AI Planning System
ISSRE '99 Proceedings of the 10th International Symposium on Software Reliability Engineering
Planner Based Error Recovery Testing
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Strategies for Automated Specification-Based Testing of Synchronous Software
Proceedings of the 16th IEEE international conference on Automated software engineering
Predicting problems caused by component upgrades
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Simulation-based test adequacy criteria for distributed systems
Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
A methodology for evaluating test coverage criteria of high levelPetri nets
Information and Software Technology
Generating tests from UML specifications
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Choices, choices: comparing between CHOC'LATE and the classification-tree methodology
Ada-Europe'12 Proceedings of the 17th Ada-Europe international conference on Reliable Software Technologies
Automatic conformance testing of optimized triple graph grammar implementations
AGTIVE'11 Proceedings of the 4th international conference on Applications of Graph Transformations with Industrial Relevance
| Hi-index | 0.00 |
Current software testing practices focus, almost exclusively, on the implementation, despite widely acknowledged benefits of testing based on software specifications. We propose approaches to specification-based testing by extending a wide variety of implementation-based testing techniques to be applicable to formal specification languages. We demonstrate these approaches for the Anna and Larch specification languages.