assertD

About

AssertD is an Eclipse add-on that provides software developers the ability to utilize temporal assertions, the key element of assertion-based verification (ABV), which is a method for catching bugs that occur due to pathological ordering of the software execution. AssertD brings ABV to general software development. Using assertD, the developer will be able to catch hard bugs thatmanifest in specific execution ordering and determine the root cause of the bugs in a matter of minutes.

Facts

Team (2)