Exploring Very Large State Spaces Using Genetic Algorithms
Abstract elided by the publisher.
Related papers
- Trace aware random testing for distributed systems OOPSLA 2019
- Learning-based controlled concurrency testing OOPSLA 2020
- Reward Augmentation in Reinforcement Learning for Testing Distributed Systems OOPSLA 2024
- Automatic repair of regular expressions OOPSLA 2019
- Counterexample Guided Inductive Synthesis Modulo Theories CAV 2018
- Predictive modeling in a polyhedral optimization space CGO 2011
- Optimizing Sorting with Genetic Algorithms CGO 2005
- Space-Time Trade-Off Optimization for a Class of Electronic Structure Calculations PLDI 2002