259 search results - page 17 / 52 » A Goal-Oriented Software Testing Methodology |
110
click to vote
CODES
2008
IEEE
15 years 3 months ago
2008
IEEE
Functional validation is a major bottleneck in microprocessor design methodology. Simulation is the widely used method for functional validation using billions of random and biase...
109
click to vote
ISSRE
2010
IEEE
14 years 12 months ago
2010
IEEE
—Large scale systems (LSS) contain multiple subsystems that interact across multiple nodes in sometimes unforeseen and complicated ways. As a result, pinpointing the subsystems t...
100
click to vote
FASE
2007
Springer
15 years 7 months ago
2007
Springer
The play-in/play-out approach suggests a new paradigm for system development using scenario-based requirements. It allows the user to develop a high level scenario-based model of t...
128
click to vote
DAC
2006
ACM
15 years 3 months ago
2006
ACM
Software-based self-test (SBST) has recently emerged as an effective methodology for the manufacturing test of processors and other components in systems-on-chip (SoCs). By moving ...
115
click to vote
ICST
2008
IEEE
15 years 7 months ago
2008
IEEE
If access control policy decision points are not neatly separated from the business logic of a system, the evolution of a security policy likely leads to the necessity of changing...