Testing Distributed Systems Through Symbolic Model Checking

Technical Report PDF: 
Technical Report Number: 
2007.79
TitleTesting Distributed Systems Through Symbolic Model Checking
Publication TypeConference Paper
Year of Publication2007
AuthorsKalyon, G, Massart T, Meuter C, Van Begin L
Conference NameFORTE