Author:
Arlt Stephan,Ermis Evren,Feo-Arenis Sergio,Podelski Andreas
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Arlt, S., Podelski, A., Bertolini, C., Schaef, M., Banerjee, I., Memon, A.M.: Lightweight Static Analysis for GUI Testing. In: ISSRE, pp. 301–310 (2012)
2. Arlt, S., Podelski, A., Wehrle, M.: Reducing GUI Test Suites via Program Slicing. In: ISSTA, pp. 270–281 (2014)
3. Lecture Notes in Computer Science;S. Arlt,2012
4. Lecture Notes in Computer Science;M. Barnett,2006
5. Belli, F.: Finite-State Testing and Analysis of Graphical User Interfaces. In: ISSRE, pp. 34–43 (2001)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. formal MVC: A Pattern for the Integration of ASM Specifications in UI Development;Rigorous State-Based Methods;2023
2. ALEX: Mixed-Mode Learning of Web Applications at Ease;Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications;2016