Towards GUI Functional Verification using Abstract Interpretation

Abdulaziz Alkhalid, Yvan Labiche

Abstract

Abstract interpretation is a static analysis technique used mostly for non-functional verification of software. In this paper, we show the status of the technology that implements abstract interpretation which can help in GUI-based software verification. Specifically, we investigate the use of the Julia tool for the functional verification of a Graphical User Interface (GUI).

Download


Paper Citation


in Harvard Style

Alkhalid A. and Labiche Y. (2018). Towards GUI Functional Verification using Abstract Interpretation.In Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT, ISBN 978-989-758-320-9, pages 381-388. DOI: 10.5220/0006917103810388


in Bibtex Style

@conference{icsoft18,
author={Abdulaziz Alkhalid and Yvan Labiche},
title={Towards GUI Functional Verification using Abstract Interpretation},
booktitle={Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT,},
year={2018},
pages={381-388},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006917103810388},
isbn={978-989-758-320-9},
}


in EndNote Style

TY - CONF

JO - Proceedings of the 13th International Conference on Software Technologies - Volume 1: ICSOFT,
TI - Towards GUI Functional Verification using Abstract Interpretation
SN - 978-989-758-320-9
AU - Alkhalid A.
AU - Labiche Y.
PY - 2018
SP - 381
EP - 388
DO - 10.5220/0006917103810388