Laura Panizo, Alberto Salmerón, María-del-Mar Gallardo, Pedro Merino 0001. Guided test case generation for mobile apps in the TRIANGLE project: work in progress. In Hakan Erdogmus, Klaus Havelund, editors, Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, Santa Barbara, CA, USA, July 10-14, 2017. pages 192-195, ACM, 2017. [doi]
Abstract is missing.