6 search results - page 1 / 2 » Automated Error-Prevention and Error-Detection Tools for Ass... |
CAINE
2004
13 years 6 months ago
2004
- Automated tools for error prevention and error detection exist for many high-level languages, but have been nonexistent for assembly-language programs, embedded programs in parti...
KBSE
2010
IEEE
13 years 3 months ago
2010
IEEE
A method is described for automatically repairing legacy software at the assembly code level using evolutionary computation. The technique is demonstrated on Java byte code and x8...
SAMOS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. Systems-on-Chip (SoCs) may be built upon general purpose CPUs or application-specific instruction-set processors (ASIPs). On the one hand, ASIPs allow a tradeoff betwee...
ISSE
2010
13 years 3 months ago
2010
We present a framework, called AIR, for verifying safety properties of assembly language proa software model checking. AIR extends the applicability of predicate abstraction and x...
HOTSWUP
2009
ACM
13 years 9 months ago
2009
ACM
The complexity, cost, and down-time currently created by the database schema evolution process is the source of incessant problems in the life of information systems and a major s...