5766 search results - page 736 / 1154 » Reverse Engineering of Data |
155
click to vote
ICSM
2008
IEEE
16 years 1 months ago
2008
IEEE
More than 90% of the cost of software is due to maintenance and evolution. Understanding the evolution of large software systems is a complex problem, which requires the use of va...
167
click to vote
ICST
2008
IEEE
16 years 1 months ago
2008
IEEE
Testing remains a major challenge for model transformation development. Test models that are used as test data for model transformations, are constrained by various sources of kno...
125
click to vote
IWPC
2008
IEEE
16 years 1 months ago
2008
IEEE
Developers rely on the mechanisms provided by their IDE to browse and navigate a large software system. These mechanisms are usually based purely on a system’s static source cod...
153
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Many approaches to software verification are currently semi-automatic: a human must provide key logical insights — e.g., loop invariants, class invariants, and frame axioms tha...
140
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
—Writing correct multithreaded programs is difficult. Existing tools for finding bugs in multithreaded programs primarily focus on finding generic concurrency problems such as...