BIBLIOS

  Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Full paper

Title
A 5-step hunt for faults in Java implementations of algebraic specifications

Participants in the publication
Nunes I (Author)
Dep. Informática
BioISI
Luís F (Author)

Date of Publication
2013

Event
2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW)

Publication Identifiers
ISBN - 9780769549934

Publisher
IEEE

Edition
IEEE

Starting page
168
Last page
177

Document Identifiers
DOI - https://doi.org/10.1109/ICSTW.2013.28


Export

APA
Nunes I, Luís F, (2013). A 5-step hunt for faults in Java implementations of algebraic specifications. 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW), 168-177

IEEE
Nunes I, Luís F, "A 5-step hunt for faults in Java implementations of algebraic specifications" in 2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW), , 2013, pp. 168-177, doi: 10.1109/ICSTW.2013.28

BIBTEX
@InProceedings{32221, author = {Nunes I and Luís F}, title = {A 5-step hunt for faults in Java implementations of algebraic specifications}, booktitle = {2013 IEEE 6th International Conference On Software Testing, Verification and Validation Workshops (ICSTW)}, year = 2013, pages = {168-177}, address = {}, publisher = {IEEE} }