scientific article; zbMATH DE number 2088728

MaRDI QIDQ3045402zbMATH OpenFDO

Authors Juichi Takahashi, Yoshiaki Kakuda

Publication date 12 August 2004

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

Mathematics Subject Classification ID

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

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)

• Usage oriented critical testing paths selecting strategy for GUI software
• scientific article; zbMATH DE number 1948964 (Why is no real title available?)
• Aiding exploratory testing with pruned GUI models

Describes a project that uses

Uses Software

• AETG

This page was built for publication:

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