A fully-labeled C++03 program dataset provides a unique resource to evaluate model checkers in respect to language coverage. To tackle modern aspects of the C++ language, a large-scale benchmark dataset includes more than 1,500 C++03-compliant programs, which cover different aspects of the language, including exception handling, templates, inheritance, polymorphism, the standard template library, and object-oriented design.
DOI Link:
Links or DOI:
Dataset Files
You must be an IEEE Dataport Subscriber to access these files. Subscribe now or login.
Documentation:
| Attachment | Size |
|---|---|
 README.md | 3.08 KB |
[1] Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro,
"Experimental Data for Model Checking C++03 Programs",
IEEE Dataport,
2019. [Online]. Available: http://dx.doi.org/10.21227/h44f-fp94. Accessed: Dec. 08, 2024.
@data{h44f-fp94-19,
doi = {10.21227/h44f-fp94},
url = {http://dx.doi.org/10.21227/h44f-fp94},
author = {Felipe R. Monteiro; Mikhail R. Gadelha; Lucas C. Cordeiro },
publisher = {IEEE Dataport},
title = {Experimental Data for Model Checking C++03 Programs},
year = {2019} }
doi = {10.21227/h44f-fp94},
url = {http://dx.doi.org/10.21227/h44f-fp94},
author = {Felipe R. Monteiro; Mikhail R. Gadelha; Lucas C. Cordeiro },
publisher = {IEEE Dataport},
title = {Experimental Data for Model Checking C++03 Programs},
year = {2019} }
TY - DATA
T1 - Experimental Data for Model Checking C++03 Programs
AU - Felipe R. Monteiro; Mikhail R. Gadelha; Lucas C. Cordeiro
PY - 2019
PB - IEEE Dataport
UR - 10.21227/h44f-fp94
ER -
T1 - Experimental Data for Model Checking C++03 Programs
AU - Felipe R. Monteiro; Mikhail R. Gadelha; Lucas C. Cordeiro
PY - 2019
PB - IEEE Dataport
UR - 10.21227/h44f-fp94
ER -
Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro.
(2019).
Experimental Data for Model Checking C++03 Programs.
IEEE Dataport.
http://dx.doi.org/10.21227/h44f-fp94
Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro,
2019.
Experimental Data for Model Checking C++03 Programs.
Available at:
http://dx.doi.org/10.21227/h44f-fp94.
Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro.
(2019).
"Experimental Data for Model Checking C++03 Programs."
Web.
1. Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro.
Experimental Data for Model Checking C++03 Programs [Internet].
IEEE Dataport; 2019.
Available from :
http://dx.doi.org/10.21227/h44f-fp94
Felipe R. Monteiro, Mikhail R. Gadelha, Lucas C. Cordeiro.
"Experimental Data for Model Checking C++03 Programs."
doi:
10.21227/h44f-fp94