P2A: a tool for converting pixels to animated mobile application user interfaces. - Siva Natarajan; Christoph Csallner (MOBILESoft@ICSE, 2018)