36 search results - page 6 / 8 » Fully Automatic Test Program Generation for Microprocessor C... |
132
click to vote
RTAS
2009
IEEE
15 years 9 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
114
Voted
DAGSTUHL
2004
15 years 3 months ago
2004
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
146
click to vote
ASPLOS
2004
ACM
15 years 7 months ago
2004
ACM
Embedded software must meet conflicting requirements such as being highly reliable, running on resource-constrained platforms, and being developed rapidly. Static program analysi...
143
click to vote
PLDI
2009
ACM
15 years 9 months ago
2009
ACM
Multicore designs have emerged as the mainstream design paradigm for the microprocessor industry. Unfortunately, providing multiple cores does not directly translate into performa...
135
Voted
SP
2010
IEEE
15 years 6 months ago
2010
IEEE
—Fuzz testing has proven successful in finding security vulnerabilities in large programs. However, traditional fuzz testing tools have a well-known common drawback: they are in...