Search
Now showing items 1-1 of 1
AUTOMATIC TEST CASE GENERATION WITH DYNAMIC SYMBOLIC EXECUTION FOR PROGRAMS THAT ARE CODED AGAINST INTERFACES AND ANNOTATIONS OR USE NATIVE CODE
(University of Texas at Arlington Libraries, 2015-05)
It is important to generate useful test cases to ensure the quality of software programs. Modern software programs are built upon code written in different programming languages. Automatic test case generation for such ...