我的阅读状态 （保存写回仓库，全设备同步；首次保存需输入访问令牌）

AI 速览

一句话：该仓库提供论文《Simulink 模型的测试套件生成：使用 Reactis 的经验》的复现材料。

该论文关注 Simulink 模型的测试套件生成，并以 Reactis 为经验对象，探索模型级测试生成工具在实践中的应用。所提供的英文摘要仅为复现材料说明，指出该仓库包含论文的复现材料，用于支持论文实验结果的重现。由于摘要未给出具体的技术路线、实验设置与量化结果，无法进一步概括其方法细节和关键发现。整体上，这项工作属于基于模型的测试生成与工具经验报告，复现材料有助于验证论文结论、促进后续比较与可重复性研究。

问题

如何为 Simulink 模型生成测试套件，以及 Reactis 在该任务中的经验表现。

方法

论文以 Reactis 为工具开展针对 Simulink 模型测试套件生成的经验研究（具体技术细节未在给定摘要中说明）。

评估

通过仓库提供复现材料，以支持论文实验与结果的重现。

链接与引用

DOI 原文 · PDF（开放获取） ·

@inproceedings{paperbot12600,
  title = {Test Suite Generation for Simulink Models: An Experience with Reactis},
  author = {Andrea Bombarda and Nunzio Marco Bisceglia and Marco Saini and Federico Formica and Angelo Gargantini and Claudio Menghi},
  booktitle = {ASE},
  year = {2026},
  doi = {10.1145/3832783.3834483}
}