Browsing Library by Author "Kung, David C."
Now showing items 1-4 of 4
-
AUTOMATIC TEST CASE GENERATION WITH DYNAMIC SYMBOLIC EXECUTION FOR PROGRAMS THAT ARE CODED AGAINST INTERFACES AND ANNOTATIONS OR USE NATIVE CODE
Islam, Mainul (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 ... -
Exception Handling Using Class Diversity
Ye, Qizhi (Computer Science & Engineering, 2007-08-23)Software reliability has been received more and more attention not only in mission critical system but also in commercial software system. Developing robust software must consider faults caused by abnormal situations or ... -
A Framework For Model Checking Object Oriented Security Protocol Implementations
Singh, Parikshit (Computer Science & Engineering, 2007-08-23)With the rapid growth of the Internet, more and more vendors see the Internet as a viable marketplace. Since the Internet is public, providing security in the presence of malicious intruders has become paramount. Security ... -
STATEFUL DETECTION OF STEALTHY BEHAVIORS IN ANDROID APPS
Junaid, Mohsin; 0000-0002-8928-9917 (2017-08-08)The number of smartphones has increased greatly during the last few years. Among the popular mobile operating systems (such as iOS and Android) installed on these devices, Android captures most of the mobile market share. ...