Extracting test sequences from a Markov software usage model by ACO

DOI10.1007/3-540-45110-2_150MaRDI QIDQ4451881zbMATH OpenFDO

Authors K. F. Doerner, Walter J. Gutjahr

Publication date 11 February 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2724/27242465.htm

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Learning and adaptive systems in artificial intelligence (68T05) Computing methodologies and applications (68U99)

Recommendations

• Importance Sampling of Test Cases in Markovian Software Usage Models
• Software dependability evaluation based on Markov usage models
• Quantification of software code coverage using artificial bee colony optimization based on Markov approach
• scientific article; zbMATH DE number 6401121
• Optimal software testing in the setting of controlled Markov chains

Cited in

(7)

• Quantification of software code coverage using artificial bee colony optimization based on Markov approach
• Metaheuristic search techniques for multi-objective and stochastic problems: a history of the inventions of Walter J. Gutjahr in the past 22 years
• Testing restorable systems: formal definition and heuristic solution based on river formation dynamics
• Software dependability evaluation based on Markov usage models
• ON THE USE OF INTELLIGENT AGENTS TO GUIDE TEST SEQUENCE SELECTION AND OPTIMIZATION
• Importance Sampling of Test Cases in Markovian Software Usage Models
• Ant colony optimization with partial order reduction for discovering safety property violations in concurrent models

This page was built for publication: Extracting test sequences from a Markov software usage model by ACO

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4451881)