Eiffel: the language
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
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Using Test Oracles Generated from Program Documentation
IEEE Transactions on Software Engineering
Proof, language, and interaction
Generating finite state machines from abstract state machines
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Korat: automated testing based on Java predicates
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Projected state machine coverage for software testing
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
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
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
UniTesK Test Suite Architecture
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Testing Non-Deterministic State Machines with Fault Coverage
Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems IV
Abstract State Machines: A Method for High-Level System Design and Analysis
Abstract State Machines: A Method for High-Level System Design and Analysis
iContract - The Java(tm) Design by Contract(tm) Tool
TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
jContractor: A Reflective Java Library to Support Design by Contract
jContractor: A Reflective Java Library to Support Design by Contract
Adding Contracts to Java with Handshake
Adding Contracts to Java with Handshake
Irredundant Algorithms for Traversing Directed Graphs: The Deterministic Case
Programming and Computing Software
Using a model-based test generator to test for standard conformance
IBM Systems Journal
A test case generation approach for conformance testing of SDL systems
Computer Communications
Formalization of test experiments
Programming and Computing Software
Automation of broad sanity test generation
Programming and Computing Software
Bug localization by constructing reduced traces
Programming and Computing Software
Integration of verification methods for program systems
Programming and Computing Software
Complete open-state testing of limitedly nondeterministic systems
Programming and Computing Software
Multithreaded testing of program interfaces
Programming and Computing Software
Component architecture of model-based testing environment
Programming and Computing Software
Specification based conformance testing for email protocols
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Targeted data generation for application testing on databases
Programming and Computing Software
An orchestrated survey of methodologies for automated software test case generation
Journal of Systems and Software
| Hi-index | 0.00 |
Principles of the UniTesK test development technology based on the use of formal models of target software are presented. This technology was developed by the RedVerst group in the Institute for System Programming, Russian Academy of Sciences (ISPRAS) [1], which obtained rich experience in testing and verification of complex commercial software.