3031 search results - page 98 / 607 » Model Driven Testing Based on Test History |
120
click to vote
FMICS
2008
Springer
15 years 2 months ago
2008
Springer
Lustre is a formal synchronous declarative language widely used for modeling and specifying safety-critical applications in the elds of avionics, transportation or energy productio...
102
Voted
ATVA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Since testing is inherently incomplete, test selection is of vital importance. Coverage measures evaluate the quality of a test suite and help the tester select test case...
122
click to vote
VTS
2000
IEEE
15 years 5 months ago
2000
IEEE
The performance of deep sub-micron designs can be affected by various parametric variations, manufacturing defects, noise or even modeling errors that are all statistical in natur...
92
Voted
CSDA
2007
15 years 15 days ago
2007
Previous research has shown that method two-way with error for multiple imputation in test and questionnaire data produces small bias in statistical analyses. This method is based...
109
Voted
PVLDB
2008
15 years 5 days ago
2008
Graphs are widely used to model complicated data semantics in many applications. In this paper, we aim to develop efficient techniques to retrieve graphs, containing a given query...