277 search results - page 9 / 56 » An Approach to Specify and Test Component-Based Dependable S... |
125
Voted
ECBS
2010
IEEE
15 years 2 months ago
2010
IEEE
Model-based selective regression testing promises reduction in cost and labour by selecting a subset of the test suite corresponding to the modifications after system evolution. H...
110
Voted
SIGSOFT
2003
ACM
16 years 11 days ago
2003
ACM
This paper presents a novel approach for automated test data generation of imperative programs containing integer, boolean and/or float variables. It extends our previous work to ...
104
click to vote
IJCAI
2007
15 years 1 months ago
2007
Some Statistical Software Testing approaches rely on sampling the feasible paths in the control flow graph of the program; the difficulty comes from the tiny ratio of feasible p...
129
Voted
COMPSAC
2000
IEEE
15 years 4 months ago
2000
IEEE
Understanding program dependencies in a computer program is essential for many software engineering tasks such as program understanding, testing, debugging, reverse engineering, a...
SAC
2009
ACM
15 years 6 months ago
2009
ACM
In the Design By Contract (DBC) approach, programmers specify methods with pre and postconditions (also called contracts). Earlier work added protocols to the DBC approach to desc...