7580 search results - page 1187 / 1516 » Prometheus design tool |
167
click to vote
EMSOFT
2005
Springer
16 years 4 days ago
2005
Springer
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. M...
167
click to vote
VSTTE
2005
Springer
16 years 2 days ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
179
click to vote
VSTTE
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...
171
click to vote
ACMDIS
2004
ACM
16 years 1 days ago
2004
ACM
This paper continues the movement from technology centered to human centered approaches in the study of tasks that involve finding, understanding, and using information, and tools...
171
click to vote
ISSTA
2004
ACM
16 years 1 days ago
2004
ACM
Evolutionary testing is an effective technique for automatically generating good quality test data. However, for structural testing, the technique degenerates to random testing i...