Bianca Lima

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
Detecting nonconformances between contracts and code is critical in contract-based programs, although detection is only the first step in correction; one needs to pinpoint their causes. For example, a nonconformance may be due to a method precondition that is weaker than it should be, or maybe the program behavior breaks the corresponding contracts.(More)
  • 1