Specification-driven unit test generation for java generic classes

TitleSpecification-driven unit test generation for java generic classes
Publication TypeBook Chapter
Year of Publication2012
Authorsde Andrade, F. Rebello, J. P. Faria, A. Lopes, and A. C. R. Paiva
Book TitleIntegrated Formal Methods
Pagination296–311
PublisherSpringer Berlin Heidelberg