{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,27]],"date-time":"2025-07-27T07:15:20Z","timestamp":1753600520024},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540694885"},{"type":"electronic","value":"9783540694892"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69489-2_23","type":"book-chapter","created":{"date-parts":[[2007,5,15]],"date-time":"2007-05-15T20:22:20Z","timestamp":1179260540000},"page":"182-192","source":"Crossref","is-referenced-by-count":15,"title":["Towards Model-Driven Unit Testing"],"prefix":"10.1007","author":[{"given":"Gregor","family":"Engels","sequence":"first","affiliation":[]},{"given":"Baris","family":"G\u00fcldali","sequence":"additional","affiliation":[]},{"given":"Marc","family":"Lohmann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"9","key":"23_CR1","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1109\/MC.2005.316","volume":"38","author":"T.O. Meservy","year":"2005","unstructured":"Meservy, T.O., Fenstermacher, K.D.: Transforming software development: An MDA road map. IEEE Computer\u00a038(9), 52\u201358 (2005)","journal-title":"IEEE Computer"},{"key":"23_CR2","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1109\/VLHCC.2005.35","volume-title":"2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC\u201905)","author":"M. Lohmann","year":"2005","unstructured":"Lohmann, M., Sauer, S., Engels, G.: Executable visual contracts. In: Erwig, M., Sch\u00fcrr, A. (eds.) 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL\/HCC\u201905), pp. 63\u201370. IEEE Computer Society Press, Los Alamitos (2005)"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Engels, G., Lohmann, M., Sauer, S., Heckel, R.: Model-driven monitoring: An application of graph transformation for design by contract. In: International Conference on Graph Transformation (ICGT) 2006, September 2006 (accepted for publication, 2006)","DOI":"10.1007\/11841883_24"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Heckel, R., Lohmann, M.: Model-driven development of reactive informations systems: From graph transformation rules to JML contracts. International Journal on Software Tools for Technology Transfer (STTT) (accepted for publication, 2006)","DOI":"10.1007\/s10009-006-0020-z"},{"issue":"10","key":"23_CR5","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1109\/2.161279","volume":"25","author":"B. Meyer","year":"1992","unstructured":"Meyer, B.: Applying \u201dDesign by Contract\u201d. IEEE Computer\u00a025(10), 40\u201351 (1992)","journal-title":"IEEE Computer"},{"key":"23_CR6","unstructured":"Leavens, G., Cheon, Y.: Design by Contract with JML (2003)"},{"key":"23_CR7","volume-title":"Test Driven Development: By Example","author":"K. Beck","year":"2002","unstructured":"Beck, K.: Test Driven Development: By Example. Addison-Wesley Professional, Reading (2002)"},{"key":"23_CR8","series-title":"The XP Series","volume-title":"Extreme Programming Explained. Embrace Change.","author":"K. Beck","year":"1999","unstructured":"Beck, K.: Extreme Programming Explained. Embrace Change. The XP Series. Addison-Wesley Professional, Reading (1999)"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Heckel, R., Lohmann, M.: Towards model-driven testing. Electr. Notes Theor. Comput. Sci.\u00a082(6) (2003)","DOI":"10.1016\/S1571-0661(04)81023-5"},{"issue":"1","key":"23_CR10","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1109\/32.825766","volume":"26","author":"S. Antoy","year":"2000","unstructured":"Antoy, S., Hamlet, D.: Automatically checking an implementation against its formal specification. IEEE Transactions on Software Engineering\u00a026(1), 55\u201369 (2000), doi:10.1109\/32.825766","journal-title":"IEEE Transactions on Software Engineering"},{"key":"23_CR11","unstructured":"OMG (Object Management Group): UML 2.0 superstructure specification - revised final adopted specification (2004)"},{"issue":"1","key":"23_CR12","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1023\/A:1008734426504","volume":"9","author":"R. Heckel","year":"2001","unstructured":"Heckel, R., Ehrig, H., Wolter, U., Corradini, A.: Double-pullback transitions and coalgebraic loose semantics for graph transformation systems. APCS (Applied Categorical Structures)\u00a09(1), 83\u2013110 (2001)","journal-title":"APCS (Applied Categorical Structures)"},{"issue":"3,4","key":"23_CR13","doi-asserted-by":"crossref","first-page":"287","DOI":"10.3233\/FI-1996-263404","volume":"26","author":"A. Habel","year":"1996","unstructured":"Habel, A., Heckel, R., Taentzer, G.: Graph grammars with negative application conditions. Fundamenta Informaticae\u00a026(3,4), 287\u2013313 (1996)","journal-title":"Fundamenta Informaticae"},{"key":"23_CR14","volume-title":"Testing Object-Oriented Systems","author":"R.V. Binder","year":"2000","unstructured":"Binder, R.V.: Testing Object-Oriented Systems. Addison-Wesley, Reading (2000)"},{"key":"23_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/978-3-540-30203-2_17","volume-title":"Graph Transformations","author":"A. Rensink","year":"2004","unstructured":"Rensink, A., Schmidt, \u00c1., Varr\u00f3, D.: Model checking graph transformations: A comparison of two approaches. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol.\u00a03256, pp. 226\u2013241. Springer, Heidelberg (2004)"},{"key":"23_CR16","volume-title":"21st IEEE\/ACM International Conference on Automated Software Engineering (ASE) 2006 Demonstration Session","author":"M. Lohmann","year":"2006","unstructured":"Lohmann, M., Engels, G., Sauer, S.: Model-driven monitoring: Generating assertions from visual contracts. In: 21st IEEE\/ACM International Conference on Automated Software Engineering (ASE) 2006 Demonstration Session, September 2006, ACM Press, New York (2006)"},{"key":"23_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"479","DOI":"10.1007\/978-3-540-25959-6_40","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"A. Rensink","year":"2004","unstructured":"Rensink, A.: The GROOVE simulator: A tool for state space generation. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol.\u00a03062, pp. 479\u2013485. Springer, Heidelberg (2004)"},{"key":"23_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/3-540-47993-7_10","volume-title":"ECOOP 2002 - Object-Oriented Programming","author":"Y. Cheon","year":"2002","unstructured":"Cheon, Y., Leavens, G.T.: A simple and practical approach to unit testing: The JML and JUnit way. In: Magnusson, B. (ed.) ECOOP 2002. LNCS, vol.\u00a02374, pp. 231\u2013255. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Models in Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69489-2_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T05:00:36Z","timestamp":1605762036000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69489-2_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540694885","9783540694892"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69489-2_23","relation":{},"subject":[]}}