%0 Journal Article %1 journals/ase/SmaragdakisCS09 %A Smaragdakis, Yannis %A Csallner, Christoph %A Subramanian, Ranjith %D 2009 %J Autom. Softw. Eng. %K dblp %N 1 %P 73-99 %T Scalable satisfiability checking and test data generation from modeling diagrams. %U http://dblp.uni-trier.de/db/journals/ase/ase16.html#SmaragdakisCS09 %V 16

@article{journals/ase/SmaragdakisCS09, added-at = {2009-05-20T00:00:00.000+0200}, author = {Smaragdakis, Yannis and Csallner, Christoph and Subramanian, Ranjith}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2b5ad3bf613c21f2d1770ff5a6d512cfc/dblp}, ee = {http://dx.doi.org/10.1007/s10515-008-0044-6}, interhash = {627725da3cae5b68dbfe4610825a41ea}, intrahash = {b5ad3bf613c21f2d1770ff5a6d512cfc}, journal = {Autom. Softw. Eng.}, keywords = {dblp}, number = 1, pages = {73-99}, timestamp = {2016-02-02T10:13:29.000+0100}, title = {Scalable satisfiability checking and test data generation from modeling diagrams.}, url = {http://dblp.uni-trier.de/db/journals/ase/ase16.html#SmaragdakisCS09}, volume = 16, year = 2009 }