Finding short counterexamples in promela models using estimation of distribution algorithms

Jan Staunton, John A. Clark

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Filter

Finished

SEBASE: SEBASE: Software Engineering by Automated Search
Clark, J. A. (Principal investigator)
EPSRC
28/06/06 → 4/07/12
Project: Research project (funded) › Research