×

史密斯

swMATH ID: 28506
软件作者: 杨学军;杨晨;埃里克·艾德;约翰·雷格尔
描述: Csmith是一个工具,可以生成静态和动态符合C99标准的随机C程序。它对于压力测试编译器、静态分析器和其他处理C代码的工具非常有用。Csmith在它测试过的每个工具中都发现了错误,我们用它发现并报告了400多个以前未知的编译器错误。Csmith过去叫Randprog。
主页: https://embed.cs.utah.edu/史密斯/
相关软件: jsfunfuzz语言;梅花厅;ACVS公司;Frama-C公司
引用于: 1文件

1位作者引用

1 格尔戈·巴拉尼

0连载引用

在1个字段中引用

1 计算机科学(68至XX)

按年份列出的引文