systematic-testing.com

Evolutionary testing: Saftey Testing

Papers dealing with the application of search techniques to verify the system under test against specified safety constraints are found at the University of York.