The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Directed explicit model checking with HSF-SPIN
SPIN '01 Proceedings of the 8th international SPIN workshop on Model checking of software
Model checking Java programs using structural heuristics
ISSTA '02 Proceedings of the 2002 ACM SIGSOFT international symposium on Software testing and analysis
Genetic Algorithms for Protocol Validation
PPSN IV Proceedings of the 4th International Conference on Parallel Problem Solving from Nature
Partial Order Reduction in Directed Model Checking
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
Metaheuristics in combinatorial optimization: Overview and conceptual comparison
ACM Computing Surveys (CSUR)
Ant Colony Optimization
Directed explicit-state model checking in the validation of communication protocols
International Journal on Software Tools for Technology Transfer (STTT)
Exploring very large state spaces using genetic algorithms
International Journal on Software Tools for Technology Transfer (STTT) - Special section on tools and algorithms for the construction and analysis of systems
ACOhg: dealing with huge graphs
Proceedings of the 9th annual conference on Genetic and evolutionary computation
Finding safety errors with ACO
Proceedings of the 9th annual conference on Genetic and evolutionary computation
MALLBA: a software library to design efficient optimisation algorithms
International Journal of Innovative Computing and Applications
Extracting test sequences from a Markov software usage model by ACO
GECCO'03 Proceedings of the 2003 international conference on Genetic and evolutionary computation: PartII
Ant colony optimization for model checking
EUROCAST'07 Proceedings of the 11th international conference on Computer aided systems theory
Finding short counterexamples in promela models using estimation of distribution algorithms
Proceedings of the 13th annual conference on Genetic and evolutionary computation
An ant colony optimization approach to the software release planning with dependent requirements
SSBSE'11 Proceedings of the Third international conference on Search based software engineering
Search-based software engineering: Trends, techniques and applications
ACM Computing Surveys (CSUR)
| Hi-index | 0.89 |
In this article we analyze the combination of ACOhg, a new metaheuristic algorithm, plus partial order reduction applied to the problem of finding safety property violations in concurrent models using a model checking approach. ACOhg is a new kind of ant colony optimization algorithm inspired by the foraging behavior of real ants equipped with internal resorts to search in very large search landscapes. We here apply ACOhg to concurrent models in scenarios located near the edge of the existing knowledge in detecting property violations. The results state that the combination is computationally beneficial for the search and represents a considerable step forward in this field with respect to exact and other heuristic techniques.