@article{KoTiHa09,
author = {Soonho Kong and Nikolai Tillmann and Jonathan de Halleux},
title = {Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex},
journal ={Information Technology: New Generations, Third International Conference on},
volume = {0},
year = {2009},
isbn = {978-0-7695-3596-8},
pages = {758-762},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}