51 search results - page 3 / 11 » A Comparative Study of Software Model Checkers as Unit Testi... |
DATE
2006
IEEE
13 years 11 months ago
2006
IEEE
This paper proposes a novel HW/SW co-simulation approach that minimizes the impact on software designers. We propose a SystemC-based system that enables the software team to test ...
DAC
1998
ACM
14 years 6 months ago
1998
ACM
A number of techniques and software tools for embedded system design have been recently proposed. However, the current practice in the designer community is heavily based on manua...
MODELS
2010
Springer
13 years 3 months ago
2010
Springer
Model-driven software development (MDSD) has been on the rise over the past few years and is becoming more and more mature. However, evaluation in real-life industrial context is s...
ICFEM
2010
Springer
13 years 3 months ago
2010
Springer
This paper compares six model checkers (Alloy, cadp, fdr2, NuSMV, ProB, Spin) for the validation of information system specifications. The same case study (a library system) is s...
CIBSE
2008
ACM
13 years 7 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...