Publications

Specification-Driven Unit Test Generation for Java Generic Classes

AuthID
P-008-58A

Author(s)

Rebello De Andrade, F

Faria, JP

Lopes, A

Paiva, ACR

Editor(s)

John Derrick; Stefania Gnesi; Diego Latella; Helen Treharne

Document Type

Proceedings Paper

Year published

2012

Published

in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 7321 LNCS, Pages: 296-311

Conference

9Th International Conference on Integrated Formal Methods, Ifm 2012, Date: 18 June 2012 through 21 June 2012, Location: Pisa, Sponsors: INTECS;Formal Methods;Banca Nazionale del Lavoro;EATCS

Indexing