432 search results - page 58 / 87 » Automated testing of refactoring engines |
104
click to vote
SIGSOFT
2003
ACM
15 years 11 months ago
2003
ACM
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...
KBSE
2010
IEEE
14 years 9 months ago
2010
IEEE
User-input validators play an essential role in guarding a web application against application-level attacks. Hence, the security of the web application can be compromised by defe...
ISSRE
2003
IEEE
15 years 4 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...
76
Voted
TCAD
2010
14 years 5 months ago
2010
Abstract--Functional verification is one of the major bottlenecks in system-on-chip design due to the combined effects of increasing complexity and lack of automated techniques for...
106
click to vote
SAC
2008
ACM
14 years 10 months ago
2008
ACM
In this paper we investigate and propose a fully automated technique to perform conformance checking of Java implementations against UML class diagrams. In our approach, we reused...