@InProceedings{godefroid_et_al:DagSemProc.10111.5,
author = {Godefroid, Patrice and Mariani, Leonardo and Polini, Andrea and Tillmann, Nikolai and Visser, Willem and Whalen, Michael W.},
title = {{FITE - Future Integrated Testing Environment}},
booktitle = {Practical Software Testing : Tool Automation and Human Factors},
pages = {1--7},
series = {Dagstuhl Seminar Proceedings (DagSemProc)},
ISSN = {1862-4405},
year = {2010},
volume = {10111},
editor = {Mark Harman and Henry Muccini and Wolfram Schulte and Tao Xie},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.10111.5},
URN = {urn:nbn:de:0030-drops-26191},
doi = {10.4230/DagSemProc.10111.5},
annote = {Keywords: Incremental analysis, incremental testing, human factors, static analysis, model checking}
}