Automated testing in software engineering: Using ant colony and self-regulated swarms

Proceedings of the IASTED International Conference on Modelling and Simulation

Volumn 2006, Issue , 2006, Pages 443-448

  Mahanti, P K ^a   Banerjee, Soumya ^b  

^a UNIVERSITY OF NEW BRUNSWICK   (Canada)

^b Institute of Management Studies   (India)

Author keywords

Ant colony s self regulated swarm agents; Automated software testing; Model checking; Pheromone distribution

Indexed keywords

ALGORITHMS; COMPUTER SIMULATION; ERROR ANALYSIS; MATHEMATICAL MODELS; MULTI AGENT SYSTEMS;

ANT COLONY SELF REGULATED SWARM AGENTS; AUTOMATED SOFTWARE TESTING; MODEL CHECKING; PHEROMONE DISTRIBUTION;

SOFTWARE ENGINEERING;

EID: 33751234189     PISSN: 10218181     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (21)

1. T Ball, R Majumdar, T. Millistein and S.K. Rajamani, Automatic Predicate abstraction of C Programs. In PLD 01: Programming Language Design and Implementation, ACM 2001, 203-213.
2. T Ball and S.K Rajamani, the SLAM project, Debugging System Software Via static Analysis. In POPL 02: Principles of Programming Languages, ACM 2002, 1-3.
3. T. Ball and S. K. Rajamani, Automatically validating temporal safety properties of interfaces. In SPIN 01: SPIN Workshop, LNCS 2057, Springer-Verlag, 2001, 103-122.
4. T Ball, The Verified Software Challenge, A Call for a Holistic Approach to Reliability, Tech. Report, Microsoft Research, Redmond, WA, USA.
5. M. Dorigo and L. M. Gambardella, Ant Colony System, A cooperative learning approach to the traveling salesman problem, IEEE Transactions on Evolutionary Computation, 1(1) 1997, 53-66.
6. Vitorino Ramos, Carlos Fernandes, Agostinho C. Rosa, Societal Implicit Memory and his Speed on Tracking Extrema in Dynamic Environments using Self-Regulatory Swarms, submitted to Journal of Systems Architecture (Farooq M. and Menezes R. (Eds.), Special issue on Nature Inspired Applied Systems, Elsevier, 2006).
7. D. Gluch. & C. Weinstock, Model-Based Verification, A Technology for Dependable System Upgrade (CMU/SEI-98-TR-009, ADA354756). Pittsburgh, Pa.: Software Engineering Institute, Carnegie Mellon University, 1998.
8. T.Ball, M Naik and S.K. Rajamani, From Symptom to Cause, Localizing Errors in Counterexample Traces. In POPL 03, January 15-17, 2003, New Orleans, Louisiana, USA, ACM 2003.
9. th ICSE Workshop on Component-Based Software Engineering: Component Certification and System Prediction, May 2001.
10. S. Easterbrook and M. Chechik, Framework for Multi-Valued Reasoning over Inconsistent Viewpoints. In International Conference on Software Engineering, 2001, 411-420.
11. H. Andrade and B. Sanders, An Approach to Compositional Model Checking. In Proceedings of the Formal Methods for Parallel Programming: Theory and Applications. In conjunction with IPDPS, 2002.
12. Thomas Ball and S.K. Rajamani, Specifying and Checking Properties of Programs, Microsoft Research, June 13, 2001, presented at the CSTB Symposium on Fundamentals of Computer Science, July 25-26, 2001.
13. A. Zeller, Yesterday, my program worked, today it doesn't, why? In FSE 99: Foundation of Software Engineering, ACM 1999, 253-267.
14. A. Zeller, Isolating Cause-Effect Chains from Computer Programs. In SIGSOFT 2002/FSE-10, November 18-22, 2002, Charleston, SC, USA, ACM 2002.
15. M. Dorigo and G. Di Caro, The ant colony optimization meta-heuristic (D. Corne, M. Dorigo, and F. Glover, New Ideas in Optimization, McGraw Hill, London, UK, 1999, 11-32).
16. M. Dorigo, G. Di Caro, and L. M. Gambardella,Ant algorithms for discrete optimization. Artificial Life, 5(2), 1999, 137-172.
17. G. Di Caro and M. Dorigo, AntNet: Distributed stigmergetic control for communications networks. Journal of Artificial Intelligence Research, 9, 1998, 317-365.
18. V.Ramos, C Fernandes and A.C.Rosa, Social Cognitive Maps, Swarm Collective Perception and Distributed Search on Dynamic Landscapes, To appear in Brains, Minds & Media - Journal of New Media in Neural and Cognitive Science, NRW, Germany, 2006.
19. M.J Harrold and G Tothermel, Aristotle: A system for research on and development of program analysis based tools, tech. report, The ohio State University, 1997.
20. D.R. Chialvo, M.M. Millonas, How Swarms build Cognitive Maps, In Steels, L. (Ed.): The Biology and Technology of Intelligent Autonomous Agents (144, NATO ASI Series, 1995, 439-450).
21. Marco Dorigo Universit'e Libre de Bruxelles, IRIDIA, The Ant Colony Optimization Metaheuristic: Algorithms, Applications, and Advances, Technical Report IRIDIA-2000-32.