2132 search results - page 160 / 427 » Automated software winnowing |
124
click to vote
DGO
2011
13 years 11 months ago
2011
The past few years have experienced an explosive growth in scientific and regulatory documents related to the patent system. Relevant information is siloed into many heterogeneous...
103
click to vote
VSTTE
2012
Springer
13 years 6 months ago
2012
Springer
Motivated by the problem of deciding verification conditions for the verification of functional programs, we present new decision procedures for automated reasoning about functio...
125
click to vote
ISSTA
2012
ACM
13 years 1 months ago
2012
ACM
Manual debugging is driven by experiments—test runs that narrow down failure causes by systematically confirming or excluding individual factors. The BUGEX approach leverages t...
ICSM
2008
IEEE
15 years 5 months ago
2008
IEEE
Since manual black-box testing of GUI-based APplications (GAPs) is tedious and laborious, test engineers create test scripts to automate the testing process. These test scripts in...
PFE
2001
Springer
15 years 3 months ago
2001
Springer
Although software mass customization offers the potential for order-of-magnitude improvements in software engineering performance, the up-front cost, level of effort, assumed risk,...