Exploring very large state spaces using genetic algorithms

P Godefroid, S Khurshid - … Conference on Tools and Algorithms for the …, 2002 - Springer
We present a novel framework for exploring very large state spaces of concurrent reactive
systems. Our framework exploits application-independent heuristics using genetic …
被引用次数：167 相关文章
[PDF] utexas.edu

[PDF][PDF] Exploring Very Large State Spaces Using Genetic Algorithms

P Godefroid, S Khurshid - users.ece.utexas.edu
We present a novel framework for exploring very large state spaces of concurrent reactive
systems. Our framework exploits application-independent heuristics using genetic …

Exploring Very Large State Spaces Using Genetic Algorithms

P Godefroid, S Khurshid - Lecture Notes in Computer Science, 2002 - elibrary.ru
We present a novel framework for exploring very large state spaces of concurrent reactive
systems. Our framework exploits application-independent heuristics using genetic …
[PS] bell-labs.co

[PS][PS] Exploring Very Large State Spaces Using Genetic Algorithms

P Godefroid, S Khurshid - bell-labs.co
We present a novel framework for exploring very large state spaces of concurrent reactive
systems. Our framework exploits application-independent heuristics using genetic …

Exploring Very Large State Spaces Using Genetic Algorithms

P Godefroid, S Khurshid - L ecture N otesin C omputer S cience 2 2 8 0 - Springer
We present a novel framework for exploring very large state spaces of concurrent reactive
systems. Our framework exploits application-independent heuristics using genetic …
[PDF] psu.edu

[PDF][PDF] Exploring Very Large State Spaces Using Genetic Algorithms

P Godefroid, S Khurshid - Citeseer
We present a novel framework for exploring very large state spaces of concurrent reactive
systems. Our framework exploits application-independent heuristics using genetic …
[PS] 9p.io

[PS][PS] Exploring Very Large State Spaces Using Genetic Algorithms

P Godefroid, S Khurshid - 9p.io
We present a novel framework for exploring very large state spaces of concurrent reactive
systems. Our framework exploits application-independent heuristics using genetic …
[PS] bell-labs.co

[PS][PS] Exploring Very Large State Spaces Using Genetic Algorithms

P Godefroid, S Khurshid - bell-labs.co
We present a novel framework for exploring very large state spaces of concurrent reactive
systems. Our framework exploits application-independent heuristics using genetic …

Exploring Very Large State Spaces Using Genetic Algorithms

P Godefroid, S Khurshid - … of the 8th International Conference on Tools …, 2002 - dl.acm.org
We present a novel frameworkfor exploring very large state spaces of concurrent reactive
systems. Our frameworkexploits application-independent heuristics using genetic algorithms …

Exploring Very Large State Spaces Using Genetic Algorithms

P Godefroid, S Khurshid - … and Algorithms for the Construction and …, 2003 - books.google.com
We present a novel framework for exploring very large state spaces of concurrent reactive
systems. Our framework exploits application-independent heuristics using genetic …