115 citations · 413 across the 23 of their papers we have counts for
Showing 2016Show all
3 papers · 1 filter
cs.PL2016★ 4 cited
Mathematical Execution: A Unified Approach for Testing Numerical Code
Zhoulai Fu, Zhendong Su
This paper presents Mathematical Execution (ME), a new, unified approach for testing numerical code. The key idea is to (1) capture the desired testing objective via a representing…
cs.PL2016★ 3 cited
Skeletal Program Enumeration for Rigorous Compiler Testing
Qirun Zhang, Chengnian Sun, Zhendong Su
A program can be viewed as a syntactic structure P (syntactic skeleton) parameterized by a collection of the identifiers V (variable names). This paper introduces the skeletal prog…
cs.SE2016
Toward Rapid Transformation of Ideas into Software
Mehrdad Afshari, Zhendong Su
A key mission of computer science is to enable people realize their creative ideas as naturally and painlessly as possible. Software engineering is at the center of this mission --…