1890 search results - page 68 / 378 » Model-Based Testing in Practice |
TACAS
2009
Springer
15 years 6 months ago
2009
Springer
We describe the design and implementation of an automatic invariant generator for imperative programs. While automatic invariant generation through constraint solving has been exte...
137
click to vote
XPU
2010
Springer
14 years 10 months ago
2010
Springer
Software product lines - families of similar but not identical software products - need to address the issue of feature variability. That is, a single feature might require various...
136
click to vote
ESE
2006
14 years 12 months ago
2006
Test case prioritization provides a way to run test cases with the highest priority earliest. Numerous empirical studies have shown that prioritization can improve a test suite�...
103
click to vote
DATE
2006
IEEE
15 years 6 months ago
2006
IEEE
Abstract: DRAMs play an important role in the semiconductor industry, due to their highly dense layout and their low price per bit. This paper presents the first framework of faul...
VLDB
2004
ACM
15 years 5 months ago
2004
ACM
Relational OLAP tools and other database applications generate sequences of SQL statements that are sent to the database server as result of a single information request issued by...