BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Conference papers

Document subtype
Full paper

Title
Testing Java implementations of algebraic specifications.

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

Summary
In this paper we focus on exploiting a specification and the structures that satisfy it, to obtain a means of comparing implemented and expected behaviours and find the origin of faults in implementations. We present an approach to the creation of tests that are based on those specification-compliant structures, and to the interpretation of those tests' results leading to the discovery of the method responsible for an eventual test failure. Results of comparative experiments with a tool implementing this approach are presented.

Editor(s)
Alexander K. Petrenko and Holger Schlingloff

Date of Publication
2013

Event
8th Workshop on Model-Based Testing (MBT 2013)

Publication Identifiers
ISSN - 2075-2180

Address
Rome (Italy

Publisher
Electronic Proceedings in Theoretical Computer Science

Number
111

Starting page
35
Last page
50

Document Identifiers
DOI - https://doi.org/10.4204/EPTCS.111

Rankings
SCIMAGO - (2019) - 0.327 - Software
SCOPUS Q4 (2019) - 1.2 - Software


Export

APA
Nunes I, Luis F, (2013). Testing Java implementations of algebraic specifications. . 8th Workshop on Model-Based Testing (MBT 2013), 35-50

IEEE
Nunes I, Luis F, "Testing Java implementations of algebraic specifications. " in 8th Workshop on Model-Based Testing (MBT 2013), Rome (Italy, 2013, pp. 35-50, doi: 10.4204/EPTCS.111

BIBTEX
@InProceedings{31530, author = {Nunes I and Luis F}, title = {Testing Java implementations of algebraic specifications. }, booktitle = { 8th Workshop on Model-Based Testing (MBT 2013)}, year = 2013, pages = {35-50}, address = {Rome (Italy}, publisher = {Electronic Proceedings in Theoretical Computer Science} }