16859 search results - page 279 / 3372 » Generative software development |
199
click to vote
PEPM
2004
ACM
16 years 2 hour ago
2004
ACM
The use of partial evaluation for specializing programs written in imperative languages such as C and Java is hampered by the difficulty of controlling the specialization process....
185
Voted
ICSE
1997
IEEE-ACM
15 years 10 months ago
1997
IEEE-ACM
We propose a framework for “probabilistic functional testing.” The success of a test data set generated according to our method guarantees a certain level of confidence into ...