Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Guido Marucci Blas"'
Autor:
Juan Pablo Galeotti, Santiago Bermúdez, Nicolás Rosner, Santiago Perez De Rosso, Guido Marucci Blas, Luciano Zemín, Marcelo F. Frias, Lucas Pizzagalli
Publikováno v:
ISSTA
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-solve
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ffa442a17fc9023a2a92d40f049b6877
https://doi.org/10.1145/2483760.2483770
https://doi.org/10.1145/2483760.2483770
