Search: onr:"swepub:oai:research.chalmers.se:ed5c77c7-1827-49b8-aa60-71b1d38fb6ca" >
SINVAD: Search-base...
SINVAD: Search-based Image Space Navigation for DNN Image Classifier Test Input Generation
-
- Kang, Sungmin (author)
- Korea Advanced Institute of Science and Technology (KAIST)
-
- Feldt, Robert, 1972 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Yoo, Shin (author)
- Korea Advanced Institute of Science and Technology (KAIST)
-
(creator_code:org_t)
- 2020-09-25
- 2020
- English.
-
In: Proceedings - 2020 IEEE/ACM 42nd International Conference on Software Engineering Workshops, ICSEW 2020. - New York, NY, USA : ACM. ; , s. 521-528
- Related links:
-
https://research.cha...
-
show more...
-
https://doi.org/10.1...
-
show less...
Abstract
Subject headings
Close
- The testing of Deep Neural Networks (DNNs) has become increasingly important as DNNs are widely adopted by safety critical systems. While many test adequacy criteria have been suggested, automated test input generation for many types of DNNs remains a challenge because the raw input space is too large to randomly sample or to navigate and search for plausible inputs. Consequently, current testing techniques for DNNs depend on small local perturbations to existing inputs, based on the metamorphic testing principle. We propose new ways to search not over the entire image space, but rather over a plausible input space that resembles the true training distribution. This space is constructed using Variational Autoencoders (VAEs), and navigated through their latent vector space. We show that this space helps efficiently produce test inputs that can reveal information about the robustness of DNNs when dealing with realistic tests, opening the field to meaningful exploration through the space of highly structured images.
Subject headings
- TEKNIK OCH TEKNOLOGIER -- Samhällsbyggnadsteknik -- Geoteknik (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Civil Engineering -- Geotechnical Engineering (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datorseende och robotik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Vision and Robotics (hsv//eng)
Keyword
- Test Data Generation
- Search-based Software Engineering
- Neural Network
Publication and Content Type
- kon (subject category)
- ref (subject category)
To the university's database