Verification of GUI Applications: A Black-Box Approach.

Stephan Arlt, Evren Ermis, Sergio Feo-Arenis, Andreas Podelski

Browse the full ISoLA paper archive.