Partition Based Differential Testing for Finding Embedded Code Generation Bugs in Simulink.

He Jiang Hongyi Cheng Shikai Guo Xiaochen Li

Published in: DAC (2023)

Keyphrases

code generation
application development
software development
code generator
test cases
control system
modeling language
rapid prototyping
software reuse
software systems
design patterns
formal specification
software engineering
fault diagnosis
web applications
source code
design tools
image analysis