Nurit Dor, Stephen Adams, Manuvir Das, and Zhe Yang.
Appeared in ISSTA '04: International Symposium on Software Testing and Analysis, Boston, July 2004.
Portable Data Format.