Publications
Export 5 results:
Author Title [ Type] Year Filters: Keyword is program verification [Clear All Filters]
1999. Fault injection based on a partial view of the global state of a distributed system. :168-177.
2004. Skoll: distributed continuous quality assurance. Software Engineering, 2004. ICSE 2004. Proceedings. 26th International Conference on. :459-468.