@mastersthesis{
    laholam,
    author = "Lahola, Mikko",
    owner = "OEK",
    school = "Aalto University",
    year = "2010",
    address = "Espoo, Finland",
    title = "Flow Analysis Directed Symbolic Execution for Model-Based Test Generation"
}