id: 05694937
dt: j
an: 05694937
au: Chicano, Francisco; Alba, Enrique
ti: Ant colony optimization with partial order reduction for discovering safety
    property violations in concurrent models.
so: Inf. Process. Lett. 106, No. 6, 221-231 (2008).
py: 2008
pu: Elsevier Sciences Publishers (North-Holland), Amsterdam
la: EN
cc: 
ut: program correctness; ant colony optimization; metaheuristics; model
    checking; HSF-SPIN
ci: 
li: doi:10.1016/j.ipl.2007.11.015
ab: Summary: 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.
rv: