2774 search results - page 219 / 555 » Query-Driven Program Testing |
128
click to vote
CPHYSICS
2006
15 years 3 months ago
2006
The WATERWAVES program suite performs complex scattering calculations by propagating a wave packet in a complex, full-dimensional potential for non-rotating (J = 0) but vibrating ...
105
click to vote
APLAS
2009
ACM
15 years 9 months ago
2009
ACM
We propose a type system for a programming language with memory allocation/deallocation primitives, which prevents memory-related errors such as double-frees and memory leaks. The ...
129
click to vote
KBSE
2008
IEEE
15 years 9 months ago
2008
IEEE
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
108
click to vote
GECCO
2007
Springer
15 years 9 months ago
2007
Springer
In this paper, we provide an algorithm that systematically considers all small trees in the search space of genetic programming. These small trees are used to generate useful subr...
141
click to vote
ICMCS
2005
IEEE
15 years 8 months ago
2005
IEEE
A method is proposed for viewing broadcast content that converts TV programs into Web content and integrates the results with complementary information retrieved using the Interne...