Automatically testing interactive applications using extended task trees

DOI10.1016/J.JLAP.2009.01.005zbMath1175.68113OpenAlexW1988067141MaRDI QIDQ2270687

Ioannis Parissis, Laya Madani

Publication date: 29 July 2009

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2009.01.005

zbMATH Keywords

model-based testingtest data generationinteractive software testingprobabilistic FSMtask trees

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Automatically testing interactive applications using extended task trees

Uses Software

• Lutess
• LUSTRE

Cites Work

• An experience in proving regular networks of processes by modular model checking
• Automatically testing interactive applications using extended task trees
• Customized Testing for Probabilistic Systems
• Derivation of a Suitable Finite Test Suite for Customized Probabilistic Systems
• Unnamed Item
• Unnamed Item

This page was built for publication: Automatically testing interactive applications using extended task trees