Extended model-based testing toward high code coverage rate

DOI10.1007/3-540-47984-8_34MaRDI QIDQ3045402zbMATH OpenFDO

Authors Juichi Takahashi, Yoshiaki Kakuda

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2349/23490310.htm

Mathematics Subject Classification ID

Theory of software (68N99) Computing methodologies and applications (68U99)

Recommendations

• Aiding exploratory testing with pruned GUI models
• Model-based testing of object-oriented systems.
• FM 2005: Formal Methods
• Usage oriented critical testing paths selecting strategy for GUI software
• Model-based testing

Cited in

(3)

• Aiding exploratory testing with pruned GUI models
• Usage oriented critical testing paths selecting strategy for GUI software
• Expressing graphical user's input for test specifications

Describes a project that uses

Uses Software

• AETG

This page was built for publication: Extended model-based testing toward high code coverage rate

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3045402)