Aiding exploratory testing with pruned GUI models

DOI10.1016/J.IPL.2018.01.008zbMath1426.68060OpenAlexW2792634994MaRDI QIDQ1705707

Jacinto Reis, Alexandre Mota

Publication date: 16 March 2018

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://repositorio.ufpe.br/handle/123456789/24886

zbMATH Keywords

static analysissoftware engineeringchange requestexploratory testingGUI testing

Mathematics Subject Classification ID

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

Uses Software

• Soot
• NAT2TEST
• Jimple

Cites Work

• Test generation from state based use case models

This page was built for publication: Aiding exploratory testing with pruned GUI models