@techreport{0bf1e2cb31ff4570b9e77623b582d86f,
title = "Automated Test Generation for Software Components",
keywords = "automated testing, dynamic symbolic execution, automated testing, dynamic symbolic execution, automated testing, dynamic symbolic execution",
author = "Kari K{\"a}hk{\"o}nen",
year = "2009",
language = "English",
isbn = "978-952-248-280-8",
series = "TKK reports in information and computer science",
publisher = "Teknillinen korkeakoulu",
number = "26; TKK-ICS-R26",
pages = "46",
type = "WorkingPaper",
institution = "Teknillinen korkeakoulu",
}