Finding deadlocks in large concurrent java programs using genetic algorithms

GECCO'08: Proceedings of the 10th Annual Conference on Genetic and Evolutionary Computation 2008

Volumn , Issue , 2008, Pages 1735-1742

  Alba, Enrique ^a   Chicano, Francisco ^a   Ferreira, Marco ^b   Gomez Pulido, Juan ^c  

^a UNIVERSITY OF MÁLAGA   (Spain)

^b POLYTECHNIC INSTITUTE OF LEIRIA   (Portugal)

^c UNIVERSITY OF EXTREMADURA   (Spain)

Author keywords

GA; Graph search; Memory operator; Model checking

Indexed keywords

COMPUTER SOFTWARE; GALLIUM; GENETIC ALGORITHMS; JAVA PROGRAMMING LANGUAGE;

AUTOMATIC TECHNIQUE; CONCURRENT JAVA PROGRAMS; CONCURRENT SOFTWARE; GENETIC ALGORITHM (GAS); GRAPH SEARCH; MEMORY OPERATORS; META-HEURISTIC TECHNIQUES; STATE EXPLOSION PROBLEMS;

MODEL CHECKING;

EID: 57349107218     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1389095.1389432     Document Type: Conference Paper

References (14)

1. E. Alba and F. Chicano. Finding safety errors with ACO. In GECCO '07: Proceedings of the 9th annual conference on Genetic and evolutionary computation, pages 1066-1073, New York, NY, USA, 2007. ACM Press.
2. E. Alba and J. Troya. Genetic algorithms for protocol validation. Proceedings of the 4th conference on Parallel Problem Solving (PPSN IV), Berlin, Germany, September, 1996.
3. C. Blum and A. Roli. Metaheuristics in combinatorial optimization: Overview and conceptual comparison. ACM Computing Surveys, 35(3):268-308, 2003.
4. J. R. Burch, E. M. Clarke, D. E. Long, K. L. McMillan, and D. L. Dill. Symbolic model checking for sequential circuit verification. Technical report, Pittsburgh, PA, USA, 1993.
5. E. Clarke, O. Grumberg, M. Minea, and D. Peled. State space reduction using partial order techniques. International Journal on Software Tools for Technology Transfer (STTT), 2(3):279-287, 1999.
6. E. Dijkstra. Hierarchical ordering of sequential processes. The Origin of Concurrent Programming: From Semaphores to Remote Procedure Calls, 2002.
7. P. Godefroid and S. Khurshid. Exploring very large state spaces using genetic algorithms. International Journal on Software Tools for Technology Transfer (STTT), 6(2):117-127, 2004.
8. G. Gopalakrishnan. Computation Engineering: Applied Automata Theory and Logic. Springer US, 2006.
9. A. Groce and W. Visser. Heuristics for model checking java programs. International Journal on Software Tools for Technology Transfer (STTT), 6(4):260-276, 2004.
10. D. Gusfield and R. Irving. The stable marriage problem. MIT Press, 1989.
11. A. L. Lafuente. Symmetry reduction and heuristic search for error detection in model checking. Workshop on Model Checking and Artificial Intelligence, August 2003.
12. L. Lamport. Verification and specification of concurrent programs. A Decade of Concurrency: Reflections and Perspectives: REX School/symposium, Noordwijkerhout, the Netherlands, June 1-4, 1993: Proceedings, 1994.
13. D. J. Sheskin. Handbook of Parametric and Nonparametric Statistical Procedures. Chapman & Hall/CRC, 2007.
14. M. Yagiura and T. Ibaraki. On metaheuristic algorithms for combinatorial optimization problems. Systems and Computers in Japan, 32(3):33-55, 2001.