731 search results - page 28 / 147 » Specification Matching of Software Components |
APSEC
2005
IEEE
14 years 3 months ago
2005
IEEE
A test oracle is a mechanism that is used during testing to determine whether a software component behaves correctly or not. The test oracle problem is widely acknowledged in the ...
CASES
2007
ACM
14 years 1 months ago
2007
ACM
With increasing complexity of modern embedded systems, the availability of highly optimizing compilers becomes more and more important. At the same time, application specific inst...
ICSE
2010
IEEE-ACM
13 years 11 months ago
2010
IEEE-ACM
We present LM, a tool for mining scenario-based specifications in the form of Live Sequence Charts, a visual language that extends sequence diagrams with modalities. LM comes with...
WER
2001
Springer
14 years 2 months ago
2001
Springer
In CBSD, the possible benefits of COTS software development, such as low cost, low risk, and high quality, cannot be satisfactorily achieved due to inadequate and/or incomplete pro...
ICCAD
1996
IEEE
14 years 2 months ago
1996
IEEE
Abstract - Using the
exibility provided by multiple functionalities we have developed a new approach for permanent fault-tolerance: Heterogeneous BuiltIn-Resiliency (HBIR). HBIR p...