{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T10:23:28Z","timestamp":1725791008017},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642548031"},{"type":"electronic","value":"9783642548048"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54804-8_27","type":"book-chapter","created":{"date-parts":[[2014,3,21]],"date-time":"2014-03-21T09:59:16Z","timestamp":1395395956000},"page":"385-399","source":"Crossref","is-referenced-by-count":7,"title":["An Expressive Semantics of Mocking"],"prefix":"10.1007","author":[{"given":"Josef","family":"Svenningsson","sequence":"first","affiliation":[]},{"given":"Hans","family":"Svensson","sequence":"additional","affiliation":[]},{"given":"Nicholas","family":"Smallbone","sequence":"additional","affiliation":[]},{"given":"Thomas","family":"Arts","sequence":"additional","affiliation":[]},{"given":"Ulf","family":"Norell","sequence":"additional","affiliation":[]},{"given":"John","family":"Hughes","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"27_CR1","unstructured":"Property specification language. IEEE Standard 1850 (2005)"},{"key":"27_CR2","doi-asserted-by":"crossref","unstructured":"Arts, T., Hughes, J., Johansson, J., Wiger, U.: Testing telecoms software with Quviq QuickCheck. In: Proceedings of the ACM SIGPLAN Workshop on Erlang. ACM Press, New York (2006)","DOI":"10.1145\/1159789.1159792"},{"key":"27_CR3","unstructured":"AUTOSAR consortium. AUTomotive Open System ARchitecture specifications, http:\/\/www.autosar.org"},{"issue":"2","key":"27_CR4","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/S1571-0661(04)00247-6","volume":"55","author":"D. Bartetzko","year":"2001","unstructured":"Bartetzko, D., Fischer, C., M\u00f6ller, M., Wehrheim, H.: Jass \u2013 java with assertions. Electronic Notes in Theoretical Computer Science\u00a055(2), 103\u2013117 (2001)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"27_CR5","unstructured":"Cgreen, http:\/\/www.lastcraft.com\/cgreen.php"},{"key":"27_CR6","doi-asserted-by":"crossref","unstructured":"Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of haskell programs. In: Proceedings of ACM SIGPLAN International Conference on Functional Programming, pp. 268\u2013279 (2000)","DOI":"10.1145\/357766.351266"},{"key":"27_CR7","unstructured":"CMock, https:\/\/github.com\/ThrowTheSwitch\/CMock"},{"key":"27_CR8","unstructured":"EasyMock, http:\/\/www.easymock.org"},{"key":"27_CR9","unstructured":"Google C++ mocking framework, http:\/\/code.google.com\/p\/googlemock"},{"key":"27_CR10","unstructured":"Google C++ testing framework, http:\/\/code.google.com\/p\/googletest"},{"key":"27_CR11","unstructured":"jMock, http:\/\/jmock.org\/index.html"},{"key":"27_CR12","unstructured":"Mockito - simpler & better mocking, http:\/\/code.google.com\/p\/mockito"},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"Svenningsson, J., Svensson, H., Smallbone, N., Arts, T., Norell, U., Hughes, J.: An expressive semantics of mocking. Technical Report 2014:01, Computer Science and Engineering, Chalmers University of Technology (2014) ISSN 1652-926X","DOI":"10.1007\/978-3-642-54804-8_27"},{"key":"27_CR14","doi-asserted-by":"crossref","unstructured":"Svenningsson, R., Johansson, R., Arts, T., Norell, U., Svenningsson, J., Svensson, H.: Testing AUTOSAR software components with QuickCheck. In: Proceedings of IXe Conf. on AMCTM. SP, Sweden (2011)","DOI":"10.1142\/9789814397957_0048"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54804-8_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T18:26:39Z","timestamp":1648664799000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54804-8_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642548031","9783642548048"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54804-8_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}