Agile methods for open source safety-critical software
Generating test data from state-based specifications