A typical testing problem: Validating WML cellphones

MaRDI QIDQ4738484zbMATH OpenFDO

Authors Yves-Marie Quemener

Publication date 11 August 2004

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

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Formal test purposes and the validity of test cases
• Principles of Distributed Systems
• Formal black box testing for partially specified deterministic finite state machines
• STG: A symbolic test generation tool
• Test generation for interaction detection in feature-rich communication systems

This page was built for publication: A typical testing problem: Validating WML cellphones

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