2212 search results - page 175 / 443 » Automated software wrapping |
162
click to vote
VSTTE
2012
Springer
14 years 2 days 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...
184
click to vote
ISSTA
2012
ACM
13 years 7 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...
143
click to vote
ICSM
2008
IEEE
15 years 11 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...
146
click to vote
PFE
2001
Springer
15 years 9 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,...
123
click to vote
CSMR
2005
IEEE
15 years 10 months ago
2005
IEEE
A domain-specific visual language, Function Block Language (FBL), is used in Metso Automation for writing automation control programs. The same engineering environment is used for...