3376 search results - page 23 / 676 » Analyzing Software Evolvability |
102
click to vote
ISSRE
2003
IEEE
15 years 7 months ago
2003
IEEE
Impact analysis – determining the potential effects of changes on a software system – plays an important role in helping engineers re-validate modified software. In previous ...
TACAS
2007
Springer
15 years 8 months ago
2007
Springer
Reasoning about heap-allocated data structures such as linked lists and arrays is challenging. The reachability predicate has proved to be useful for reasoning about the heap in ty...
132
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: New "next generation" DNA sequencing technologies offer individual researchers the ability to rapidly generate large amounts of genome sequence data at drama...
102
click to vote
ICSEA
2007
IEEE
15 years 8 months ago
2007
IEEE
We investigate the trade off between investing effort in improving the features of a research environment that increases productivity and investing such effort in actually conduct...
117
click to vote
ACSAC
2002
IEEE
15 years 6 months ago
2002
IEEE
In this paper we present PEAT: The Portable Executable Analysis Toolkit. It is a software prototype designed to provide a selection of tools that an analyst may use in order to ex...