618 search results - page 34 / 124 » A Practical Program Transformation System for Reverse Engine... |
199
click to vote
CGO
2011
IEEE
14 years 6 months ago
2011
IEEE
—Memory corruption, reading uninitialized memory, using freed memory, and other memory-related errors are among the most difficult programming bugs to identify and fix due to t...
126
click to vote
COMPSAC
2008
IEEE
15 years 3 months ago
2008
IEEE
Model-driven engineering proposes to develop software systems by first creating an executable model of the system design and then transforming this model into an implementation. T...
160
click to vote
DB
2008
15 years 3 months ago
2008
Software testing can benefit from technologies that enable evolution toward increased engineering discipline. In current practice, software developers lack practical means to dete...
102
click to vote
FATES
2003
Springer
15 years 8 months ago
2003
Springer
Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we ...
VMCAI
2005
Springer
15 years 8 months ago
2005
Springer
We present a technique to prove termination of multipath polynomial programs, an expressive class of loops that enables practical traction and analysis. The technique is based on ...