355 search results - page 68 / 71 » Validation and Test Generation for Object-Oriented Distribut... |
POPL
2003
ACM
14 years 8 months ago
2003
ACM
There is significant room for improving users' experiences with model checking tools. An error trace produced by a model checker can be lengthy and is indicative of a symptom...
ISSTA
2012
ACM
11 years 11 months ago
2012
ACM
Identifying and fixing defects is a crucial and expensive part of the software lifecycle. Measuring the quality of bug-fixing patches is a difficult task that affects both func...
ASPLOS
2004
ACM
14 years 1 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...
ISORC
2000
IEEE
14 years 27 days ago
2000
IEEE
We describe a real-time, component-based system for an inspection application. We chose the inspection application and the accompanying task (or scenario) so that we might fully e...
EMSOFT
2009
Springer
14 years 3 months ago
2009
Springer
While NAND flash memories have rapidly increased in both capacity and performance and are increasingly used as a storage device in many embedded systems, their reliability has de...