1. Abdurazik, A., Ammann, P., Ding, W., and Offutt, J. (2000). Evaluation of three specification-based testing criteria. IEEE International Conference on Engineering of Complex Computer Systems, 179.
2. Abdurazik, A., and Offutt, J. (2000). Using UML collaboration diagrams for static checking and test generation. In Evans, A., Kent, S., and Selic, B., editors, UML 2000- The Unified Modeling Language. Advancing the Standard. Third International Conference, York, UK, 2000, Proceedings, Volume1939, Pages:383-395. Springer.
3. A systematic review of search-based testing for non-functional system properties
4. Aichernig, B. K. and Pari Salas, P. A. (2005). Test case generation by OCL mutation and constraint solving. International Conference on Quality Software, 64-71.
5. Alekseev, S., Tollkühn, P., Palaga, P., Dai, Z. R., Hoffmann, A., Rennoch, A., and Schieferdecker, I. (2007). Reuse of classification tree models for complex software projects. Conference on Quality Engineering in Software Technology (CONQUEST).