Trevor Hansen

According to our database, Trevor Hansen authored at least 3 papers between 2002 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

A constraint solver and its application to machine code test generation.

Trevor Hansen

PhD thesis, 2012

2009

State Joining and Splitting for the Symbolic Execution of Binaries.

Trevor Hansen, Peter Schachte, Harald Søndergaard

Proceedings of the Runtime Verification, 9th International Workshop, 2009

2002

Flexible Graph Layout for the Web.

Trevor Hansen, Kim Marriott, Bernd Meyer, Peter J. Stuckey

J. Vis. Lang. Comput., 2002