-
Chapter
Hybrid Differential Software Testing
Differential software testing is important for software quality assurance as it aims to automatically generate test inputs that reveal behavioral differences in software. Detecting regression bugs in software ...
-
Chapter and Conference Paper
NNrepair: Constraint-Based Repair of Neural Network Classifiers
We present NNrepair, a constraint-based technique for repairing neural network classifiers. The technique aims to fix the logic of the network at an intermediate layer or at the last layer. NNrepair first uses fa...
-
Chapter and Conference Paper
Evolutionary Grammar-Based Fuzzing
A fuzzer provides randomly generated inputs to a targeted software to expose erroneous behavior. To efficiently detect defects, generated inputs should conform to the structure of the input format and thus, gramm...
-
Chapter and Conference Paper
Symbolic Pathfinder for SV-COMP
This paper describes the benchmark entry for Symbolic Pathfinder, a symbolic execution tool for Java bytecode. We give a brief description of the tool and we describe the particular run configuration that was ...