Flexible Graph Layout for the Web. - Trevor Hansen; Kim Marriott; Bernd Meyer 001; Peter J. Stuckey (J. Vis. Lang. Comput., 2002)

State Joining and Splitting for the Symbolic Execution of Binaries. - Trevor Hansen; Peter Schachte; Harald Søndergaard (RV, 2009)

A constraint solver and its application to machine code test generation. - Trevor Hansen (2012)