2132 search results - page 236 / 427 » Automated software winnowing |
159
click to vote
SCAM
2007
IEEE
15 years 11 months ago
2007
IEEE
This paper presents an implementation of the “form template method” refactoring. This transformation has not been automated yet, but has many similarities with other transform...
156
click to vote
AUIC
2006
IEEE
15 years 11 months ago
2006
IEEE
• This paper describes techniques for visualising pairs of similar trees. Our aim is to develop ways of presenting the information so as to highlight both the common structure of...
148
click to vote
ISSRE
2006
IEEE
15 years 11 months ago
2006
IEEE
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...
161
click to vote
WCRE
2006
IEEE
15 years 11 months ago
2006
IEEE
Requirements views, such as coverage and status views, are an important asset for monitoring and managing software development. We have developed a method that automates the proce...
113
click to vote
COMPSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
Buffer overrun vulnerabilities cause significant security problems, and have proven to be difficult to prevent. In this paper we present a novel approach to tackling the problem...