The Feasibility of Interactively Probing Quiescent Properties of GUI Applications

DOI10.1007/11431664_2MaRDI QIDQ5423541zbMATH OpenOpenAlexFDO

Authors Peter Achten

Publication date 23 October 2007

Published in Implementation and Application of Functional Languages (Search for Journal in Brave)

Full work available at URL http://hdl.handle.net/2066/111103

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 3926228
• Aiding exploratory testing with pruned GUI models

Cited in

(1)

• Aiding exploratory testing with pruned GUI models

Describes a project that uses

Uses Software

• OCaml
• Freja
• Hat
• Hood

This page was built for publication: The Feasibility of Interactively Probing Quiescent Properties of GUI Applications

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