Automated Testing of Environment-Dependent Programs - A Case Study of Modeling the File System for Pex | IEEE Conference Publication | IEEE Xplore