Reliability of Systems with Markov Transfer of Control
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Markov analysis of software specifications
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Markov Chain Model for Statistical Software Testing
IEEE Transactions on Software Engineering
Statistical testing of software based on a usage model
Software—Practice & Experience
The ant colony optimization meta-heuristic
New ideas in optimization
Software dependability evaluation based on Markov usage models
Performance Evaluation
A Graph-based Ant system and its convergence
Future Generation Computer Systems
Measuring and Modeling Usage and Reliability for Statistical Web Testing
IEEE Transactions on Software Engineering - Special section on the seventh international software metrics symposium
Modular Operational Test Plans for Inferences on Software Reliability Based on a Markov Model
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Application of Statistical Science to Testing and Evaluating Software Intensive Systems
SESD '99 Proceedings of the Science and Engineering for Software Development: A Recognition of Harlan D. Mills' Legacy
Resource-Constrained Non-Operational Testing of Software
ISSRE '98 Proceedings of the The Ninth International Symposium on Software Reliability Engineering
Finite-State Testing and Analysis of Graphical User Interfaces
ISSRE '01 Proceedings of the 12th International Symposium on Software Reliability Engineering
A User-Oriented Software Reliability Model
IEEE Transactions on Software Engineering
An Ant Colony Optimization Approach to Test Sequence Generation for Statebased Software Testin
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
A systematic approach to automatically generate test scenarios from UML activity diagrams
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Information Processing Letters
Applying Evolutionary Computation Methods to Formal Testing and Model Checking
IWANN '09 Proceedings of the 10th International Work-Conference on Artificial Neural Networks: Part I: Bio-Inspired Systems: Computational and Ambient Intelligence
Nature-inspired techniques for conformance testing of object-oriented software
Applied Soft Computing
Using anti-ant-like agents to generate test threads from the UML diagrams
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Software coverage: a testing approach through ant colony optimization
SEMCCO'11 Proceedings of the Second international conference on Swarm, Evolutionary, and Memetic Computing - Volume Part I
Hi-index | 0.00 |
The aim of the paper is to investigate methods for deriving a suitable set of test paths for a software system. The design and the possible uses of the software system are modelled by a Markov Usage Model which reflects the operational distribution of the software system and is enriched by estimates of failure probabilities, losses in case of failure and testing costs. Exploiting this information, we consider the tradeoff between coverage and testing costs and try to find an optimal compromise between both. For that purpose, we use a heuristic optimization procedure inspired by nature, Ant Colony Optimization, which seems to fit very well to the problem structure under consideration. A real world software system is studied to demonstrate the applicability of our approach and to obtain first experimental results.