2132 search results - page 236 / 427 » Automated software winnowing |
175
click to vote
SCAM
2007
IEEE
16 years 22 days 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...
181
click to vote
AUIC
2006
IEEE
16 years 16 days 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...
166
click to vote
ISSRE
2006
IEEE
16 years 14 days 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...
175
click to vote
WCRE
2006
IEEE
16 years 14 days 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...
136
click to vote
COMPSAC
2005
IEEE
16 years 2 days 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...