Evaluation Data of SemSlice

This data set contains the programs on which SemSlice was evaluated. SemSlice is a tool for automatic and precise porgram slicing and was presented in: http://dx.doi.org/10.1007/978-3-319-66845-1_20 Data ----- The folder "benchmarks" contains the programs which were used to evaluate SemSlice. The file "results.log" contains the evaluation results of running SemSlice on the benchmark programs. The evaluation was done on a virtual machine that had two Intel Core I7-4600MQ cores and 2GB RAM.

Related Organizations

Royal Institute of Technology
Sweden
Karlsruhe Institute of Technology
Germany

Keywords

Relational Verification, Program Slicing, Formal Methods

Impact byBIP!

	selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	1
	popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.	Average
	influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).	Average
	impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.	Average