JPF−AWT: Model Checking GUI Applications
Peter Mehlitz‚ Oksana Tkachuk and Mateusz Ujma
Book Title
Proceedings of the 2011 26th IEEE/ACM International Conference on Automated Software Engineering
Year
2011
Peter Mehlitz‚ Oksana Tkachuk and Mateusz Ujma