16725 search results - page 309 / 3345 » Engineering Software Correctness |
171
click to vote
SERP
2007
15 years 5 months ago
2007
- Since the advent of model driven software engineering (MDSE) it has become necessary to develop techniques and tools for model evolution. In this paper we examine two issues and ...
154
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
—Automated tests are important for Web applications as they grow more complex day by day. Web application testing frameworks have emerged to help satisfy this need. However, used...
136
click to vote
SCAM
2007
IEEE
15 years 10 months ago
2007
IEEE
SUDS is a powerful infrastructure for creating dynamic bug detection tools. It contains phases for both static analysis and dynamic instrumentation allowing users to create tools ...
140
click to vote
WCRE
2003
IEEE
15 years 9 months ago
2003
IEEE
The process of software reverse engineering commonly uses an extractor, which parses source code and extracts facts about the code. The level of detail in these facts varies from ...
121
click to vote
KBSE
2008
IEEE
15 years 10 months ago
2008
IEEE
Code completion is a widely used productivity tool. It takes away the burden of remembering and typing the exact names of methods or classes: As a developer starts typing a name, ...