TacoPlug: An eclipse plug-in for TACO

Mostrar todas las versiones(2)

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
Autores principales: Chicote, M., Galeotti, J.P.
Formato: CONF
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: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 todo:paper_97814673_v_n_p37_Chicote
record_format dspace
spelling todo:paper_97814673_v_n_p37_Chicote2023-10-03T16:43:28Z TacoPlug: An eclipse plug-in for TACO Chicote, M. Galeotti, J.P. 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. CONF info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar 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
Chicote, M.
Galeotti, J.P.
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.
format CONF
author Chicote, M.
Galeotti, J.P.
author_facet Chicote, M.
Galeotti, J.P.
author_sort Chicote, M.
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
url http://hdl.handle.net/20.500.12110/paper_97814673_v_n_p37_Chicote
work_keys_str_mv AT chicotem tacopluganeclipsepluginfortaco
AT galeottijp tacopluganeclipsepluginfortaco
_version_ 1807320416671236096

Ejemplares similares