Abstract
January is a group of interacting stateless model checkers designed for bug hunting in large transition graphs that represent the behavior of a program or protocol. January is based upon both individual and social insect behaviors, as such, dynamic solutions emerge from agents functioning with incomplete data. Each agent functions on a processor located on a network of workstations (NOW). The agents’ search pattern is a semi-random walk based on the behavior of the grey field slug (Agriolimax reticulatus), the house fly (Musca domestica), and the black ant (Lassius niger). January requires significantly less memory to detect bugs than the usual parallel approach to model checking. In some cases, January finds bugs using 1% of the memory needed by the usual algorithm to find a bug. January also requires less communication which saves time and bandwidth.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
MPICH 1.2.5. Mpich 1.2.5 (1993), http://www-unix.mcs.anl.gov/mpi/mpich/
Baker, R.R.: The Evolutionary Ecology of Animal Migration. Hodder and Stoughton, London (1978)
Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (2000)
Dorigo, M., Stutzle, T.: Ant Colony Optimization, 1st edn. Bradford Books, MIT Press (2004)
Jones, M.D., Mercer, E.: Explicit state model checking with Hopper. In: Graf, S., Mounier, L. (eds.) SPIN 2004. LNCS, vol. 2989, pp. 146–150. Springer, Heidelberg (2004)
Jones, M.D., Sorber, J.: Parallel search for LTL violations. Software Tools for Technology Transfer 7(1), 31–42 (2005)
Sivaraj, H., Gopalakrishnan, G.: Random walk based heuristic algorithms for distributed memory model checking. In: Proceedings of Workshop on Parallel and Distributed Model Checking 2003 (2003)
Stern, U., Dill, D.L.: Parallelizing the Murφ verifier. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 256–267. Springer, Heidelberg (1997)
Wagner, I.A., Lindenbaum, M., Bruckstein, A.M.: Robotic exploration, brownian motion and electrical resistance. In: Randomization and Approximation Techniques in Computer Science, pp. 116–130 (1998)
Weeks Jr., R.D.: Chemical ecology in the red imported fire ant (Solenopsis invicta buren) (hymenoptera: Formicidae). Technical report, Colorado State University, Fort Collins, CO 80523 (1998)
West, C.: Protocol validation in complex systems. In: Symposium Proceedings on Communications Architecture and Protocols, pp. 303–312 (1989)
White, J., Tokbin, T.R., Bell, W.J.: Local search in the housefly, musca domestica after feeding on sucrose. J. Insect Physiol., 477–88 (1984)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lamborn, P., Jones, M. (2006). January: A Parallel Algorithm for Bug Hunting Based on Insect Behavior. In: Runarsson, T.P., Beyer, HG., Burke, E., Merelo-Guervós, J.J., Whitley, L.D., Yao, X. (eds) Parallel Problem Solving from Nature - PPSN IX. PPSN 2006. Lecture Notes in Computer Science, vol 4193. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11844297_74
Download citation
DOI: https://doi.org/10.1007/11844297_74
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-38990-3
Online ISBN: 978-3-540-38991-0
eBook Packages: Computer ScienceComputer Science (R0)