QSTG: A Quick Search Test Generation Algorithm Based on Boolean Satisfiability Method. - Saha Mousumi; Gundlapalli Manohar; Ghosh Koel; Mortha Anand (ESA, 2010)