UI-design driven model-based testing-Reference-Cited by-同舟云学术

UI-design driven model-based testing

Published:2013-05-11 Issue:3 Volume:9 Page:201-215
ISSN:1614-5046
Container-title:Innovations in Systems and Software Engineering
language:en
Short-container-title:Innovations Syst Softw Eng

Author:

Bowen Judy,Reeves Steve

Publisher

Springer Science and Business Media LLC

Subject

Software

Link

http://link.springer.com/content/pdf/10.1007/s11334-013-0199-6.pdf

Reference37 articles.

1. Beck K (2001) Aim, fire. IEEE Softw 18:87–89

2. Beck K (2003) Test-driven development by example. The Addison-Wesley signature series. Addison-Wesley, Menlo Park

3. Belli F (2001) Finite-state testing and analysis of graphical user interfaces. In: ISSRE ’01: Proceedings of the 12th International Symposium on Software Reliability Engineering (ISSRE’01). IEEE Computer Society, Washington, pp 34–43

4. Belli F (2003) A holistic view for finite-state modeling and testing of user interactions. Technical Report 2003/1. The University of Paderborn, Institute for Electrical Engineering and Information Technology, Paderborn

5. Bowen J (2008) Formal models and refinement for graphical user interface design. PhD thesis, University of Waikato, Department of Computer Science, Hamilton

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

1. Interactive System Modelling for the Internet of Things;Proceedings of the ACM on Human-Computer Interaction;2023-06-14

2. Model-based Testing of Interactive Systems using Interaction Sequences;Proceedings of the ACM on Human-Computer Interaction;2020-06-18

3. SeqCheck;Proceedings of the 12th ACM SIGCHI Symposium on Engineering Interactive Computing Systems;2020-05-29

4. A Test Case Design Method Based on Path Depth Coverage;2019 IEEE 19th International Conference on Software Quality, Reliability and Security Companion (QRS-C);2019-07

5. State of the Art on Formal Methods for Interactive Systems;Human–Computer Interaction Series;2017