1. A model-driven design framework for massively parallel embedded systems;Gamatié;ACM Transactions on Embedded Computing Systems,2011
2. Hints on test data selection: help for the practicing programmer;DeMillo;Computer,1978
3. The revealing power of a test case;Voas;Software Testing Verification and Reliability,1992
4. Murmane T Reed K Assoc T Carlton V On the effectiveness of mutation analysis as a black box testing technique 13th Australian Software Engineering Conference (ASWEC 2001), 2001 12 20
5. Baudry B Le Traon Y Sunyé G Jézéquel J-M Measuring and improving design patterns testability 9th IEEE International Software Metrics Symposium (METRICS 2003) 2003 50