Infeasible Paths Elimination by Symbolic Execution Techniques
scientific article; zbMATH DE number 6644735