4029 search results - page 454 / 806 » Experience with Software Watermarking |
187
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
Java PathFinder (JPF) is a popular model checker for Java programs. JPF was used to generate object graphs as test inputs for object-oriented programs. Specifically, JPF was used...
165
click to vote
ICST
2009
IEEE
16 years 1 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...
178
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
Aspect-oriented programming (AOP) languages introduce new constructs that can lead to new types of faults, which must be targeted by testing techniques. In particular, AOP languag...
146
click to vote
IWPC
2009
IEEE
16 years 1 months ago
2009
IEEE
Identification of design patterns can deliver important information to designers. Therefore, automated design pattern detection (DPD) is highly desirable when it comes to underst...
181
click to vote
IWPC
2009
IEEE
16 years 1 months ago
2009
IEEE
Understanding aspect-oriented systems, without appropriate tool support, is a difficult and a recognized problem in the research community. Surprisingly, little has been done to ...