Taejoon Byun -

Registered user since Mon 12 Jun 2017

Name:Taejoon Byun

Affiliation:University of Minnesota

Contributions

2025

ICSE

Author of Formally Verified Cloud-Scale Authorization within the Research Track-track

2020

ICSE

Author of Property-based Testing for LG Home Appliances using Accelerated Software-in-the-Loop Simulation within the Software Engineering in Practice-track
Author of Manifold for Machine Learning Assurance within the New Ideas and Emerging Results-track

2018

ESEC/FSE

Author of Contract Discovery from Black-Box Components within the WASPI-track

2017

ISSTA

Author of Discovering Instructions for Robust Binary-Level Coverage Criteria within the TECPS-track