Click to open the HelpDesk interface
AECE - Front page banner

Menu:


FACTS & FIGURES

JCR Impact Factor: 0.595
JCR 5-Year IF: 0.661
Issues per year: 4
Current issue: Aug 2017
Next issue: Nov 2017
Avg review time: 105 days


PUBLISHER

Stefan cel Mare
University of Suceava
Faculty of Electrical Engineering and
Computer Science
13, Universitatii Street
Suceava - 720229
ROMANIA

Print ISSN: 1582-7445
Online ISSN: 1844-7600
WorldCat: 643243560
doi: 10.4316/AECE


TRAFFIC STATS

1,769,627 unique visits
510,391 downloads
Since November 1, 2009



No robots online now


SJR SCImago RANK

SCImago Journal & Country Rank


SEARCH ENGINES

aece.ro - Google Pagerank




TEXT LINKS

Anycast DNS Hosting
MOST RECENT ISSUES

 Volume 17 (2017)
 
     »   Issue 3 / 2017
 
     »   Issue 2 / 2017
 
     »   Issue 1 / 2017
 
 
 Volume 16 (2016)
 
     »   Issue 4 / 2016
 
     »   Issue 3 / 2016
 
     »   Issue 2 / 2016
 
     »   Issue 1 / 2016
 
 
 Volume 15 (2015)
 
     »   Issue 4 / 2015
 
     »   Issue 3 / 2015
 
     »   Issue 2 / 2015
 
     »   Issue 1 / 2015
 
 
 Volume 14 (2014)
 
     »   Issue 4 / 2014
 
     »   Issue 3 / 2014
 
     »   Issue 2 / 2014
 
     »   Issue 1 / 2014
 
 
  View all issues  


FEATURED ARTICLE

Wind Speed Prediction with Wavelet Time Series Based on Lorenz Disturbance, ZHANG, Y., WANG, P., CHENG, P., LEI, S.
Issue 3/2017

AbstractPlus






LATEST NEWS

2017-Jun-14
Thomson Reuters published the Journal Citations Report for 2016. The JCR Impact Factor of Advances in Electrical and Computer Engineering is 0.595, and the JCR 5-Year Impact Factor is 0.661.

2017-Apr-04
We have the confirmation Advances in Electrical and Computer Engineering will be included in the EBSCO database.

2017-Feb-16
With new technologies, such as mobile communications, internet of things, and wide applications of social media, organizations generate a huge volume of data, much faster than several years ago. Big data, characterized by high volume, diversity and velocity, increasingly drives decision making and is changing the landscape of business intelligence, from governments to private organizations, from communities to individuals. Big data analytics that discover insights from evidences has a high demand for computing efficiency, knowledge discovery, problem solving, and event prediction. We dedicate a special section of Issue 4/2017 to Big Data. Prospective authors are asked to make the submissions for this section no later than the 31st of May 2017, placing "BigData - " before the paper title in OpenConf.

2017-Jan-30
We have the confirmation Advances in Electrical and Computer Engineering will be included in the Gale database.

2016-Dec-17
IoT is a new emerging technology domain which will be used to connect all objects through the Internet for remote sensing and control. IoT uses a combination of WSN (Wireless Sensor Network), M2M (Machine to Machine), robotics, wireless networking, Internet technologies, and Smart Devices. We dedicate a special section of Issue 2/2017 to IoT. Prospective authors are asked to make the submissions for this section no later than the 31st of March 2017, placing "IoT - " before the paper title in OpenConf.

Read More »


    
 

  1/2012 - 11

Formal Model for Data Dependency Analysis between Controls and Actions of a Graphical User Interface

SKVORC, D. See more information about SKVORC, D. on SCOPUS See more information about SKVORC, D. on IEEExplore See more information about SKVORC, D. on Web of Science, ZUZAK, I. See more information about  ZUZAK, I. on SCOPUS See more information about  ZUZAK, I. on SCOPUS See more information about ZUZAK, I. on Web of Science, SRBLJIC, S. See more information about SRBLJIC, S. on SCOPUS See more information about SRBLJIC, S. on SCOPUS See more information about SRBLJIC, S. on Web of Science
 
Click to see author's profile on See more information about the author on SCOPUS SCOPUS, See more information about the author on IEEE Xplore IEEE Xplore, See more information about the author on Web of Science Web of Science

Download PDF pdficon (580 KB) | Citation | Downloads: 928 | Views: 3,300

Author keywords
computer aided software engineering, formal specifications, graphical user interfaces, programming environments, user centered design

References keywords
testing(9), software(8), user(7), memon(4), graphical(4), finite(4)
Blue keywords are present in both the references section and the paper title.

About this article
Date of Publication: 2012-02-28
Volume 12, Issue 1, Year 2012, On page(s): 63 - 70
ISSN: 1582-7445, e-ISSN: 1844-7600
Digital Object Identifier: 10.4316/AECE.2012.01011
Web of Science Accession Number: 000301075000011
SCOPUS ID: 84860707000

Abstract
Quick view
Full text preview
End-user development is an emerging computer science discipline that provides programming paradigms, techniques, and tools suitable for users not trained in software engineering. One of the techniques that allow ordinary computer users to develop their own applications without the need to learn a classic programming language is a GUI-level programming based on programming-by-demonstration. To build wizard-based tools that assist users in application development and to verify the correctness of user programs, a computer-supported method for GUI-level data dependency analysis is necessary. Therefore, formal model for GUI representation is needed. In this paper, we present a finite state machine for modeling the data dependencies between GUI controls and GUI actions. Furthermore, we present an algorithm for automatic construction of finite state machine for arbitrary GUI application. We show that proposed state aggregation scheme successfully manages state explosion in state machine construction algorithm, which makes the model applicable for applications with complex GUIs.


References | Cited By  «-- Click to see who has cited this paper

[1] S. Staiger, "Static analysis of programs with graphical user interface", Proceedings of the 11th European Conference on Software Maintenance and Reengineering (CSMR’07), Amsterdam, Netherlands, 2007, pp. 252-264.
[CrossRef] [SCOPUS Times Cited 19]


[2] M. Bolin, M. Webber, P. Rha, T. Wilson, R. C. Miller, "Automation and customization of rendered web pages", Proceedings of the 18th Annual ACM Symposium on User Interface Software and Technology, Seattle, WA, USA, 2005, pp. 163-172.
[CrossRef]


[3] J. Wong, J. Hong, "Making mashups with marmite: towards end-user programming for the web", Proceedings of the SIGCHI Conference on Human Factors in Computing Systems (CHI‘06), Montreal, Quebec, Canada, 2006, pp. 1541-1546.
[CrossRef] [SCOPUS Times Cited 212]


[4] S. Srbljic, D. Skvorc, D. Skrobo, "Widget-oriented consumer programming", Automatika: Journal for Control, Measurement, Electronics, Computing and Communications, Vol. 50, No. 3-4, December 2009, pp. 252-264. [Online] Available: Temporary on-line reference link removed - see the PDF document

[5] A. Holmes, M. Kellogg, "Automating functional tests using Selenium", Proceedings of the Conference on AGILE 2006, Minneapolis, Minnesota, USA, 2006, pp. 270-275. [Online].
[CrossRef] [Web of Science Times Cited 8] [SCOPUS Times Cited 25]


[6] T. Yeh, T. H. Chang, R. C. Miller, "Sikuli: using GUI screenshots for search and automation", Proceedings of the 22nd Annual ACM Symposium on User Interface Software and Technology, Victoria, BC, Canada, 2009, pp. 183-192.
[CrossRef] [SCOPUS Times Cited 54]


[7] A. M. Memon, "Advances in GUI testing", Advances in Computers, No. 58, Academic Press, August 2003, pp. 149-202.
[CrossRef] [Web of Science Times Cited 4] [SCOPUS Times Cited 4]


[8] J. C. Silva, J. Saraiva, J. C. Campos, "A generic library for GUI reasoning and testing", Proceedings of the 2009 ACM Symposium on Applied Computing, Honolulu, Hawaii, 2009, pp. 121-128.
[CrossRef] [SCOPUS Times Cited 13]


[9] A. Gill, Introduction to the theory of finite state machines, McGraw-Hill, New York, 1962.

[10] J. E. Hopcroft, "An nlogn algorithm for minimizing the states in a finite automaton", The Theory of Machines and Computations, Academic Press, New York, 1971. [Online] Available: Temporary on-line reference link removed - see the PDF document

[11] V. Chinnapongse, I. Lee, O. Sokolsky, S. Wang, P. L. Jones, "Model-based testing of GUI-driven applications", Proceedings of the 7th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems, Newport Beach, CA, USA, 2009, pp. 203-214.
[CrossRef] [SCOPUS Times Cited 12]


[12] F. Belli, "Finite state testing and analysis of graphical user interfaces", Proceedings of the 12th International Symposium on Software Reliability Engineering, Hong Kong, China, November 2001, pp. 34-43.
[CrossRef] [Web of Science Times Cited 66]


[13] V. Santiago, N. L. Vijaykumar, D. Guimaraes, A. S. Amaral, E. Ferreira, "An environment for automated test case generation from statechart-based and finite state machine-based behavioral models", IEEE International Conference on Software Testing Verification and Validation Workshop, 2008, pp. 63 72.
[CrossRef] [SCOPUS Times Cited 24]


[14] M. B. Dwyer, V. Carr, L. Hines, "Model checking graphical user interfaces using abstractions", ACM SIGSOFT Software Engineering Notes, Vol. 22, No. 6, New York, NY, USA, November 1997, pp. 244-261.
[CrossRef]


[15] A. M. Memon, "An event-flow model of GUI-based applications for testing", Software Testing, Verification & Reliability, Vol. 17, No. 3, John Wiley and Sons, September 2007, pp. 137-157.
[CrossRef]


[16] A. M. Memon, M. E. Pollack, M. Lou Soffa, "Plan generation for GUI testing", Proceedings of The Fifth International Conference on Artificial Intelligence Planning and Scheduling, April 2000, pp. 226-235. [Online] Available: Temporary on-line reference link removed - see the PDF document

[17] A. M. Memon, I. Banerjee, A. Nagarajan, "GUI ripping: reverse engineering of graphical user interfaces for testing", 10th Working Conference on Reverse Engineering, 2003, pp. 260-269.
[CrossRef] [Web of Science Times Cited 14] [SCOPUS Times Cited 77]




References Weight

Web of Science® Citations for all references: 92 TCR
SCOPUS® Citations for all references: 440 TCR

Web of Science® Average Citations per reference: 5 ACR
SCOPUS® Average Citations per reference: 24 ACR

TCR = Total Citations for References / ACR = Average Citations per Reference

We introduced in 2010 - for the first time in scientific publishing, the term "References Weight", as a quantitative indication of the quality ... Read more

Citations for references updated on 2017-11-22 16:39 in 82 seconds.




Note1: Web of Science® is a registered trademark of Thomson Reuters.
Note2: SCOPUS® is a registered trademark of Elsevier B.V.
Disclaimer: All queries to the respective databases were made by using the DOI record of every reference (where available). Due to technical problems beyond our control, the information is not always accurate. Please use the CrossRef link to visit the respective publisher site.

Copyright ©2001-2017
Faculty of Electrical Engineering and Computer Science
Stefan cel Mare University of Suceava, Romania


All rights reserved: Advances in Electrical and Computer Engineering is a registered trademark of the Stefan cel Mare University of Suceava. No part of this publication may be reproduced, stored in a retrieval system, photocopied, recorded or archived, without the written permission from the Editor. When authors submit their papers for publication, they agree that the copyright for their article be transferred to the Faculty of Electrical Engineering and Computer Science, Stefan cel Mare University of Suceava, Romania, if and only if the articles are accepted for publication. The copyright covers the exclusive rights to reproduce and distribute the article, including reprints and translations.

Permission for other use: The copyright owner's consent does not extend to copying for general distribution, for promotion, for creating new works, or for resale. Specific written permission must be obtained from the Editor for such copying. Direct linking to files hosted on this website is strictly prohibited.

Disclaimer: Whilst every effort is made by the publishers and editorial board to see that no inaccurate or misleading data, opinions or statements appear in this journal, they wish to make it clear that all information and opinions formulated in the articles, as well as linguistic accuracy, are the sole responsibility of the author.




Website loading speed and performance optimization powered by: