Files in this item



application/pdfChoonghwan_Lee.pdf (535kB)
(no description provided)PDF


Title:Preparation-free and comprehensive runtime verification tool for testing Java programs
Author(s):Lee, Choonghwan
Director of Research:Rosu, Grigore
Doctoral Committee Chair(s):Rosu, Grigore
Doctoral Committee Member(s):Marinov, Darko; Viswanathan, Mahesh; Xie, Tao
Department / Program:Computer Science
Discipline:Computer Science
Degree Granting Institution:University of Illinois at Urbana-Champaign
Subject(s):parametric specification
specification mining
runtime verification
Abstract:Runtime verification is an effective and accurate technique for ensuring that an execution of a program conform to certain specifications at runtime. Although excessive runtime overhead, one of its main drawbacks, has been alleviated by many recent works, its usefulness seems to be limited by rarely available specifications and non-trivial preparation. This thesis presents research for showing that it is achievable to build a runtime verification system that reveals violations in an execution of a program without requiring any preparation from user's point of view. This attempt is demonstrated by providing a comprehensive set of specifications for a few commonly used Java class library packages, and devising a system that is capable of instrumenting the program under monitoring at runtime. Additionally, this thesis presents an automated specification mining technique, a few optimization techniques for monitoring, and a new runtime monitoring system, designed with modularity in mind, that separates instrumentation, which can be domain-specific, from monitoring. Using the new system, these specifications have been thoroughly tested and the results show that runtime verification is indeed a convenient and efficient means of ensuring the correctness of a program execution.
Issue Date:2014-01-16
Rights Information:Copyright 2013 Choonghwan Lee
Date Available in IDEALS:2014-01-16
Date Deposited:2013-12

This item appears in the following Collection(s)

Item Statistics