NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks

This paper presents NEUROSPF, a tool for the symbolic analysis of neural networks. Given a trained neural network model, the tool extracts the architecture and model parameters and translates them into a Java representation that is amenable for analysis using the Symbolic PathFinder symbolic executi...

Full description

Bibliographic Details

Published in:	2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) pp. 25 - 28
Main Authors:	Usman, Muhammad, Noller, Yannic, Pasareanu, Corina S., Sun, Youcheng, Gopinath, Divya
Format:	Conference Proceeding
Language:	English
Published:	IEEE 01.05.2021
Subjects:	Analytical models Maintenance engineering Neural networks Software engineering Symbolic Execution Symbolic PathFinder Testing Uniform resource locators
ISBN:	1665412194, 9781665412193
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!