Dsc+Mock: A test case + mock class generator in support of coding against interfaces

Proceedings of the 2010 Workshop on Dynamic Analysis, WODA 2010

Volumn , Issue , 2010, Pages 26-31

  Islam, Mainul ^a   Csallner, Christoph ^a  

^a University of Texas at Arlington   (United States)

Author keywords

Dynamic symbolic execution; Method body generation; Mock class generation; Test case generation

Indexed keywords

CLASS GENERATION; CODE COVERAGE; CURRENT TEST; DYNAMIC EXECUTION; DYNAMIC SYMBOLIC EXECUTIONS; METHOD BODY GENERATION; NOVEL TECHNIQUES; OBJECT-ORIENTED PROGRAM; PROTOTYPE IMPLEMENTATIONS; SUPPORT TESTING; TEST CASE; TEST CASE GENERATION;

OBJECT ORIENTED PROGRAMMING; TESTING;

DYNAMIC ANALYSIS;

EID: 78649795853     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1868321.1868326     Document Type: Conference Paper

References (10)

1. C. Cadar, V. Ganesh, P. M. Pawlowski, D. L. Dill, and D. R. Engler. Exe: Automatically generating inputs of death. In Proc. 13th ACM Conference on Computer and Communications Security (CCS), pages 322-335. ACM, Oct. 2006.
2. C. Csallner and Y. Smaragdakis. JCrasher: An automatic robustness tester for Java. Software-Practice & Experience, 34(11):1025-1050, Sept. 2004.
3. C. Csallner and Y. Smaragdakis. Check 'n' Crash: Combining static checking and testing. In Proc. 27th ACM/IEEE International Conference on Software Engineering (ICSE), pages 422-431. ACM, May 2005.
4. P. Godefroid, N. Klarlund, and K. Sen. Dart: Directed automated random testing. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 213-223. ACM, June 2005.
5. J. Gosling, B. Joy, G. L. Steele, and G. Bracha. The Java Language Specification. Prentice Hall, third edition, June 2005.
6. J. C. King. Symbolic execution and program testing. Communications of the ACM, 19(7):385-394, 1976.
7. Microsoft Corporation. Unit Testing with Microsoft Moles, Mar. 2010. http://research.microsoft.com/en-us/projects/pex/molestutorial.pdf.
8. L. d. Moura and N. Bjørner. Z3: An efficient SMT solver. In Proc. 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pages 337-340. Springer, Apr. 2008.
9. D. L. Parnas. On the criteria to be used in decomposing systems into modules. Communications of the ACM, 15(12):1053-1058, Dec. 1972.
10. N. Tillmann and J. de Halleux. Pex - white box test generation for .Net. In Proc. 2nd International Conference on Tests And Proofs (TAP), pages 134-153. Springer, Apr. 2008.