124 search results - page 12 / 25 » Generating test programs to cover pipeline interactions |
CASES
2007
ACM
14 years 24 days ago
2007
ACM
This paper tackles the problem of providing correct information about program variable values in a software-pipelined loop through a non-transparent debugging approach. Since mode...
AI
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Natural Language Generation (NLG) systems can make data accessible in an easily digestible textual form; but using such systems requires sophisticated linguistic and some...
ERLANG
2008
ACM
13 years 10 months ago
2008
ACM
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...
PLDI
2011
ACM
12 years 11 months ago
2011
ACM
Compilers should be correct. To improve the quality of C compilers, we created Csmith, a randomized test-case generation tool, and spent three years using it to find compiler bug...
ISSTA
2010
ACM
13 years 10 months ago
2010
ACM
Testing object-oriented (OO) software is critical because OO languages are commonly used in developing modern software systems. In testing OO software, one important and yet chall...