SYN-sequence selection strategy for testing concurrent programs based on little strong happened-before

✍ Scribed by Fangli Pu; Yansheng Lu

• Book ID: 107531419
• Publisher: Wuhan University
• Year: 2009
• Tongue: English
• Weight: 281 KB
• Volume: 14
• Category: Article
• ISSN: 1007-1202
• DOI: 10.1007/s11859-009-0407-2