JPF-AWT: Model checking GUI applications

@article{Mehlitz2011JPFAWTMC,
  title={JPF-AWT: Model checking GUI applications},
  author={Peter C. Mehlitz and Oksana Tkachuk and Mateusz Ujma},
  journal={2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011)},
  year={2011},
  pages={584-587}
}
Verification of Graphical User Interface (GUI) applications presents many challenges. GUI applications are open systems that are driven by user events. Verification of such applications by means of model checking therefore requires a user model in order to close the state space. 
Highly Cited
This paper has 27 citations. REVIEW CITATIONS

Citations

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

Towards Model Checking Android Applications

IEEE Transactions on Software Engineering • 2018
View 1 Excerpt

Systematic reduction of GUI test sequences

2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) • 2017
View 1 Excerpt

GUICat: GUI testing as a service

2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE) • 2016
View 1 Excerpt

Synthesizing Framework Models for Symbolic Execution

2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE) • 2016

Automated generation of model classes for Java PathFinder

ACM SIGSOFT Software Engineering Notes • 2014
View 1 Excerpt

Similar Papers

Loading similar papers…