{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,5]],"date-time":"2026-10-05T11:59:50Z","timestamp":1791201590628,"version":"4.2.0"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642304750","type":"print"},{"value":"9783642304767","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30476-7_2","type":"book-chapter","created":{"date-parts":[[2012,5,25]],"date-time":"2012-05-25T11:29:43Z","timestamp":1337945383000},"page":"24-39","source":"Crossref","is-referenced-by-count":17,"title":["Using Models of Partial Knowledge to Test Model Transformations"],"prefix":"10.1007","author":[{"given":"Sagar","family":"Sen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Marie","family":"Mottu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Massimo","family":"Tisi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jordi","family":"Cabot","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"436","DOI":"10.1007\/978-3-540-75209-7_30","volume-title":"Model Driven Engineering Languages and Systems","author":"K. Anastasakis","year":"2007","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: UML2Alloy: A Challenging Model Transformation. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 436\u2013450. Springer, Heidelberg (2007)"},{"issue":"1","key":"2_CR2","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/s10270-008-0110-3","volume":"9","author":"K. Anastasakis","year":"2008","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On Challenges of Model Transformation from UML to Alloy. Software and Systems Modeling\u00a09(1), 69\u201386 (2008); Special Issue on MoDELS 2007","journal-title":"Software and Systems Modeling"},{"key":"2_CR3","unstructured":"Aranega, V., Mottu, J.-M., Etien, A., Dekeyser, J.-L.: Traceability mechanism for error localization in model transformation"},{"key":"2_CR4","unstructured":"Bardohl, R., Taentzer, G., Minas, M., Schurr, A.: Handbook of Graph Grammars and Computing by Graph transformation, vII: Applications, Languages and Tools. World Scientific (1999)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Baudry, B., Ghosh, S., Fleurey, F., France, R., Le Traon, Y., Mottu, J.-M.: Barriers to Systematic Model Transformation Testing. Communications of the ACM\u00a053(6) (2010)","DOI":"10.1145\/1743546.1743583"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/11663430_13","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"J. B\u00e9zivin","year":"2006","unstructured":"B\u00e9zivin, J., Sch\u00fcrr, A., Tratt, L.: Model Transformations in Practice Workshop. In: Bruel, J.-M. (ed.) MODELS 2005. LNCS, vol.\u00a03844, pp. 120\u2013127. Springer, Heidelberg (2006)"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/978-3-642-24485-8_6","volume-title":"Model Driven Engineering Languages and Systems","author":"A. Blouin","year":"2011","unstructured":"Blouin, A., Combemale, B., Baudry, B., Beaudoux, O.: Modeling Model Slicers. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol.\u00a06981, pp. 62\u201376. Springer, Heidelberg (2011)"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Boyapati, C., Khurshid, S., Marinov, D.: Korat: automated testing based on java predicates. In: Proceedings of the 2002 ACM SIGSOFT International Symposium on Software Testing and Analysis (2002)","DOI":"10.1145\/566189.566191"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Brottier, E., Fleurey, F., Steel, J., Baudry, B., Traon, Y.L.: Metamodel-based test generation for model transformations: an algorithm and a tool. In: Proceedings of ISSRE 2006, Raleigh, NC, USA (2006)","DOI":"10.1109\/ISSRE.2006.27"},{"key":"2_CR10","unstructured":"Budinsky, F.: Eclipse Modeling Framework. The Eclipse Series. Addison-Wesley (2004)"},{"issue":"4","key":"2_CR11","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1109\/C-M.1978.218136","volume":"11","author":"R. DeMillo","year":"1978","unstructured":"DeMillo, R., Lipton, R., Sayward, F.: Hints on test data selection: Help for the practicing programmer. IEEE Computer\u00a011(4), 34\u201341 (1978)","journal-title":"IEEE Computer"},{"key":"2_CR12","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1007\/978-3-642-14107-2_3","volume-title":"ECOOP 2010 \u2013 Object-Oriented Programming","author":"P. Dhoolia","year":"2010","unstructured":"Dhoolia, P., Mani, S., Sinha, V.S., Sinha, S.: Debugging Model-Transformation Failures Using Dynamic Tainting. In: D\u2019Hondt, T. (ed.) ECOOP 2010. LNCS, vol.\u00a06183, pp. 26\u201351. Springer, Heidelberg (2010)"},{"key":"2_CR13","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1007\/11768869_13","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"K. Ehrig","year":"2006","unstructured":"Ehrig, K., K\u00fcster, J.M., Taentzer, G., Winkelmann, J.: Generating Instance Models from Meta Models. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol.\u00a04037, pp. 156\u2013170. Springer, Heidelberg (2006)"},{"key":"2_CR14","unstructured":"Fleurey, F., Baudry, B., Muller, P.-A., Traon, Y.L.: Towards dependable model transformations: Qualifying input test data. Software and Systems Modelling (2007) (accepted)"},{"key":"2_CR15","unstructured":"Jackson, D.: (2008), \n                    \n                      http:\/\/alloy.mit.edu"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Jeanneret, C., Glinz, M., Baudry, B.: Estimating footprints of model operations. In: International Conference on Software Engineering (ICSE 2011), Honolulu, USA. IEEE (May 2011)","DOI":"10.1145\/1985793.1985875"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Jouault, F., Kurtev, I.: On the Architectural Alignment of ATL and QVT. In: Proceedings of ACM Symposium on Applied Computing (SAC 2006), Dijon, FRA (April 2006)","DOI":"10.1145\/1141277.1141561"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Hennessy, M., Power, J.: An analysis of rule coverage as a criterion in generating minimal test suites for grammar-based software. In: Proc. of the 20th IEEE\/ACM ASE, NY, USA (2005)","DOI":"10.1145\/1101908.1101926"},{"key":"2_CR19","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1007\/11527695_27","volume-title":"Theory and Applications of Satisfiability Testing","author":"Y.S. Mahajan","year":"2005","unstructured":"Mahajan, Y.S., Fu, Z., Malik, S.: Zchaff2004: An Efficient SAT Solver. In: Hoos, H.H., Mitchell, D.G. (eds.) SAT 2004. LNCS, vol.\u00a03542, pp. 360\u2013375. Springer, Heidelberg (2005)"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Famelis, M., Ben-David, S., Chechik, M., Salay, R.: Partial models: A position paper. In: MoDeVVa Workshop (co-located with MODELS 2011) (2011)","DOI":"10.1145\/2095654.2095656"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Mottu, J.-M., Baudry, B., Traon, Y.L.: Mutation analysis testing for model transformations. In: Proceedings of ECMDA 2006, Bilbao, Spain (July 2006)","DOI":"10.1007\/11787044_28"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/11557432_19","volume-title":"Model Driven Engineering Languages and Systems","author":"P.-A. Muller","year":"2005","unstructured":"Muller, P.-A., Fleurey, F., J\u00e9z\u00e9quel, J.-M.: Weaving Executability into Object-Oriented Meta-languages. In: Briand, L.C., Williams, C. (eds.) MODELS 2005. LNCS, vol.\u00a03713, pp. 264\u2013278. Springer, Heidelberg (2005)"},{"key":"2_CR23","unstructured":"OMG. The Object Constraint Language Specification 2.0, OMG: ad\/03-01-07 (2007)"},{"key":"2_CR24","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/978-3-540-75209-7_9","volume-title":"Model Driven Engineering Languages and Systems","author":"R. Ramos","year":"2007","unstructured":"Ramos, R., Barais, O., J\u00e9z\u00e9quel, J.-M.: Matching Model-Snippets. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 121\u2013135. Springer, Heidelberg (2007)"},{"key":"2_CR25","unstructured":"Sen, S.: Partial model completion tool (2011), \n                    \n                      https:\/\/sites.google.com\/site\/partialmodeltool\/"},{"key":"2_CR26","doi-asserted-by":"crossref","unstructured":"Sen, S., Baudry, B., Mottu, J.-M.: On combining multi-formalism knowledge to select test models for model transformation testing. In: IEEE International Conference on Software Testing, Lillehammer, Norway (April 2008)","DOI":"10.1109\/ICST.2008.62"},{"key":"2_CR27","unstructured":"Sen, S., Baudry, B., Precup, D.: Partial model completion in model driven engineering using constraint logic programming. In: International Conference on the Applications of Declarative Programming (2007)"},{"issue":"2","key":"2_CR28","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1177\/0037549709340530","volume":"86","author":"S. Sen","year":"2010","unstructured":"Sen, S., Baudry, B., Vangheluwe, H.: Towards Domain-specific Model Editors with Automatic Model Completion. SIMULATION\u00a086(2), 109\u2013126 (2010)","journal-title":"SIMULATION"},{"key":"2_CR29","unstructured":"Torlak, E., Jackson, D.: Kodkod: A relational model finder. In: Tools and Algorithms for Construction and Analysis of Systems, Braga, Portugal (March 2007)"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformations"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30476-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T20:55:22Z","timestamp":1558299322000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30476-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642304750","9783642304767"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30476-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}