Department of Computer Science and Engineering, College of Engineering, Guindy, Anna University, Chennai-25, India;
机译:使用C ++元编程的纳米电子学自动对象模型生成
机译:KLOVER:使用符号执行为C和C ++程序自动生成测试
机译:Multirace:多线程C ++程序中的高效实时数据竞争检测
机译:对C ++程序的自动缺陷检测
机译:新奇检测+协同进化=自动问题分解:可扩展遗传编程分类器的框架
机译:使用FABLE自动将Fortran转换为C ++
机译:用于自动验证以C ++编程语言编写的算法的程序