{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:49:56Z","timestamp":1725558596237},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642139529"},{"type":"electronic","value":"9783642139536"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13953-6_14","type":"book-chapter","created":{"date-parts":[[2010,6,29]],"date-time":"2010-06-29T11:28:13Z","timestamp":1277810893000},"page":"253-270","source":"Crossref","is-referenced-by-count":5,"title":["Moles: Tool-Assisted Environment Isolation with Closures"],"prefix":"10.1007","author":[{"given":"Jonathan","family":"de Halleux","sequence":"first","affiliation":[]},{"given":"Nikolai","family":"Tillmann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/1181775.1181806","volume-title":"Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering","author":"S. Elbaum","year":"2006","unstructured":"Elbaum, S., Chin, H.N., Dwyer, M.B., Dokulil, J.: Carving differential unit test cases from system test cases. In: Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering, pp. 253\u2013264. ACM, New York (2006)"},{"key":"14_CR2","volume-title":"Working Effectively with Legacy Code","author":"M. Feathers","year":"2004","unstructured":"Feathers, M.: Working Effectively with Legacy Code. Prentice Hall PTR, Englewood Cliffs (September 2004)"},{"key":"14_CR3","volume-title":"Refactoring: Improving the Design of Existing Code","author":"M. Fowler","year":"1999","unstructured":"Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, Reading (1999)"},{"issue":"6","key":"14_CR4","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1145\/1064978.1065036","volume":"40","author":"P. Godefroid","year":"2005","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: DART: directed automated random testing. SIGPLAN Notices\u00a040(6), 213\u2013223 (2005)","journal-title":"SIGPLAN Notices"},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BF00260922","volume":"10","author":"J.V. Guttag","year":"1978","unstructured":"Guttag, J.V., Horning, J.J.: The algebraic specification of abstract data types. Acta Informatica\u00a010, 27\u201352 (1978)","journal-title":"Acta Informatica"},{"key":"14_CR6","unstructured":"Hunt, G., Brubacher, D.: Detours: binary interception of win32 functions. In: WINSYM\u201999: Proceedings of the 3rd conference on USENIX Windows NT Symposium, Berkeley, CA, USA, pp. 14. USENIX Association (1999)"},{"key":"14_CR7","unstructured":"JMockit developers. The JMockit testing toolkit (January 2010), http:\/\/jmockit.googlecode.com\/svn\/trunk\/www\/about.html"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Joshi, S., Orso, A.: SCARPE: A technique and tool for selective record and replay of program executions. In: Proceedings of the 23rd IEEE International Conference on Software Maintenance (ICSM 2007), Paris, France (October 2007)","DOI":"10.1109\/ICSM.2007.4362636"},{"key":"14_CR9","unstructured":"Micallef, J.: Encapsulation, reusability and extensibility in object-oriented programming languages. Journal of Object-Oriented Programming, 12\u201336 (April\/May 1988)"},{"key":"14_CR10","unstructured":"Microsoft. Windows sharepoint services 3.0. (January 2010), http:\/\/technet.microsoft.com\/en-us\/windowsserver\/sharepoint\/default.aspx"},{"key":"14_CR11","unstructured":"Musuvathi, M., Qadeer, S., Ball, T., Basler, G., Nainar, P.A., Neamtiu, I.: Finding and reproducing heisenbugs in concurrent programs. In: OSDI, pp. 267\u2013280 (2008)"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Orso, A., Joshi, S., Burger, M., Zeller, A.: Isolating relevant Component Interactions with JINSI. In: Proceedings of the Fourth International ICSE Workshop on Dynamic Analysis (WODA 2006), Shanghai, China, May 2006, pp. 3\u20139 (2006)","DOI":"10.1145\/1138912.1138915"},{"issue":"4","key":"14_CR13","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/s10009-009-0115-4","volume":"11","author":"B. Pasternak","year":"2009","unstructured":"Pasternak, B., Tyszberowicz, S., Yehudai, A.: GenUTest: a unit test and mock aspect generation tool. Int. J. Softw. Tools Technol. Transf.\u00a011(4), 273\u2013290 (2009)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"14_CR14","unstructured":"Pex development team. Pex (2008), http:\/\/research.microsoft.com\/Pex"},{"key":"14_CR15","unstructured":"Pex development team. Unit testing SharePoint Foundation with Microsoft Pex and Moles (April 2010), http:\/\/research.microsoft.com\/pex\/pexsharepoint.pdf"},{"key":"14_CR16","unstructured":"Rho, T., Kniesel, G.: Uniform genericity for aspect languages. Technical report, Needs, Options and Challenges, Special issue of L\u2019Objet. Hermes Science Publishing (2004)"},{"key":"14_CR17","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1145\/1101908.1101927","volume-title":"ASE \u201905: Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering","author":"D. Saff","year":"2005","unstructured":"Saff, D., Artzi, S., Perkins, J.H., Ernst, M.D.: Automatic test factoring for Java. In: ASE \u201905: Proceedings of the 20th IEEE\/ACM International Conference on Automated Software Engineering, pp. 114\u2013123. ACM Press, New York (2005)"},{"key":"14_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-79124-9_10","volume-title":"Tests and Proofs","author":"N. Tillmann","year":"2008","unstructured":"Tillmann, N., de Halleux, J.: Pex - white box test generation for .NET. In: Beckert, B., H\u00e4hnle, R. (eds.) TAP 2008. LNCS, vol.\u00a04966, pp. 134\u2013153. Springer, Heidelberg (2008)"},{"key":"14_CR19","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1145\/1081706.1081749","volume-title":"Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering","author":"N. Tillmann","year":"2005","unstructured":"Tillmann, N., Schulte, W.: Parameterized unit tests. In: Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, pp. 253\u2013262. ACM, New York (2005)"},{"key":"14_CR20","unstructured":"TypeMock Development Team. Isolator, http:\/\/www.typemock.com\/learn_about_typemock_isolator.html"},{"key":"14_CR21","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1145\/1287624.1287638","volume-title":"ESEC-FSE \u201907: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering","author":"G. Xu","year":"2007","unstructured":"Xu, G., Rountev, A., Tang, Y., Qin, F.: Efficient checkpointing of java software using context-sensitive capture and replay. In: ESEC-FSE \u201907: Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on the foundations of software engineering, pp. 85\u201394. ACM, New York (2007)"}],"container-title":["Lecture Notes in Computer Science","Objects, Models, Components, Patterns"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13953-6_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,30]],"date-time":"2021-10-30T09:05:28Z","timestamp":1635584728000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13953-6_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642139529","9783642139536"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13953-6_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}