Files in this item

FilesDescriptionFormat

application/pdf

application/pdf3242987.pdf (5MB)Restricted to U of Illinois
(no description provided)PDF

Description

Title:Scalable Automated Methods for Dynamic Program Analysis
Author(s):Sen, Koushik
Doctoral Committee Chair(s):Agha, Gul A.
Department / Program:Computer Science
Discipline:Computer Science
Degree Granting Institution:University of Illinois at Urbana-Champaign
Degree:Ph.D.
Genre:Dissertation
Subject(s):Computer Science
Abstract:Based on the above methods we have developed tools for testing both C and Java programs. We have used the tools to find bugs in several real-world software systems including SGLIB, a popular C data structure library used in a commercial tool, implementations of the Needham-Schroeder protocol and the TMN protocol, the scheduler of Honeywell's DEOS real-time operating system, and the Sum Microsystems' JDK 1.4 collection framework.
Issue Date:2006
Type:Text
Language:English
Description:129 p.
Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2006.
URI:http://hdl.handle.net/2142/81740
Other Identifier(s):(MiAaPQ)AAI3242987
Date Available in IDEALS:2015-09-25
Date Deposited:2006


This item appears in the following Collection(s)

Item Statistics