Mutation-Analysis Directed Constrained Random Verification - Xie, Tao; Letombe, Florian; Müller, Wolfgang; Kleinjohann, L.; Kleinjohann, B.; IFIP Working Conference on Distributed and Parallel Embedded Systems (DIPES 2010) (Springer Verlag, 2010)
Keywords: conference paper