Conferences; Collaboration; Software systems;
机译:基于结构化网格的代码的自动有效多维并行化
机译:电子控制单元的自动生产代码生成
机译:基于幅度变化的发电机组自动发电控制性能评估
机译:芭蕾舞女演员:针对多线程代码的高效随机单元测试的自动生成和聚类
机译:自动测试用例生成具有用于编码接口和注释或使用本机代码编码的程序的动态符号执行
机译:基于自动项目生成引入计算机化的图形存储器测试:Rasch Poisson Counts模型的分析
机译:BALLERINA:针对多线程代码的高效随机单元测试的自动生成和聚类