Junye Wen

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Annotating functional correctness properties of code using assertions, in principle, enables systematic checking of code against behavioral properties. In practice however, checking assertions can be costly, especially for complex code annotated with rich behavioral properties. This paper introduces a novel approach for distributing the problem of checking(More)
  • 1