Publicações

A 5-Step Hunt for Faults in Java Implementations of Algebraic Specifications

AuthID
P-008-DNE

Author(s)

Nunes, I

Luis, F

Tipo de Documento

Proceedings Paper

Year published

2013

Publicado

in IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013) in IEEE International Conference on Software Testing Verification and Validation Workshops, ISSN: 2159-4848

Páginas: 168-177 (10)

Conference

6Th Ieee International Conference on Software Testing, Verification and Validation (Icst), Date: MAR 18-22, 2013, Location: Luxembourg, LUXEMBOURG, Patrocinadores: IEEE, P&T Luxembourg, IEE, SES, Fonds Natl Rech Luxembourg, Luxinnovation, Secur & Trust, Univ Luxembourg, Comp Sci & Commun Res Unit, Lab Adv Software Syst, IEEE Comp Soc

Indexing