Bernhard K. Aichernig Martin Weiglhofer Bernhard Peischl Franz Wotawa Test purpose generation in an industrial application. 115-125 2007 conf/amost/2007 A-MOST http://doi.acm.org/10.1145/1291535.1291547 db/conf/amost/amost2007.html#AichernigWPW07