Scalable satisfiability checking and test data generation from modeling diagrams.

Yannis Smaragdakis Christoph Csallner Ranjith Subramanian Scalable satisfiability checking and test data generation from modeling diagrams. 73-99 2009 16 Autom. Softw. Eng. 1 http://dx.doi.org/10.1007/s10515-008-0044-6 db/journals/ase/ase16.html#SmaragdakisCS09