University of Minnesota
Software Engineering Center
/

You are here

Taejoon Byun

Student/Research Assistant
Office Location: 
6-248 Keller Hall
Education: 
  • PhD - Computer Science in University of Minnesota, MN (Sep 2015 - present)
  • MS - Computer Science and Engineering in Kyungpook Natl. Univ., South Korea (Aug 2013- July 2015)

Recent Publications

Toward Rigorous Object-Code Coverage Criteria

Object-branch coverage (OBC) is often used as a measure of the thoroughness of tests suites, augmenting or substituting source-code based structural criteria such as branch coverage and modified condition/decision coverage (MC/DC). In addition, with the increasing use of third-party components for which source-code access may be unavailable, robust object-code coverage criteria are essential to assess how well the components are exercised during testing.

Discovering Instructions for Robust Binary-level Coverage Criteria

Object-Branch Coverage (OBC) is often used to measure e ective- ness of test suites, when source code is unavailable. The traditional OBC de nition can be made more resilient to variations in compil- ers and the structure of generated code by creating more robust de nitions. However nding which instructions should be included in each new de nition is laborious, error-prone, and architecture- dependent. We automate the discovery of instructions to be in- cluded for an improved OBC de nition on the X86 and ARM archi- tectures.