2419 search results - page 306 / 484 » A Formal Approach to Software Testing |
142
click to vote
ASE
2005
15 years 3 months ago
2005
Abstract. Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. The typical approach to verifying propertie...
171
click to vote
SQJ
2010
15 years 2 months ago
2010
One of the main goals of design patterns is to design for change. Many design patterns leave some room for future changes and evolutions. The application of design patterns leads ...
135
click to vote
EMSOFT
2010
Springer
15 years 2 months ago
2010
Springer
SystemC is the de facto standard for modeling embedded systems. It allows system design at various levels of abstractions, provides typical object-orientation features and incorpo...
151
click to vote
NSDI
2004
15 years 5 months ago
2004
Network protocols must work. The effects of protocol specification or implementation errors range from reduced performance, to security breaches, to bringing down entire networks....
112
click to vote
CAV
2012
Springer
13 years 6 months ago
2012
Springer
The growing complexity of hardware optimizations employed by multiprocessors leads to subtle distinctions among allowed and disallowed behaviors, posing challenges in specifying th...