Search Results - "Byun, Taejoon"

Toward Rigorous Object-Code Coverage Criteria by Taejoon Byun, Sharma, Vaibhav, Rayadurgam, Sanjai, McCamant, Stephen, Heimdahl, Mats P. E.

“…Object-branch coverage (OBC) is often used as a measure of the thoroughness of tests suites, augmenting or substituting source-code based structural criteria…”
Get full text

Input Prioritization for Testing Neural Networks by Byun, Taejoon, Sharma, Vaibhav, Vijayakumar, Abhishek, Rayadurgam, Sanjai, Cofer, Darren

“…Deep neural networks (DNNs) are increasingly being adopted for sensing and control functions in a variety of safety and mission-critical systems such as…”
Get full text

Property-based Code Slicing for Efficient Verification of OSEK/VDX Operating Systems by Park, Mingyu, Byun, Taejoon, Choi, Yunja

“…Testing is a de-facto verification technique in industry, but insufficient for identifying subtle issues due to its optimistic incompleteness. On the other…”
Get full text

Manifold for Machine Learning Assurance by Byun, Taejoon, Rayadurgam, Sanjai

“…The increasing use of machine-learning (ML) enabled systems in critical tasks fuels the quest for novel verification and validation techniques yet grounded in…”
Get full text

Soluble and transparent poly(amide-imide)s with ultra-low coefficients of thermal expansion by Byun, Taejoon, Kim, Seong Jong, Kim, Sang Youl

“…Transparent and soluble poly(amide-imide)s (PAIs) with high dimensional stability were synthesized from the monomer consisting of a dibenzodioxin skeleton. The…”
Get full text

Constraint-based test generation for automotive operating systems by Choi, Yunja, Byun, Taejoon

“…This work suggests a method for systematically constructing a software-level environment model for safety checking automotive operating systems by introducing…”
Get full text

Highly Transparent Aromatic Polyamides from Unsymmetrical Diamine with Trifluoromethyl Groups by Kim, Seong Jong, Kang, Inah, Byun, Taejoon, So, Jongho, Kim, Sang Youl

“…Soluble and transparent wholly aromatic polyamides (PAs) were synthesized from an unsymmetrical diamine monomer having trifluoromethyl (CF ) groups,…”
Get full text

Soluble Poly(amide-imide)s from Diamide-Diamine Monomer with Trifluoromethyl Groups by Byun, Taejoon, Kim, Seong Jong, Kim, Sang Youl

“…A series of soluble aromatic poly(amide-imide)s (PAIs) was prepared from a new diamide-diamine monomer having biphenyl units with two CF groups. The…”
Get full text

Black-Box Testing of Deep Neural Networks by Byun, Taejoon, Rayadurgam, Sanjai, Heimdahl, Mats P.E.

“…Several test adequacy criteria have been developed for quantifying the the coverage of deep neural networks (DNNs) achieved by a test suite. Being dependent on…”
Get full text

Property-based Testing for LG Home Appliances using Accelerated Software-in-the-Loop Simulation by Park, Mingyu, Jang, Hoon, Byun, Taejoon, Choi, Yunja

“…As LG home appliances promise more convenience features to end-users, the complexity of their control software is also increasing, creating a higher pressure…”
Get full text

Poly(amide-imide) materials for transparent and flexible displays by Kim, Sun Dal, Lee, Byungyong, Byun, Taejoon, Chung, Im Sik, Park, Jongmin, Shin, Isaac, Ahn, Nam Young, Seo, Myungeun, Lee, Yunho, Kim, Yeonjoon, Kim, Woo Youn, Kwon, Hyukyun, Moon, Hanul, Yoo, Seunghyup, Kim, Sang Youl

“…The key component currently missing for the next generation of transparent and flexible displays is a high-performance polymer material that is flexible, while…”
Get full text

Efficient safety checking for automotive operating systems using property-based slicing and constraint-based environment generation by Choi, Yunja, Park, Mingyu, Byun, Taejoon, Kim, Dongwoo

Get full text

Rigid-Rod Polyamides from 3,3′-bis­(trifluoromethyl)-4,4′-diamino-1,1′-biphenyl by Kim, Sun Dal, Byun, Taejoon, Lee, Byungyong, Kim, Sang Youl, Chung, Im Sik

“…A diamine monomer with trifluoromethyl groups, 3,3′‐bis(trifluoromethyl)‐4,4′‐diamino‐1,1′‐biphenyl, is synthesized from 5‐bromo‐2‐nitrobenzotrifluoride with…”
Get full text

Soluble para-linked aromatic polyamides with pendent groups by Lee, Byungyong, Byun, Taejoon, Kim, Sun Dal, Kang, Hyun A., Kim, Sang Youl, Chung, Im Sik

“…A series of para-linked aromatic polyamides having inherent viscosity of 0.51–0.91 dL/g were prepared from 2-trifluoromethyl-4,4′-diaminodiphenyl ether,…”
Get full text

Manifold for Machine Learning Assurance by Byun, Taejoon, Rayadurgam, Sanjai

“…The increasing use of machine-learning (ML) enabled systems in critical tasks fuels the quest for novel verification and validation techniques yet grounded in…”
Get full text

Manifold-based Test Generation for Image Classifiers by Byun, Taejoon, Vijayakumar, Abhishek, Rayadurgam, Sanjai, Cofer, Darren

“…Neural networks used for image classification tasks in critical applications must be tested with sufficient realistic data to assure their correctness. This…”
Get full text

Run-Time Assurance for Learning-Based Aircraft Taxiing by Cofer, Darren, Amundson, Isaac, Sattigeri, Ramachandra, Passi, Arjun, Boggs, Christopher, Smith, Eric, Gilham, Limei, Byun, Taejoon, Rayadurgam, Sanjai

“…Aircraft systems that include learning-enabled components (LECs) and their software implementations are not amenable to verification and certification using…”
Get full text

Transparent poly(amide‐imide)s containing trifluoromethyl groups with high glass transition temperature by Lee, Byungyong, Kim, Sun Dal, Park, Jongmin, Byun, Taejoon, Kim, Seong Jong, Seo, Myungeun, Kim, Sang Youl

“…Soluble and transparent poly(amide‐imide)s (PAIs) with a glass transition temperature over 300 °C were synthesized from the alicyclic diacid monomers…”
Get full text

Manifold-based Test Generation for Image Classifiers by Byun, Taejoon, Vijayakumar, Abhishek, Rayadurgam, Sanjai, Cofer, Darren

“…Neural networks used for image classification tasks in critical applications must be tested with sufficient realistic data to assure their correctness. To…”
Get full text

Input Prioritization for Testing Neural Networks by Byun, Taejoon, Sharma, Vaibhav, Vijayakumar, Abhishek, Rayadurgam, Sanjai, Cofer, Darren

“…Deep neural networks (DNNs) are increasingly being adopted for sensing and control functions in a variety of safety and mission-critical systems such as…”
Get full text