Reference:
Kari Kähkönen. Automated dynamic test generation for sequential Java programs. Master's thesis, Helsinki University of Technology, Department of Information and Computer Science, 2008.
Suggested BibTeX entry:
@mastersthesis{KahkonenMsc, author = {Kari K\"ahk\"onen}, school = {Helsinki University of Technology, Department of Information and Computer Science}, title = {Automated Dynamic Test Generation for Sequential {J}ava Programs}, year = {2008}, }