All-Paths TestGenerationfor Programs with Internal Aliases.

Nikolai Kosmatov

Published in: ISSRE (2008)

Keyphrases

neural network
shortest path
internal and external
programming environment
fixpoint
automatic programming
real time
machine learning
knowledge base
image processing
database systems
stable models
intermediate level
provably correct