2132 search results - page 222 / 427 » Automated software winnowing |
216
click to vote
DAC
2005
ACM
16 years 6 months ago
2005
ACM
Pointer analysis, a classic problem in software program analysis, has emerged as an important problem to solve in design automation, at a time when complex designs, specified in t...
115
click to vote
ICSE
2009
IEEE-ACM
16 years 6 months ago
2009
IEEE-ACM
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...
180
click to vote
SAC
2009
ACM
16 years 2 days ago
2009
ACM
The number of computational trust models has been increasing rapidly in recent years, yet their applications for automating trust evaluation are still limited. The main obstacle i...
131
click to vote
ICST
2009
IEEE
15 years 12 months 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...
144
click to vote
ICFEM
2009
Springer
15 years 11 months 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, ...