932 search results - page 69 / 187 » Software Reliability Engineering: A Roadmap |
107
click to vote
OOPSLA
2010
Springer
14 years 10 months ago
2010
Springer
Glass box software model checking incorporates novel techniques to identify similarities in the state space of a model checker and safely prune large numbers of redundant states w...
134
click to vote
CODES
2009
IEEE
15 years 5 months ago
2009
IEEE
Performance estimation of Multi-Processor System-On-Chip (MPa high abstraction level is required in order to perform early architecture exploration and accurate design validations...
111
click to vote
ICSE
2005
IEEE-ACM
16 years 20 days ago
2005
IEEE-ACM
With the advances of robotics, computer science, and other related areas, home service robots attract much attention from both academia and industry. Home service robots consists ...
96
Voted
DAGSTUHL
2006
15 years 2 months ago
2006
This paper presents novel language and analysis techniques that significantly speed up software model checking of data structure properties. Consider checking a red-black tree imp...
113
Voted
EUROSYS
2010
ACM
15 years 9 months ago
2010
ACM
Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn int...