3736 search results - page 457 / 748 » Generative Programming |
191
click to vote
PASTE
2005
ACM
15 years 12 months ago
2005
ACM
Forward symbolic execution is a program analysis technique that allows using symbolic inputs to explore program executions. The traditional applications of this technique have foc...
160
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Quantitative proteomics technologies have been developed to comprehensively identify and quantify proteins in two or more complex samples. Quantitative proteomics base...
161
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: Most software packages for whole genome association studies are non-graphical, purely text based programs originally designed to run with UNIX-like operating systems. ...
178
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
As Web sites are now ordinary products, it is necessary to explicit the notion of quality of a Web site. The quality of a site may be linked to the easiness of accessibility and a...
170
click to vote
KBSE
2009
IEEE
16 years 1 months ago
2009
IEEE
—We investigate claims and assumptions made in several recent papers about fault localization (FL) techniques. Most of these claims have to do with evaluating FL accuracy. Our in...