عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
NATIONAL BIBLIOGRAPHY NUMBER
Number
TL48341
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Automatic test case generation with dynamic symbolic execution for programs that are coded against interfaces and annotations or use native code
General Material Designation
[Thesis]
First Statement of Responsibility
Mainul Islam
Subsequent Statement of Responsibility
Csallner, Christoph
.PUBLICATION, DISTRIBUTION, ETC
Name of Publisher, Distributor, etc.
The University of Texas at Arlington
Date of Publication, Distribution, etc.
2015
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
90
GENERAL NOTES
Text of Note
Committee members: Kung, David; Lei, Jeff; Liu, Donggang
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Place of publication: United States, Ann Arbor; ISBN=978-1-321-89308-3
DISSERTATION (THESIS) NOTE
Dissertation or thesis details and type of degree
Ph.D.
Discipline of degree
Computer Science & Engineering
Body granting the degree
The University of Texas at Arlington
Text preceding or following the note
2015
SUMMARY OR ABSTRACT
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Computer science
UNCONTROLLED SUBJECT TERMS
Subject Term
Applied sciences;Automatic test case generation;Software engineering;Software testing;Software/program reliability;Testing tool
PERSONAL NAME - PRIMARY RESPONSIBILITY
Kim, Youngjun
PERSONAL NAME - SECONDARY RESPONSIBILITY
Csallner, Christoph
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
Subdivision
Computer Science & Engineering
The University of Texas at Arlington
LOCATION AND CALL NUMBER
Call Number
1708647029; 3712459
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب p
[Thesis]
276903
a
Y
