Exploring Very Large State Spaces Using Genetic Algorithms

This publication has 12 references indexed in Scilit:

• Directed explicit model checking with HSF-SPIN
  Published by Springer Nature ,2001
• Test-data generation using genetic algorithms
  Software Testing, Verification and Reliability, 1999
• Parameter control in evolutionary algorithms
  IEEE Transactions on Evolutionary Computation, 1999
• Model checking without a model
  Published by Association for Computing Machinery (ACM) ,1998
• Model checking for programming languages using VeriSoft
  Published by Association for Computing Machinery (ACM) ,1997
• Automatic structural testing using genetic algorithms
  Software Engineering Journal, 1996
• Model checking in practice: An analysis of the ACCESS.bus™ protocol using SPIN
  Published by Springer Nature ,1996
• Partial-Order Methods for the Verification of Concurrent Systems
  Published by Springer Nature ,1996
• An attack on the Needham-Schroeder public-key authentication protocol
  Information Processing Letters, 1995
• Using encryption for authentication in large networks of computers
  Communications of the ACM, 1978