7 citations · 9 across the 4 of their papers we have counts for
6 papers
Manifold-based Test Generation for Image Classifiers
Taejoon Byun, Abhishek Vijayakumar, Sanjai Rayadurgam +1
Neural networks used for image classification tasks in critical applications must be tested with sufficient realistic data to assure their correctness. To effectively test an image…
Input Prioritization for Testing Neural Networks
Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar +2
Deep neural networks (DNNs) are increasingly being adopted for sensing and control functions in a variety of safety and mission-critical systems such as self-driving cars, autonomo…
From Design Contracts to Component Requirements Verification
Jing Liu, John D. Backes, Darren Cofer +1
During the development and verification of complex airborne systems, a variety of languages and development environments are used for different levels of the system hierarchy. As a…
Requirements Analysis of a Quad-Redundant Flight Control System
John Backes, Darren Cofer, Steven Miller +1
In this paper we detail our effort to formalize and prove requirements for the Quad-redundant Flight Control System (QFCS) within NASA's Transport Class Model (TCM). We use a compo…
Towards Realizability Checking of Contracts using Theories
Andrew Gacek, Andreas Katis, Michael W. Whalen +2
Virtual integration techniques focus on building architectural models of systems that can be analyzed early in the design cycle to try to lower cost, reduce risk, and improve quali…
Resolute: An Assurance Case Language for Architecture Models
Andrew Gacek, John Backes, Darren Cofer +2
Arguments about the safety, security, and correctness of a complex system are often made in the form of an assurance case. An assurance case is a structured argument, often represe…