Moles: Tool-assisted environment isolation with closures

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6141 LNCS, Issue , 2010, Pages 253-270

  De Halleux, Jonathan ^a   Tillmann, Nikolai ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED TEST GENERATIONS; CODE COVERAGE; CODE INSTRUMENTATION; LOCAL VARIABLES; MICROSOFT; RUNNING TESTS; SYMBOLIC EXECUTION; TEST CASE; TEST EXECUTION; TEST RELIABILITY; TESTING CODES; VISUAL STUDIOS;

SOFTWARE TESTING; WINDOWS OPERATING SYSTEM;

TESTING;

EID: 77954749318     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-13953-6_14     Document Type: Conference Paper

References (21)

1. 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-264. ACM, New York (2006)
2. Feathers, M.: Working Effectively with Legacy Code. Prentice Hall PTR, Englewood Cliffs (September 2004)
3. Fowler, M.: Refactoring: Improving the Design of Existing Code. Addison-Wesley, Reading (1999)
4. Godefroid, P., Klarlund, N., Sen, K.: DART: directed automated random testing. SIGPLAN Notices 40(6), 213-223 (2005)
5. Guttag, J.V., Horning, J.J.: The algebraic specification of abstract data types. Acta Informatica 10, 27-52 (1978)
6. Hunt, G., Brubacher, D.: Detours: binary interception of win32 functions. In: WINSYM'99: Proceedings of the 3rd conference on USENIX Windows NT Symposium, Berkeley, CA, USA, pp. 14. USENIX Association (1999)
7. JMockit developers. The JMockit testing toolkit (January 2010), http://jmockit.googlecode.com/svn/trunk/www/about.html
8. 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)
9. Micallef, J.: Encapsulation, reusability and extensibility in object-oriented programming languages. Journal of Object-Oriented Programming, 12-36 (April/May 1988)
10. Microsoft. Windows sharepoint services 3.0. (January 2010), http://technet.microsoft.com/en-us/windowsserver/sharepoint/default.aspx
11. Musuvathi, M., Qadeer, S., Ball, T., Basler, G., Nainar, P.A., Neamtiu, I.: Finding and reproducing heisenbugs in concurrent programs. In: OSDI, pp. 267-280 (2008)
12. 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-9 (2006)
13. Pasternak, B., Tyszberowicz, S., Yehudai, A.: GenUTest: a unit test and mock aspect generation tool. Int. J. Softw. Tools Technol. Transf. 11(4), 273-290 (2009)
14. Pex development team. Pex (2008), http://research.microsoft.com/Pex
15. Pex development team. Unit testing SharePoint Foundation with Microsoft Pex and Moles (April 2010), http://research.microsoft.com/pex/pexsharepoint.pdf
16. Rho, T., Kniesel, G.: Uniform genericity for aspect languages. Technical report, Needs, Options and Challenges, Special issue of L'Objet. Hermes Science Publishing (2004)
17. Saff, D., Artzi, S., Perkins, J.H., Ernst, M.D.: Automatic test factoring for Java. In: ASE '05: Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering, pp. 114-123. ACM Press, New York (2005)
18. Tillmann, N., de Halleux, J.: Pex - white box test generation for .NET. In: Beckert, B., Hähnle, R. (eds.) TAP 2008. LNCS, vol. 4966, pp. 134-153. Springer, Heidelberg (2008)
19. 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-262. ACM, New York (2005)
20. TypeMock Development Team. Isolator, http://www.typemock.com/learn-about- typemock-isolator.html
21. Xu, G., Rountev, A., Tang, Y., Qin, F.: Efficient checkpointing of java software using contextsensitive capture and replay. In: ESEC-FSE '07: 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. 85194. ACM, New York (2007)