[IEEE 2010 IEEE 21st International Symposium on Software Reliability Engineering (ISSRE) - San Jose, CA, USA (2010.11.1-2010.11.4)] 2010 IEEE 21st International Symposium on Software Reliability Engineering - A 2-Phase Method for Validation of Matching Pair Property with Case Studies of Operating Systems
Gui, Kang, Kothari, SurajYear:
2010
Language:
english
DOI:
10.1109/issre.2010.40
File:
PDF, 346 KB
english, 2010