Automated Test Generation from Models Based on Functional Software Specifications. - Michael Esser; Peter Struss (IICAI, 2007)

Fault-Model-Based Test Generation for Embedded Software. - Michael Esser; Peter Struss (IJCAI, 2007)