A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
TacoPlug: An Eclipse plug-in for TACO
2012
2012 Second International Workshop on Developing Tools as Plug-Ins (TOPI)
In this work we present TacoPlug, an Eclipse plugin that lets users explore error traces output by the bounded verifier TACO. TacoPlug uses and extends TACO to provide a better debugging experience. TacoPlug interface allows the user to verify an annotated software using the TACO verifier . If TACO finds a violation to the specification, TacoPlug presents it in terms of the annotated source code. TacoPlug features several views of the error trace to facilitate fault understanding. It resembles
doi:10.1109/topi.2012.6229808
dblp:conf/icse/ChicoteG12
fatcat:esqp2glwi5aepj6xf3zxlyoq7y