How an "evolving" fault model improves the behavioral test generation | IEEE Conference Publication | IEEE Xplore