@Inproceedings{EPTCS253.7, author = {Sallai, Gyula and Hajdu, \'Akos and T\'oth, Tam\'as and Micskei, Zolt\'an}, year = {2017}, title = {Towards Evaluating Size Reduction Techniques for Software Model Checking}, editor = {Lisitsa, Alexei and Nemytykh, Andrei P. and Proietti, Maurizio}, booktitle = {{\rm Proceedings Fifth International Workshop on} Verification and Program Transformation, {\rm Uppsala, Sweden, 29th April 2017}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {253}, publisher = {Open Publishing Association}, pages = {75-91}, doi = {10.4204/EPTCS.253.7}, }