905 search results - page 16 / 181 » Code Generator Testing in Practice |
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
The Java-UML Lightweight Enumerator (JULE) tool implements a vitally important aspect of the framework for software tool certification - test suite generation. The framework uses ...
ISMVL
2005
IEEE
14 years 3 months ago
2005
IEEE
It is believed that quantum computing will begin to have a practical impact in industry around year 2010. We propose an approach to test generation and fault localization for a wi...
COMPSAC
1996
IEEE
14 years 2 months ago
1996
IEEE
This paper discusses how conventional testing criteria such as branch coverage can be applied for the testing of member functions inside a class. To support such testing technique...
KBSE
2010
IEEE
13 years 8 months ago
2010
IEEE
Software testing has been commonly used in assuring the quality of database applications. It is often prohibitively expensive to manually write quality tests for complex database ...
SIGSOFT
2007
ACM
14 years 10 months ago
2007
ACM
We present novel algorithms for parallel testing of code that takes structurally complex test inputs. The algorithms build on the Korat algorithm for constraint-based generation o...