Encoding Program Executions (2001)

by S P Reiss, M Renieris
Venue:Proceedings of the 23th International Conference on Software Engineering (ICSE 2001