DocumentCode
3378757
Title
Algebraic Semantics for Complete Interaction Sequence
Author
Zhao, Renyi ; Lakshmi, N.V. ; Sastry, S.
Author_Institution
Sch. of Electr. Eng. & Comput. Sci., Newcastle Univ., Newcastle, NSW
fYear
2005
fDate
21-24 Nov. 2005
Firstpage
1
Lastpage
10
Abstract
This paper describes the algebraic properties, which augment the usefulness of complete interaction sequence (CIS). Two new concepts, namely, event semantics and event-based architecture, are introduced. Examples are provided from several GUI testing scenarios in order to express the power of the algebraic formulation.
Keywords
algebra; graphical user interfaces; GUI; algebraic semantics; complete interaction sequence; event semantics; event-based architecture; Algebra; Australia; Automata; Computational Intelligence Society; Computer architecture; Computer science; Graphical user interfaces; Performance evaluation; Testing; Uniform resource locators; Complete Interaction Sequence (CIS); Event algebra and Event-based architecture and GUI;
fLanguage
English
Publisher
ieee
Conference_Titel
TENCON 2005 2005 IEEE Region 10
Conference_Location
Melbourne, Qld.
Print_ISBN
0-7803-9311-2
Electronic_ISBN
0-7803-9312-0
Type
conf
DOI
10.1109/TENCON.2005.301157
Filename
4085025
Link To Document