Login / Signup

Checking software component behavior using behavior protocols and spin.

Jan Kofron
Published in: SAC (2007)
Keyphrases
  • software components
  • behavior patterns
  • genetic algorithm