• Iman Saleh, Gregory Kulczycki, "Design-Time Detection of Implementation Errors Using Formal Code Specification", RESOLVE 2010 Workshop: Advances in Automated Verification, Olin Science Building, Denison University, Granville, Ohio, June 8, 2010
  • A. Derezinska, A. Szustek, "Object-Oriented Testing Capabilities and Performance Evaluation of the C# Mutation System", In: Szmuc, T., Szpyrka, M., Zendulka, J. (eds.) Proc. 4th IFIP TC2 Central and Eastern European Conference on Software Engineering Techniques CEE-SET 2009, LNCS, vol. 7054, Springer, 2012, pp. 229-242
  • A. Derezinska, A. Szustek, "Tool-supported mutation approach for verification of C# programs", Proc. of Inter. Conf. on Dependability of Computer Systems, DepCoS-RELCOMEX, IEEE Comp. Soc. USA, 2008, pp. 261-268, DOI: 10.1109/DepCoS-RELCOMEX.2008.51
  • A. Derezinska, A. Szustek, "CREAM - a system for object-oriented mutation of C# programs", red. S.Szczepanski, M. Klosowski, Z. Felendzer, Gdansk University of Technology Faculty ETI Annals, No 5, Information Technologies vol.13, Gdansk 2007, pp. 389-406
  • A. Szustek, "CREAM - An Automated Object Mutation System for C#", MA thesis, Warsaw University of Technology, Institute of Computer Science, 2007


  • A. Derezińska, K. Kowalski, "Object-Oriented Mutation Applied in Common Intermediate Language Programs Originated from C#", Mutation Workshop '11 col at ICSTW, Proc. of IEEE 4th Inter. Conf. Software Testing Verification and Validation Workshops (ICSTW), IEEE Comp. Soc., 2011, pp. 342 - 350,, DOI: 10.1109/ICSTW.2011.54
  • A. Derezinska, "Classification of advanced mutation operators of C# language", L. Borzemski et al. (Eds.) Information Systems Architecture and Technology, New Developments in Web-Age Information Systems, Oficyna Wydawnicza Politechniki Wroclawskiej, Wroclaw 2010, Poland, pp.261-271
  • A. Derezinska, "Analysis of emerging features of C# language towards mutation testing", in J. Mazurkiewicz, J. Sugier, T. Walkowiak, W. Zamojski (Eds). Models and Methodology of System Development, Monographs of System Dependability vol. 1, Oficyna Wydawnicza Politechniki Wroclawskiej, Wroclaw 2010, Poland, pp.47-59
  • A. Derezinska, "Quality assessment of mutation operators dedicated for C# programs", in Proc of 6th Inter. Conf. on Quality Software, QSIC'06, Beijing, China, Oct. 2006, IEEE Computer Soc. Press, Los Alamitos California, 2006, pp.227-234
  • A. Derezinska, "Advanced mutation operators applicable in C# programs", in IFIP International Federation for Information Processing, Volume 227, Software Engineering Techniques: Design for Quality, ed. K. Sacha, (Boston, Springer), 2006, pp. 283-288, DOI: 10.1007/978-0-387-39388-9_27
  • A. Derezinska, Specification of mutation operators specialized for C# code, Institut of Computer Science, Warsaw University of Technology, Res. Report 2/05, 2005


  • A.Derezinska, "Object-Oriented Mutation to Assess the Quality of Tests", Proc. of the 29th Euromicro Conf., IEEE Comp. Society, Los Alamitos , California , 2003, pp.417-420.


    Mutation sampling

  • A. P. Mathur and W. E. Wong, "An Empirical Comparison of Mutation and Data Flow Based Test Adequacy Criteria", Purdue University, West Lafayette, Indiana, Technique Report, 1993.

    Selective mutation

  • J. Offutt, G. Rothermel, C. Zapf, "An Experimental Evaluation of Selective Mutation" in Proceedings of the 15th International Conference on Software Engineering (ICSE'93). Baltimore, Maryland: IEEE Computer Society Press, May 1993, pp. 100-107.

    Mutation clustering

  • C. Ji, Z. Chen, B. Xu, Z. Zhao, "A Novel Method of Mutation Clustering Based on Domain Analysis" in Proceedings of the 21st International Conference on Software Engineering and Knowledge Engineering (SEKE'09). Boston, Massachusetts: Knowledge Systems Institute Graduate School, 1-3 July 2009, pp. 422-425
  • S. Hussain, "Mutation Clustering", Masters Thesis, King's College London, Strand, London, 2008.