Fine-Grained Model Slicing for Rebel

Renate Eilers; J. Hage; Wishnu Prasetya; Joost Bosman

doi:10.1109/SCAM.2018.00035

Fine-Grained Model Slicing for Rebel

Renate Eilers, J. Hage, Wishnu Prasetya, Joost Bosman

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Citation (Scopus)

Abstract

In this paper, we apply fine-grained slicing techniques to the models generated from the Rebel modeling language before passing them on to an SMT solver. We show that our slicing techniques have a significant positive effect on performance, allowing us to verify larger problem instances and with higher path bounds than with unsliced models. For small and shallow instances, however, the overhead of slicing dominates verification time, and slicing should not be resorted to.

Original language	English
Title of host publication	18th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2018)
Publisher	IEEE
Pages	235-244
Number of pages	10
ISBN (Electronic)	9781538682906
DOIs	https://doi.org/10.1109/SCAM.2018.00035
Publication status	Published - 12 Nov 2018

Access to Document

10.1109/SCAM.2018.00035

Cite this

@inproceedings{e70b3b2204c3496b8325f89132640899,

title = "Fine-Grained Model Slicing for Rebel",

abstract = "In this paper, we apply fine-grained slicing techniques to the models generated from the Rebel modeling language before passing them on to an SMT solver. We show that our slicing techniques have a significant positive effect on performance, allowing us to verify larger problem instances and with higher path bounds than with unsliced models. For small and shallow instances, however, the overhead of slicing dominates verification time, and slicing should not be resorted to.",

author = "Renate Eilers and J. Hage and Wishnu Prasetya and Joost Bosman",

year = "2018",

month = nov,

day = "12",

doi = "10.1109/SCAM.2018.00035",

language = "English",

pages = "235--244",

booktitle = "18th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2018)",

publisher = "IEEE",

address = "United States",

}

TY - GEN

T1 - Fine-Grained Model Slicing for Rebel

AU - Eilers, Renate

AU - Hage, J.

AU - Prasetya, Wishnu

AU - Bosman, Joost

PY - 2018/11/12

Y1 - 2018/11/12

N2 - In this paper, we apply fine-grained slicing techniques to the models generated from the Rebel modeling language before passing them on to an SMT solver. We show that our slicing techniques have a significant positive effect on performance, allowing us to verify larger problem instances and with higher path bounds than with unsliced models. For small and shallow instances, however, the overhead of slicing dominates verification time, and slicing should not be resorted to.

AB - In this paper, we apply fine-grained slicing techniques to the models generated from the Rebel modeling language before passing them on to an SMT solver. We show that our slicing techniques have a significant positive effect on performance, allowing us to verify larger problem instances and with higher path bounds than with unsliced models. For small and shallow instances, however, the overhead of slicing dominates verification time, and slicing should not be resorted to.

U2 - 10.1109/SCAM.2018.00035

DO - 10.1109/SCAM.2018.00035

M3 - Conference contribution

SP - 235

EP - 244

BT - 18th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM 2018)

PB - IEEE

ER -

Fine-Grained Model Slicing for Rebel

Abstract

Access to Document

Fingerprint

Cite this