Fault model-driven test derivation from finite state models: annotated bibliography
Modeling and verification of parallel processes
Passive testing and applications to network management
ICNP '97 Proceedings of the 1997 International Conference on Network Protocols (ICNP '97)
Using formal specifications to support testing
ACM Computing Surveys (CSUR)
Efficient traces' collection mechanisms for passive testing of Web Services
Information and Software Technology
Passive Testing of Timed Systems
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
A passive testing approach based on invariants: application to the WAP
Computer Networks: The International Journal of Computer and Telecommunications Networking
Supporting the Extraction of Timed Properties for Passive Testing by Using Probabilistic User Models
QSIC '09 Proceedings of the 2009 Ninth International Conference on Quality Software
Ant system: optimization by a colony of cooperating agents
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
An EFSM-based passive fault detection approach
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Hi-index | 0.00 |
Testing is one of the most widely used techniques to increase the quality and reliability of complex software systems. In this paper we refine our previous work on passive testing with invariants to incorporate (probabilistic) knowledge obtained from users of the system under test by using data mining techniques. We adapt our previous approach in order to reduce costs. We emphasize the use of data mining to discover knowledge, a technique that is not only accurate but also comprehensible for the user.