no code implementations • 15 Feb 2020 • Taejoon Byun, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren Cofer
Our approach is based on the premise that patterns in a large input data space can be effectively captured in a smaller manifold space, from which similar yet novel test cases---both the input and the label---can be sampled and generated.
no code implementations • 8 Feb 2020 • Taejoon Byun, Sanjai Rayadurgam
The increasing use of machine-learning (ML) enabled systems in critical tasks fuels the quest for novel verification and validation techniques yet grounded in accepted system assurance principles.
1 code implementation • 11 Jan 2019 • Taejoon Byun, Vaibhav Sharma, Abhishek Vijayakumar, Sanjai Rayadurgam, Darren Cofer
label, for a given input---is high, which significantly impacts the amount and quality of testing that can be performed.