Model Checking Graphical User Interfaces Using Abstractions

  title={Model Checking Graphical User Interfaces Using Abstractions},
  author={Matthew B. Dwyer and Vicki Carr and Laura Hines},
  booktitle={ESEC / SIGSOFT FSE},
ions* Interfaces Using Matthew B. Dwyer, Vicki Cam, Laura Hines Kansas State University 
Highly Cited
This paper has 102 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.


Publications citing this paper.
Showing 1-10 of 43 extracted citations

Dynamic Analysis of Web Services

View 11 Excerpts
Highly Influenced

Model Checking Interactor Specifications

Automated Software Engineering • 2001
View 4 Excerpts
Highly Influenced

Modelling and Verification of User Interactions Using Constraint Programming

2017 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C) • 2017
View 1 Excerpt

Using Formal Verification to Evaluate Human-Automation Interaction: A Review

IEEE Transactions on Systems, Man, and Cybernetics: Systems • 2013
View 1 Excerpt

103 Citations

Citations per Year
Semantic Scholar estimates that this publication has 103 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…