Learning regular sets from queries and counterexamples
Information and Computation
Insights into testing and regression testing global variables
Journal of Software Maintenance: Research and Practice
Proceedings of the Conference on The Future of Software Engineering
FORTE XII / PSTV XIX '99 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX)
VeriSoft: A Tool for the Automatic Analysis of Concurrent Reactive Software
CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
Formal Test Automation: A Simple Experiment
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
Insights to Angluin's Learning
Electronic Notes in Theoretical Computer Science (ENTCS)
CONCUR'10 Proceedings of the 21st international conference on Concurrency theory
Towards quality of model-based testing in the ioco framework
Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to testing Automation
| Hi-index | 0.00 |
Model-based conformance testing provides a mathematically sound technique to assess the quality of systems and check the correctness of a system with respect to a model. Most systems, however, are built or modified without documenting the (new) specifications, thereby limiting the use of model-based testing techniques. In this paper, we describe a method to obtain models automatically from an existing system, using model-based testing techniques relying on ioco-based testing. These models are useful for e.g. regression testing, or for the testing of different configurations of systems. We illustrate the effectiveness of our approach using a case-study in which we test mutants of the system against models that have been automatically extracted from the (correct) system.