Test sequence generation and model checking using dynamic transition relations

✍ Scribed by Sérgio Campos; Orna Grumberg; Karen Yorav; Copty Fady

• Publisher: Springer
• Year: 2004
• Tongue: English
• Weight: 250 KB
• Volume: 6
• Category: Article
• ISSN: 1433-2779
• DOI: 10.1007/s10009-004-0142-0