Time Swquences as a Tool for Describing Program Behaviour.

Published in: Abstract Software Specifications (1979)

Keyphrases

program understanding
analysis tool
database
social networks
databases
information retrieval
computer vision
case study
three dimensional
hidden markov models
logic programming
software tools
program execution
search based software testing