A Technique to Check the Implementability of Behavioral Specifications with Frameworks.

Teruyoshi Zenmyo, Takashi Kobayashi, Motoshi Saeki

Browse the full APSEC paper archive.