Software Engineering Empirical Research Radar

Test Case Generation for Simulink Models using Model Fuzzing and State Solving.

Paper detail page in SEER Radar.

Authors

Zhuo Su 0005, Zehong Yu, Dongyan Wang, Wanli Chang 0001, Bin Gu 0006, Yu Jiang 0001

Venue / Year

ASE 2024

Topics

Testing / QA

Abstract / Summary

Summary pending. This page currently provides paper metadata; an abstract or short summary will be added when available.

External Links

DOI / Publisher

PDF

Local PDF is not available on SEER Radar yet. When a public source is recorded, this page will add a local reading link with source attribution.