@inproceedings{conf/sigsoft/SyD03, title = {Consistency techniques for interprocedural test data generation.}, author = {Nguyen Tran Sy and Yves Deville}, booktitle = {ESEC / SIGSOFT FSE}, crossref = {conf/sigsoft/2003}, pages = {108-117}, publisher = {ACM}, url = {http://dblp.uni-trier.de/db/conf/sigsoft/fse2003.html#SyD03}, year = {2003}, biburl = {http://www.bibsonomy.org/bibtex/2e7028835bd9349c98dc68ec46abbf288/dblp}, description = {dblp}, ee = {http://doi.acm.org/10.1145/940071.940087}, date = {2008-05-09}, keywords = {dblp } }