@mastersthesis{
    kahkonenk,
    author = {K\"ahk\"onen, Kari},
    owner = "OEK",
    school = "Helsinki University of Technology",
    year = "2008",
    address = "Espoo, Finland",
    title = "Automated Dynamic Test Generation for Sequential Java Programs"
}