Skip to main content
PPGEE/UFAM

Artigo em periódicoOpen Access

Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP)

CORDEIRO, L. C.2018CORDEIRO, L. C.; KROENING, DANIEL; SCHRAMMEL, P

2018 • ACM SIGSOFT Software Engineering Notes • 8 citações

Resumo

Resumo

Empirical evaluation of verification tools by benchmarking is a common method in software verification research. The Competition on Software Verification (SV-COMP) aims at standardization and reproducibility of benchmarking within the software verification community in an annual basis, through comparative evaluation of fully-automatic software verifiers for C programs. Building upon this success, we describe here how to re-use the ecosystem developed around SV-COMP for benchmarking Java verification tools. We provide a detailed description of the rules for benchmark verification tasks, the integration of new tools into SV-COMP's benchmarking framework and also give experimental results of a benchmarking run on three state-of-the-art Java verification tools, JPF-SE, JayHorn and JBMC.

palavras-chave

Palavras-chave

SV-COMPbenchmarkingsoftware verificationprogram verificationC programsbenchmarking frameworktool comparison

Volume

43

Número

4

Páginas

56-60

Editora

Association for Computing Machinery (ACM)

Status

Published

links

DOI

10.1145/3282517.3282529

Link Externo

https://doi.org/10.1145/3282517.3282529

Repositório

https://research.manchester.ac.uk/en/publications/6fb8ebc3-2f95-473c-a788-7589fe456b8c

Artigo em periódico

Electrocardiographic signal compression based on distributed source codingDE SOUZA, PATRESE E.B.2027DE SOUZA, PATRESE E.B.; DE LIMA FILHO, EDDIE B.; CORDEIRO, LUCAS C.; DE MELO, WHEIDIMA C.; DA SILVA, WALDIR S.; CARVALHO, CELSO B2027 • Biomedical Signal Processing and Control
Handling Asynchronous Scheduling Functions in Periodic Event-Triggered Gain-Scheduled Control With Guaranteed Polytopic InclusionCOUTINHO, Pedro Henrique Silva2026 COUTINHO, Pedro Henrique Silva; PESSIM, Paulo Sérgio Pereira; BESSA, Iury Valente; PEIXOTO, Márcia Luciana da Costa; PALHARES, Reinaldo Martinez2026 • IEEE Transactions on Cybernetics2citações
Systematic LMI approaches to design multivariable sliding mode controllers for uncertain systemsCOUTINHO, Pedro Henrique Silva2026COUTINHO, Pedro Henrique Silva; BESSA, Iury Valente; RODRIGUES, Victor Hugo Pereira; OLIVEIRA, Tiago Roux2026 • Automatica1citações
Finding software vulnerabilities in large C projects via bounded model checkingDE SOUSA, JANISLLEY O.2026DE SOUSA, JANISLLEY O.; DE FARIAS, BRUNO C.; DA SILVA, THALES A.; TIHANYI, NORBERT; DUBNICZKY, RICHARD A.; FILHO, EDDIE B. L.; CORDEIRO, LUCAS C2026 • International Journal on Software Tools for Technology Transfer

Ver todas as publicações