Tool Symbolic Observation Graph-Based Generation of Test Paths