Automatic App Testing of LTL Properties
Authors: Farn Wang, Pin Hsiuan Chen and Wen-Hong Chiang
Paper Information
| Title: | Automatic App Testing of LTL Properties |
| Authors: | Farn Wang, Pin Hsiuan Chen and Wen-Hong Chiang |
| Proceedings: | PAS 2014 Proceedings |
| Editors: | Dongming Wang, Tudor Jebelean and Wei Li |
| Keywords: | software testing, mobile computing, app, LTL, crawling, Android |
| Abstract: | ABSTRACT. We present an automatic testing tool for Android apps. The tool accepts specifications in an extension of LTL (Linear Temporal Logic) and then automatically crawls the screen activities. We report experiments with the random test plan. |
| Pages: | 0 |
| Talk: | Jul 18 17:00 |
| Paper: |  |