Dynamic Solution of Linear Constraints for Test Case Generation. - Marko Ernsting; Tim A. Majchrzak; Herbert Kuchen (TASE, 2012)