@mastersthesis{
    kauttioj,
    author = "Kauttio, Janne",
    owner = "MN",
    school = "Aalto University",
    year = "2013",
    address = "Espoo, Finland",
    title = "MC/DC Based Test Selection for Dynamic Symbolic Execution"
}