@mastersthesis{
    korpelam,
    author = "Korpela, Mikko",
    owner = "OEK",
    school = "Helsinki University of Technology",
    year = "2009",
    address = "Espoo, Finland",
    title = "Implementing a Model-Based Testing System for a Software Project"
}