IEEE Transactions on Software Engineering
Systematic software development using VDM (2nd ed.)
Systematic software development using VDM (2nd ed.)
Specification-based test oracles for reactive systems
ICSE '92 Proceedings of the 14th international conference on Software engineering
Testing finite state machines: fault detection
Selected papers of the 23rd annual ACM symposium on Theory of computing
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Software unit test coverage and adequacy
ACM Computing Surveys (CSUR)
Model-based testing in practice
Proceedings of the 21st international conference on Software engineering
Sequential abstract-state machines capture sequential algorithms
ACM Transactions on Computational Logic (TOCL)
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
IEEE Transactions on Software Engineering
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
Automated Boundary Testing from Z and B
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Optimal strategies for testing nondeterministic systems
ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Testing from a Nondeterministic Finite State Machine Using Adaptive State Counting
IEEE Transactions on Computers
Controlling test case explosion in test generation from B formal models: Research Articles
Software Testing, Verification & Reliability
Software Testing, Verification & Reliability - SoftTest II: The Second UK Workshop on Software Testing Research
Generation of test sequences from formal specifications: GSM 11-11 standard case study
Software—Practice & Experience
Automatic Software Test Drivers
Computer
ProTest: An Automatic Test Environment for B Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Applying adaptive test cases to nondeterministic implementations
Information Processing Letters
Test case generation from formal models through abstraction refinement and model checking
Proceedings of the 3rd international workshop on Advances in model-based testing
Model Based Testing of a Network-on-Chip Component
Electronic Notes in Theoretical Computer Science (ENTCS)
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models
TESTCOM '09/FATES '09 Proceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop
Generating high-quality tests for Boolean circuits by treating tests as proof encoding
TAP'10 Proceedings of the 4th international conference on Tests and proofs
BETA: a b based testing approach
SBMF'12 Proceedings of the 15th Brazilian conference on Formal Methods: foundations and applications
| Hi-index | 0.00 |
In this article, we consider model oriented formal specification languages. We generate test cases by performing symbolic execution over a model, and from the test cases obtain a Java program. This Java program acts as a test driver and when it is run in conjunction with the implementation then testing is performed in an automatic manner. Our approach makes the testing cycle fully automatic. The main contribution of our work is that we perform automatic testing even when the models are non-deterministic.