Parameterized unit testing with pex (tutorial)

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

Volumn 4966 LNCS, Issue , 2008, Pages 171-181

  De Halleux, Jonathan ^a   Tillmann, Nikolai ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

MODEL CHECKING; PARAMETER ESTIMATION; PARAMETERIZATION; SOFTWARE RELIABILITY;

SYSTEMATIC PROGRAM ANALYSIS; BOUNDED MODEL; INTERNATIONAL CONFERENCES; PARAMETERIZED; SYSTEMATIC PROGRAM; UNIT TESTING;

SOFTWARE TESTING; TESTING;

EID: 43149102736     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-79124-9_12     Document Type: Conference Paper

References (6)

1. Mackinnon, T., Freeman, S., Craig, P.: Endotesting: Unit testing with mock objects. In: XP 2000 (May 2000)
2. Pex development team. Pex (2007), http://research.microsoft.com/Pex
3. Saff, D., Artzi, S., Perkins, J.H., Ernst, M.D.: Automatic test factoring for Java. In: Proc. 20th ASE, pp. 114-123. ACM Press, New York (2005)
4. Saff, D., Boshernitsan, M., Ernst, M.D.: Theories in practice: Easy-to-write specifications that catch bugs. Technical Report MIT-CSAIL-TR-2008-002, MIT Computer Science and Artificial Intelligence Laboratory, Cambridge, MA, January 14 (2008)
5. 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)
6. Wiki. Mock objects, http://www.mockobjects.com