Santiago Bermúdez

Learn More
In this article we present a novel technique for automated parallel bug-finding based on the sequential analysis tool TACO. TACO is a tool based on SAT-solving for efficient bug-finding in Java code with rich class invariants. It prunes the SAT-solver's search space by introducing precise symmetry-breaking predicates and bounding the relational(More)
Resumen con el objetivo de evaluar la ansiedad-estado en re-lación con variables sociodemográficas en el periodo competitivo, fueron evaluados los jugadores partici-pantes en la fase semifinal del Campeonato Nacional Juvenil de Fútbol (n=93) realizado en Manizales en agosto de 2009. Fue utilizado el test idare (stai) de Spielberger et ál. (1970). La edad(More)
  • 1