Test sets generation from algebraic specifications using logic programming
Journal of Systems and Software
The category-partition method for specifying and generating fuctional tests
Communications of the ACM
Formal Methods for Protocol Testing: A Detailed Study
IEEE Transactions on Software Engineering
Software testing techniques (2nd ed.)
Software testing techniques (2nd ed.)
Test Generation from LOTOS Specifications
IEEE Transactions on Computers - Special issue on protocol engineering
Eiffel: the language
The RAISE specification language
The RAISE specification language
Markov chain techniques for software testing and reliability analysis
Markov chain techniques for software testing and reliability analysis
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 Markov Chain Model for Statistical Software Testing
IEEE Transactions on Software Engineering
Oracles for checking temporal properties of concurrent systems
SIGSOFT '94 Proceedings of the 2nd ACM SIGSOFT symposium on Foundations of software engineering
Statistical testing of software based on a usage model
Software—Practice & Experience
Evolving algebras 1993: Lipari guide
Specification and validation methods
Generating oracles from your favorite temporal logic specifications
SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Test templates: a specification-based testing framework
ICSE '93 Proceedings of the 15th international conference on Software Engineering
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
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
Computer
Test Case Generation for Protocols Specified in Estelle
FORTE '90 Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, III
Test Generation with Inputs, Outputs, and Quiescence
TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Java Specification Extension for Automated Test Development
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
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
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
UniTesK Test Suite Architecture
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Using assertions about traces to write abstract specifications for software modules
Proceedings of the 2nd Conference of the European Cooperation on Informatics: Information Systems Methodology
Testing Concurrency and Communication in Distributed Objects
HIPC '98 Proceedings of the Fifth International Conference on High Performance Computing
Testing of Concurrent Programs Based on Message Sequence Charts
PDSE '99 Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems
Test Case Design Based on Z and the Classification-Tree Method
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Criteria for Generating Specification-Based Tests
ICECCS '99 Proceedings of the 5th International Conference on Engineering of Complex Computer Systems
Using a model-based test generator to test for standard conformance
IBM Systems Journal
Practical approach to specification and conformance testing of distributed network applications
ISAS'05 Proceedings of the Second international conference on Service Availability
| Hi-index | 0.00 |
The article discusses problems of model based test construction and ways of their solution using different kinds of models (operational, contract, axiomatic, and history-based specifications). The main idea is that the integration of model based techniques having different underlying formalisms can give valuable practical results in test construction. The idea is illustrated by successful applications of UniTesK test development technology based on the combination of contract specifications used to describe system behavior and operational models used for test sequence generation. UniTesK was designed in RedVerst [http://www.ispras.ru/groups/rv/rv.html] group of ISP RAS on the base of experience obtained in several industrial software testing projects.