REN YANGSONG

Method and apparatus for validating system properties exhibited in execution traces