In Proceedings of the 19th International Symposium on Software Testing and Analysis , pp. 183-194, doi:10.1145/1831708.1831732 Symbolic execution is a popular technique for automatically generating test cases achieving high structural coverage.