{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,13]],"date-time":"2026-03-13T23:48:25Z","timestamp":1773445705598,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,7,15]],"date-time":"2013-07-15T00:00:00Z","timestamp":1373846400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,7,15]]},"DOI":"10.1145\/2483760.2483790","type":"proceedings-article","created":{"date-parts":[[2013,7,16]],"date-time":"2013-07-16T18:06:58Z","timestamp":1373998018000},"page":"246-256","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Declarative mocking"],"prefix":"10.1145","author":[{"given":"Hesam","family":"Samimi","sequence":"first","affiliation":[{"name":"UC Los Angeles, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rebecca","family":"Hicks","sequence":"additional","affiliation":[{"name":"UC Los Angeles, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ari","family":"Fogel","sequence":"additional","affiliation":[{"name":"UC Los Angeles, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Todd","family":"Millstein","sequence":"additional","affiliation":[{"name":"UC Los Angeles, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,7,15]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Test Driven Development: By Example","author":"Beck","year":"2002","unstructured":"Beck , Test Driven Development: By Example . Boston, MA, USA : Addison-Wesley Longman Publishing Co. , Inc., 2002 . Beck, Test Driven Development: By Example. Boston, MA, USA: Addison-Wesley Longman Publishing Co., Inc., 2002."},{"key":"e_1_3_2_1_2_1","volume-title":"Agile Software Development: Principles, Patterns, and Practices","author":"Martin R. C.","year":"2003","unstructured":"R. C. Martin , Agile Software Development: Principles, Patterns, and Practices . Upper Saddle River, NJ, USA : Prentice Hall PTR , 2003 . R. C. Martin, Agile Software Development: Principles, Patterns, and Practices. Upper Saddle River, NJ, USA: Prentice Hall PTR, 2003."},{"key":"e_1_3_2_1_3_1","first-page":"301","volume-title":"Extreme programming examined","author":"Mackinnon T.","year":"2001","unstructured":"T. Mackinnon , S. Freeman , and P. Craig , \u201c Extreme programming examined ,\u201d in Extreme programming examined , G. Succi and M. Marchesi, Eds. Boston, MA, USA : Addison-Wesley Longman Publishing Co. , Inc., 2001 , ch. Endo-testing: unit testing with mock objects, pp. 287\u2013 301 . T. Mackinnon, S. Freeman, and P. Craig, \u201cExtreme programming examined,\u201d in Extreme programming examined, G. Succi and M. Marchesi, Eds. Boston, MA, USA: Addison-Wesley Longman Publishing Co., Inc., 2001, ch. Endo-testing: unit testing with mock objects, pp. 287\u2013301."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028664.1028765"},{"key":"e_1_3_2_1_5_1","unstructured":"G. L. Alwin Ibba Jeremy Whitlock \u201cMockrunner \u201d http:\/\/mockrunner.sourceforge.net.  G. L. Alwin Ibba Jeremy Whitlock \u201cMockrunner \u201d http:\/\/mockrunner.sourceforge.net."},{"key":"e_1_3_2_1_6_1","unstructured":"S. Faber \u201cMockito: Simpler and better mocking \u201d http:\/\/code.google.com\/p\/mockito.  S. Faber \u201cMockito: Simpler and better mocking \u201d http:\/\/code.google.com\/p\/mockito."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1808266.1808273"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2006.51"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/ITNG.2009.80"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/IWAST.2009.5069054"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2011.158"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1883978.1884015"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1127878.1127884"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30569-9_3"},{"key":"e_1_3_2_1_15_1","first-page":"360","article-title":"Design by contract: Making object-oriented programs that work","author":"Meyer B.","year":"1997","unstructured":"B. Meyer , \u201c Design by contract: Making object-oriented programs that work ,\u201d in TOOLS (25) , 1997 , p. 360 . B. Meyer, \u201cDesign by contract: Making object-oriented programs that work,\u201d in TOOLS (25), 1997, p. 360.","journal-title":"TOOLS (25)"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321633"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985863"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103656.2103675"},{"key":"e_1_3_2_1_20_1","unstructured":"JStock \u201cJstock \u201d http:\/\/jstock.sourceforge.net.  JStock \u201cJstock \u201d http:\/\/jstock.sourceforge.net."},{"key":"e_1_3_2_1_21_1","volume-title":"Jdbc","author":"JDBC","unstructured":"JDBC , \u201c Jdbc ,\u201d oracle Corporation . http:\/\/docs.oracle. com\/javase\/6\/docs\/technotes\/guides\/jdbc. JDBC, \u201cJdbc,\u201d oracle Corporation. http:\/\/docs.oracle. com\/javase\/6\/docs\/technotes\/guides\/jdbc."},{"key":"e_1_3_2_1_22_1","volume-title":"Internet RFC","author":"Sollins K. R.","year":"1992","unstructured":"K. R. Sollins , \u201c The TFTP protocol (revision 2) ,\u201d Internet RFC 1350, July 1992 . K. R. Sollins, \u201cThe TFTP protocol (revision 2),\u201d Internet RFC 1350, July 1992."},{"key":"e_1_3_2_1_23_1","unstructured":"Hadoop \u201cApache hadoop \u201d http:\/\/hadoop.apache.org.  Hadoop \u201cApache hadoop \u201d http:\/\/hadoop.apache.org."},{"key":"e_1_3_2_1_24_1","unstructured":"H. Tang \u201cMumak: Map-reduce simulator \u201d https: \/\/issues.apache.org\/jira\/browse\/MAPREDUCE-728.  H. Tang \u201cMumak: Map-reduce simulator \u201d https: \/\/issues.apache.org\/jira\/browse\/MAPREDUCE-728."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/MASCOTS.2011.59"},{"key":"e_1_3_2_1_26_1","unstructured":"M. T. Jones \u201cScheduling in hadoop \u201d http:\/\/www.ibm.com\/developerworks\/linux\/library\/ os-hadoop-scheduling\/index.html.  M. T. Jones \u201cScheduling in hadoop \u201d http:\/\/www.ibm.com\/developerworks\/linux\/library\/ os-hadoop-scheduling\/index.html."},{"key":"e_1_3_2_1_27_1","first-page":"340","volume-title":"TACAS\u201908\/ETAPS\u201908.","author":"De Moura L.","year":"2008","unstructured":"L. De Moura and N. Bj\u00f8rner , \u201c Z3: an e\ufb03cient smt solver ,\u201d in TACAS\u201908\/ETAPS\u201908. Berlin, Heidelberg : Springer-Verlag , 2008 , pp. 337\u2013 340 . L. De Moura and N. Bj\u00f8rner, \u201cZ3: an e\ufb03cient smt solver,\u201d in TACAS\u201908\/ETAPS\u201908. Berlin, Heidelberg: Springer-Verlag, 2008, pp. 337\u2013340."},{"key":"e_1_3_2_1_28_1","first-page":"270","volume-title":"Moles: tool-assisted environment isolation with closures","author":"de Halleux J.","year":"2010","unstructured":"J. de Halleux and N. Tillmann , \u201c Moles: tool-assisted environment isolation with closures ,\u201d ser. TOOLS\u2019 10. Berlin, Heidelberg : Springer-Verlag , 2010 , pp. 253\u2013 270 . J. de Halleux and N. Tillmann, \u201cMoles: tool-assisted environment isolation with closures,\u201d ser. TOOLS\u201910. Berlin, Heidelberg: Springer-Verlag, 2010, pp. 253\u2013270."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1890692.1890695"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101927"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2012.51"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384592.2384595"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1363102.1363105"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134301"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1639950.1640070"}],"event":{"name":"ISSTA '13: Iitsnternational Symposium on Software Testing and Analysis","location":"Lugano Switzerland","acronym":"ISSTA '13","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2013 International Symposium on Software Testing and Analysis"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2483760.2483790","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2483760.2483790","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:32Z","timestamp":1750235972000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2483760.2483790"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7,15]]},"references-count":34,"alternative-id":["10.1145\/2483760.2483790","10.1145\/2483760"],"URL":"https:\/\/doi.org\/10.1145\/2483760.2483790","relation":{},"subject":[],"published":{"date-parts":[[2013,7,15]]},"assertion":[{"value":"2013-07-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}