Serviceeinschränkungen vom 12.-22.02.2026 - weitere Infos auf der UB-Homepage
  • TacoPlug: An eclipse plug-in f...

Treffer: TacoPlug: An eclipse plug-in for TACO

Title:
TacoPlug: An eclipse plug-in for TACO
Authors:
Chicote, M., Galeotti, J.P.
Collection:
Biblioteca Digital FCEN-UBA (Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires)
Subject Terms:
bounded verification, Eclipse plug-in, Static analysis, TACO, Debuggers, Eclipse plugin, Plug-ins, Software errors, Source codes, Computer architecture, Program debugging
Document Type:
Konferenz conference object
Language:
unknown
Relation:
https://hdl.handle.net/20.500.12110/paper_97814673_v_n_p37_Chicote
Availability:
https://hdl.handle.net/20.500.12110/paper_97814673_v_n_p37_Chicote
Rights:
info:eu-repo/semantics/openAccess ; http://creativecommons.org/licenses/by/2.5/ar
Accession Number:
edsbas.1849B375
Database:
BASE

Weitere Informationen

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 any software debugger, but the debugging occurs statically without executing the program. We show the usability of our tool by means of a motivational example taken from a real-life software error. © 2012 IEEE. ; Fil:Galeotti, J.P. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina.