1. Andrews, J.H., Briand, L.C., Labiche, Y.: Is mutation an appropriate tool for testing experiments? In: ICSE ’05: Proc. 27th International Conference on Software Engineering, pp. 402–411. ACM, New York (2005)
2. Andrews, J.H., Haldar, S., Lei, Y., Li, F.C.H.: Tool support for randomized unit testing. In: RT ’06: Proceedings of the 1st International Workshop on Random Testing, Portland, Maine, pp. 36–45. ACM, New York (2006)
3. Bird, D.L., Munoz, C.U.: Automatic generation of random self-checking test cases. IBM Syst. J. 22(3), 229–245 (1983)
4. Bloom, B., Field, J., Nystrom, N., Östlund, J., Richards, G., Strniša, R., Vitek, J., Wrigstad, T.: Thorn: Robust, concurrent, extensible scripting on the JVM. In: Arora, S., Leavens, G.T. (eds.) Proc. 24th ACM Conf. OOPSLA, Orlando, Florida, USA, pp. 117–136. ACM, New York (2009)
5. Boyapati, C., Khurshid, S., Marinov, D.: Korat: Automated testing based on Java predicates. In: ISSTA ’02: Proc. 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis, Roma, Italy, pp. 123–133. ACM, New York (2002)