Model Inference of Mobile Applications with Dynamic State Abstraction.

Sbastien Salva, Patrice Laurenot, Stassia R. Zafimiharisoa

Browse the full SNPD paper archive.