Cooperative Testing of Timed Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
APLAS '08 Proceedings of the 6th Asian Symposium on Programming Languages and Systems
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
A machine learning approach for statistical software testing
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Model-based testing of object-oriented reactive systems with spec explorer
Formal methods and testing
Proceedings of the 32nd ACM SIGPLAN conference on Programming language design and implementation
FATES'05 Proceedings of the 5th international conference on Formal Approaches to Software Testing
Testing real-time systems under uncertainty
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Hi-index | 0.00 |
We discuss algorithmic problems arising in the testing of reactive systems, i.e. systems that interact with their environment. The goal is to design test sequences so that we can deduce desired information about the given system under test, such as whether it conforms to a given specification model, or whether it satisfies given requirement properties. Test generation can be approached from different points of view - as an optimization problem of minimizing cost and maximizing the effectiveness of the tests; as a game between tester and system under test; or as a learning problem. We touch on some of these aspects and related algorithmic questions.