Cooperative software testing and analysis: Advances and challenges
In recent years, to maximize the value of software testing and analysis, we have proposed
the methodology of cooperative software testing and analysis (in short as cooperative testing …
the methodology of cooperative software testing and analysis (in short as cooperative testing …
Precise identification of problems for structural test generation
An important goal of software testing is to achieve at least high structural coverage. To
reduce the manual efforts of producing such high-covering test inputs, testers or developers …
reduce the manual efforts of producing such high-covering test inputs, testers or developers …
Research on SIMD auto-vectorization compiling optimization
高伟， 赵荣彩， 韩林， 庞建民， 丁锐 - Journal of Software, 2015 - jos.org.cn
SIMD 扩展部件是集成到通用处理器中的加速部件, 旨在发掘多媒体程序和科学计算程序的数据
级并行. 首先介绍 SIMD 扩展部件的背景和研究现状, 然后从发掘方法, 数据布局 …
级并行. 首先介绍 SIMD 扩展部件的背景和研究现状, 然后从发掘方法, 数据布局 …
[PDF][PDF] SIMD 自动向量化编译优化概述
高伟， 赵荣彩， 韩林， 庞建民， 丁锐 - 软件学报, 2015 - jos.org.cn
SIMD 扩展部件是集成到通用处理器中的加速部件, 旨在发掘多媒体程序和科学计算程序的数据
级并行. 首先介绍SIMD 扩展部件的背景和研究现状, 然后从发掘方法, 数据布局 …
级并行. 首先介绍SIMD 扩展部件的背景和研究现状, 然后从发掘方法, 数据布局 …
[图书][B] Error messages as rational reconstructions
T Barik - 2018 - search.proquest.com
Program analysis tools apply elegant algorithms—such as static analysis, model checking,
and type inference—on source code to help developers resolve compiler errors, apply …
and type inference—on source code to help developers resolve compiler errors, apply …
Program metamorphosis
Modern development environments support refactoring by providing atomically behaviour-
preserving transformations. While useful, these transformations are limited in three ways:(i) …
preserving transformations. While useful, these transformations are limited in three ways:(i) …
Integrating program analyses with programmer productivity tools
D von Dincklage, A Diwan - Software: Practice and Experience, 2011 - Wiley Online Library
Because software continues to grow in size and complexity, programmers increasingly rely
on productivity tools to understand, debug, and modify their programs. These tools typically …
on productivity tools to understand, debug, and modify their programs. These tools typically …
Optimizing programs with intended semantics
D von Dincklage, A Diwan - Proceedings of the 24th ACM SIGPLAN …, 2009 - dl.acm.org
Modern object-oriented languages have complex features that cause programmers to
overspecify their programs. This overspecification hinders automatic optimizers, since they …
overspecify their programs. This overspecification hinders automatic optimizers, since they …
Problem identification for structural test generation: first step towards cooperative developer testing
X Xiao - Proceedings of the 33rd International Conference on …, 2011 - dl.acm.org
Achieving high structural coverage is an important goal of software testing. Instead of
manually producing high-covering test inputs that achieve high structural coverage, testers …
manually producing high-covering test inputs that achieve high structural coverage, testers …
[PDF][PDF] One λ at a time: What do we know about presenting human-friendly output from program analysis tools?
Program analysis tools perform sophisticated analysis on source code to help programmers
resolve compiler errors, apply optimizations, and identify security vulnerabilities. Despite the …
resolve compiler errors, apply optimizations, and identify security vulnerabilities. Despite the …