Valentin Chimisliu, Franz Wotawa. Category Partition Method and Satisfiability Modulo Theories for test case generation. In 7th International Workshop on Automation of Software Test, AST 2012, Zurich, Switzerland, June 2-3, 2012. pages 64-70, IEEE, 2012. [doi]
Abstract is missing.