Towards GUI Functional Verification using Abstract Interpretation

Abdulaziz Alkhalid; Yvan Labiche

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Towards GUI Functional Verification using Abstract Interpretation

Topics: Application Software; Automated Software Engineering; Empirical Software Engineering; Formal Methods; Quality Management; Software Engineering Tools; System Software; Testing and Testability

In Proceedings of the 13th International Conference on Software Technologies ICSOFT - Volume 1, 381-388, 2018 , Porto, Portugal

Authors: Abdulaziz Alkhalid and Yvan Labiche

Affiliation: Department of Systems and Computer Engineering, Carleton University, Ottawa and Canada

Keyword(s): Abstract Interpretation, Static Analysis, GUI Verification.

Related Ontology Subjects/Areas/Topics: Formal Methods ; Simulation and Modeling ; Software Engineering ; Software Engineering Methods and Techniques

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).

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 13.58.112.1

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

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

@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 - ICSOFT},
year={2018},
pages={381-388},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006917104150422},
isbn={978-989-758-320-9},
issn={2184-2833},
}

TY - CONF

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