TacoPlug: An eclipse plug-in for TACO

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 f...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Galeotti, Juan Pablo
Publicado: 2012
Materias:
bounded verification
Eclipse plug-in
Static analysis
TACO
Debuggers
Eclipse plugin
Plug-ins
Software errors
Source codes
Computer architecture
Program debugging
Acceso en línea:https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97814673_v_n_p37_Chicote
http://hdl.handle.net/20.500.12110/paper_97814673_v_n_p37_Chicote
Aporte de:
Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires
id paper:paper_97814673_v_n_p37_Chicote
record_format dspace
spelling paper:paper_97814673_v_n_p37_Chicote2025-07-30T19:13:25Z TacoPlug: An eclipse plug-in for TACO Galeotti, Juan Pablo bounded verification Eclipse plug-in Static analysis TACO Debuggers Eclipse plugin Plug-ins Software errors Source codes TACO Computer architecture Static analysis Program debugging 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. 2012 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97814673_v_n_p37_Chicote http://hdl.handle.net/20.500.12110/paper_97814673_v_n_p37_Chicote
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-134
collection Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic bounded verification
Eclipse plug-in
Static analysis
TACO
Debuggers
Eclipse plugin
Plug-ins
Software errors
Source codes
TACO
Computer architecture
Static analysis
Program debugging
spellingShingle bounded verification
Eclipse plug-in
Static analysis
TACO
Debuggers
Eclipse plugin
Plug-ins
Software errors
Source codes
TACO
Computer architecture
Static analysis
Program debugging
Galeotti, Juan Pablo
TacoPlug: An eclipse plug-in for TACO
topic_facet bounded verification
Eclipse plug-in
Static analysis
TACO
Debuggers
Eclipse plugin
Plug-ins
Software errors
Source codes
TACO
Computer architecture
Static analysis
Program debugging
description 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.
author Galeotti, Juan Pablo
author_facet Galeotti, Juan Pablo
author_sort Galeotti, Juan Pablo
title TacoPlug: An eclipse plug-in for TACO
title_short TacoPlug: An eclipse plug-in for TACO
title_full TacoPlug: An eclipse plug-in for TACO
title_fullStr TacoPlug: An eclipse plug-in for TACO
title_full_unstemmed TacoPlug: An eclipse plug-in for TACO
title_sort tacoplug: an eclipse plug-in for taco
publishDate 2012
url https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_97814673_v_n_p37_Chicote
http://hdl.handle.net/20.500.12110/paper_97814673_v_n_p37_Chicote
work_keys_str_mv AT galeottijuanpablo tacopluganeclipsepluginfortaco
_version_ 1840322550714859520

Ejemplares similares