Simulating midlet's security claims with automata modulo theory.

Fabio Massacci, Ida Sri Rejeki Siahaan

Browse the full PLDI paper archive.