Symbolic Execution Algorithms for Test Generation

Paperback / softback