2212 search results - page 234 / 443 » Automated software wrapping |
145
click to vote
ICST
2009
IEEE
16 years 15 days ago
2009
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...
154
click to vote
ICFEM
2009
Springer
16 years 13 days ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...
182
click to vote
WCRE
2008
IEEE
16 years 7 days ago
2008
IEEE
CAPTCHAs are automated Turing tests used to determine if the end-user is human and not an automated program. Users are asked to read and answer Visual CAPTCHAs, which often appear...
159
click to vote
QSIC
2007
IEEE
16 years 4 days ago
2007
IEEE
Web application testers need automated, effective approaches to validate the test results of complex, evolving web applications. In previous work, we developed a suite of automate...
154
click to vote
ACSC
2006
IEEE
15 years 12 months ago
2006
IEEE
Code obfuscation is a relatively new technique of software protection and it works by deterring reverse engineering attempts by malicious users of software. The objective of obfus...