|
" Automatic test case generation with dynamic symbolic execution for programs that are coded against interfaces and annotations or use native code "
Mainul Islam
Csallner, Christoph
| Document Type
|
:
|
Latin Dissertation
|
| Language of Document
|
:
|
English
|
| Record Number
|
:
|
803548
|
| Doc. No
|
:
|
TL48341
|
| Call number
|
:
|
1708647029; 3712459
|
| Main Entry
|
:
|
Kim, Youngjun
|
| Title & Author
|
:
|
Automatic test case generation with dynamic symbolic execution for programs that are coded against interfaces and annotations or use native code\ Mainul IslamCsallner, Christoph
|
| College
|
:
|
The University of Texas at Arlington
|
| Date
|
:
|
2015
|
| Degree
|
:
|
Ph.D.
|
| field of study
|
:
|
Computer Science & Engineering
|
| student score
|
:
|
2015
|
| Page No
|
:
|
90
|
| Note
|
:
|
Committee members: Kung, David; Lei, Jeff; Liu, Donggang
|
| Note
|
:
|
Place of publication: United States, Ann Arbor; ISBN=978-1-321-89308-3
|
| Abstract
|
:
|
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 programs is very powerful but suffers from a key limitation. That is, most current test case generation techniques fail to cover testee code when covering that code requires additional pieces of code that are not yet part of the program under test. To address some of these cases, the Pex state-of-the-art test case generator can generate basic mock code. However, current test case generators cannot handle cases in which the code under test uses multiple interfaces, annotations, or reflection.
|
| Subject
|
:
|
Computer science
|
| Descriptor
|
:
|
Applied sciences;Automatic test case generation;Software engineering;Software testing;Software/program reliability;Testing tool
|
| Added Entry
|
:
|
Csallner, Christoph
|
| Added Entry
|
:
|
Computer Science EngineeringThe University of Texas at Arlington
|
| |