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

AuthID
P-008-DNE
2
Author(s)
Luis, F
Document Type
Proceedings Paper
Year published
2013
Published
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
Pages: 168-177 (10)
Conference
6Th Ieee International Conference on Software Testing, Verification and Validation (Icst), Date: MAR 18-22, 2013, Location: Luxembourg, LUXEMBOURG, Sponsors: 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
Publication Identifiers
SCOPUS: 2-s2.0-84883412887
Wos: WOS:000332185600029
Source Identifiers
ISSN: 2159-4848
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.