A lightweight framework for dynamic GUI data verification based on scripts-Reference-Cited by-同舟云学术

A lightweight framework for dynamic GUI data verification based on scripts

Published:2015-05-06 Issue:2 Volume:26 Page:95-118
ISSN:0960-0833
Container-title:Software Testing, Verification and Reliability
language:en
Short-container-title:Softw. Test. Verif. Reliab.

Author:

Mateo Navarro Pedro Luis¹,Ruiz Diego Sevilla²,Pérez Gregorio Martínez³

Affiliation:

1. Cátedra SAES Laboratories, Ed. Rector Soler (Lab. 021); University of Murcia; 30100 Murcia Spain

2. Departamento de Ingeniería y Tecnología de Computadores; University of Murcia; 30100 Murcia Spain

3. Departamento de Ingeniería de la Información y las Comunicaciones; University of Murcia; 30100 Murcia Spain

Publisher

Wiley

Subject

Safety, Risk, Reliability and Quality,Software

Link

http://onlinelibrary.wiley.com/wol1/doi/10.1002/stvr.1579/fullpdf

Reference44 articles.

1. Institute of Electrical and Electronics Engineers IEEE 1012-2004 - IEEE standard for software verification and validation. IEEE, IEEE 2005 0 110 10.1109/IEEESTD.2005.96278

2. From Runtime Verification to Runtime Intervention and Adaptation

3. Bodden E J-LO-A tool for runtime-checking temporal assertions AOSD'08: Proceedings of the 7th International Conference on Aspect-Oriented Software Development Brussels, Belgium 2008 36 47

4. Java-MaC: a run-time assurance approach for Java programs;Kim;Formal Methods in System Design,2004

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. CODVerif;International Journal of Systems and Service-Oriented Engineering;2022-12-16

2. Engineering Adaptive User Interfaces Using Monitoring-Oriented Programming;2017 IEEE International Conference on Software Quality, Reliability and Security (QRS);2017-07

3. OHT: Open and cross-platform GUI testing;Journal of Intelligent & Fuzzy Systems;2017-04-24

4. The verification of program relationships in the context of software cybernetics;Journal of Systems and Software;2017-02

5. A Script-Based Prototyping Framework to Boost Agile-UX Developments;Journal of Computer Science and Technology;2016-11