Václav Rajlich
Department of Computer Science, Wayne State University, Detroit, MI
A search-based automated test-data generation framework for safety-critical systems
Systems engineering for business process change