{"id":{"repo_id":"uiuc","oai_identifier":"oai:www.ideals.illinois.edu:2142/46910"},"canonical_url":"https://search.dev.ndltd.org/etd/uiuc/oai:www.ideals.illinois.edu:2142/46910","repository":{"repo_id":"uiuc","name":"University of Illinois - Urbana-Champaign","base_url":"https://www.ideals.illinois.edu/oai-pmh"},"display":{"title":"Preparation-free and comprehensive runtime verification tool for testing Java programs","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.","abstract_html":"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.","abstract_has_math":false,"creators":["Lee, Choonghwan"],"institution":"University of Illinois at Urbana-Champaign","degree_name":"Ph.D.","degree_level":"Dissertation","degree_discipline":"Computer Science","degree_department":null,"school":null,"contributors":["Rosu, Grigore","Marinov, Darko","Viswanathan, Mahesh","Xie, Tao"],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2014,"date_issued":"2014-01-16T18:26:04Z","date_published":"2014-01-16T18:26:04Z","updated_at":"2026-07-22T22:25:38Z","subjects":["parametric specification","specification mining","runtime verification"],"languages":["en"],"rights":["Copyright 2013 Choonghwan Lee"],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/2142/46910","outbound_label":"Handle","outbound_source":"dc:identifier"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor","label":"Contributor","values":["Rosu, Grigore","Marinov, Darko","Viswanathan, Mahesh","Xie, Tao"]},{"key":"dc:creator","label":"Author","values":["Lee, Choonghwan"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2014-01-16T18:26:04Z","2016-01-16T11:01:23Z","2013-12"]},{"key":"dc:type","label":"Dc Type","values":["text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Computer Science"]},{"key":"thesis:degree_level","label":"Degree Level","values":["Dissertation"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph.D."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["University of Illinois at Urbana-Champaign"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["parametric specification","specification mining","runtime verification"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["en"]},{"key":"dc:rights","label":"Dc Rights","values":["Copyright 2013 Choonghwan Lee"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier","label":"Identifier","values":["http://hdl.handle.net/2142/46910"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["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.","Item withdrawn by Mark Zulauf (zulauf@illinois.edu) on 2013-12-02T16:05:07Z Item was in collections: University of Illinois Theses & Dissertations (ID: 1) No. of bitstreams: 1 Lee_Choonghwan.pdf: 534858 bytes, checksum: 00eeffab37702c71a3742f08720d16f0 (MD5)","Made available in DSpace on 2014-01-16T18:26:04Z (GMT). No. of bitstreams: 2 Choonghwan_Lee.pdf: 534858 bytes, checksum: 00eeffab37702c71a3742f08720d16f0 (MD5) license.txt: 4062 bytes, checksum: bebd2949ece5d9043da56aaced3dc1a9 (MD5)","Item marked as restricted to the 'Administrator' Group (id=1) by Seth Robbins (robbins.sd@gmail.com) on 2014-01-16T18:27:35Z Item is restricted until 2016-01-16T18:27:27Z","Restriction data tranferred 2014-07-01T11:36:47-05:00 Original Data Group with Access Administrator Release Date: 2016-01-16 12:27:27 UTC Reason: Author requested closed access (OA after 2yrs) in Vireo ETD system","Limited Restriction Lifted for Item 46929 on 2016-01-16T11:01:23Z."]},{"key":"dc:title","label":"Title","values":["Preparation-free and comprehensive runtime verification tool for testing Java programs"]}]}],"canonical_facts":{"dc:contributor":["Rosu, Grigore","Marinov, Darko","Viswanathan, Mahesh","Xie, Tao"],"dc:creator":["Lee, Choonghwan"],"dc:date":["2014-01-16T18:26:04Z","2016-01-16T11:01:23Z","2013-12"],"dc:description":["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.","Item withdrawn by Mark Zulauf (zulauf@illinois.edu) on 2013-12-02T16:05:07Z Item was in collections: University of Illinois Theses & Dissertations (ID: 1) No. of bitstreams: 1 Lee_Choonghwan.pdf: 534858 bytes, checksum: 00eeffab37702c71a3742f08720d16f0 (MD5)","Made available in DSpace on 2014-01-16T18:26:04Z (GMT). No. of bitstreams: 2 Choonghwan_Lee.pdf: 534858 bytes, checksum: 00eeffab37702c71a3742f08720d16f0 (MD5) license.txt: 4062 bytes, checksum: bebd2949ece5d9043da56aaced3dc1a9 (MD5)","Item marked as restricted to the 'Administrator' Group (id=1) by Seth Robbins (robbins.sd@gmail.com) on 2014-01-16T18:27:35Z Item is restricted until 2016-01-16T18:27:27Z","Restriction data tranferred 2014-07-01T11:36:47-05:00 Original Data Group with Access Administrator Release Date: 2016-01-16 12:27:27 UTC Reason: Author requested closed access (OA after 2yrs) in Vireo ETD system","Limited Restriction Lifted for Item 46929 on 2016-01-16T11:01:23Z."],"dc:identifier":["http://hdl.handle.net/2142/46910"],"dc:language":["en"],"dc:rights":["Copyright 2013 Choonghwan Lee"],"dc:subject":["parametric specification","specification mining","runtime verification"],"dc:title":["Preparation-free and comprehensive runtime verification tool for testing Java programs"],"dc:type":["text"],"thesis:degree_discipline":["Computer Science"],"thesis:degree_level":["Dissertation"],"thesis:degree_name":["Ph.D."],"thesis:institution_name":["University of Illinois at Urbana-Champaign"]},"updated_at":"2026-07-22T22:25:38Z"}