1890 search results - page 86 / 378 » Model-Based Testing in Practice |
140
click to vote
ICECCS
1996
IEEE
15 years 6 months ago
1996
IEEE
This research is part of a project to develop practical, effective, formalizable, automatable techniques for integration testing. Integration testing is an important part of the t...
120
Voted
TR
2010
14 years 9 months ago
2010
Previous work on planning accelerated life tests has been based on large-sample approximations to evaluate test plan properties. In this paper, we use more accurate simulation met...
129
Voted
ICSE
2005
IEEE-ACM
15 years 8 months ago
2005
IEEE-ACM
This report addresses some of our observations made in a dozen of projects in the area of software testing, and more specifically, in automated testing. It documents, analyzes and...
127
click to vote
KBSE
2010
IEEE
15 years 1 months ago
2010
IEEE
Although testing is central to debugging and software certification, there is no adequate language to specify test suites over source code. Such a language should be simple and c...
141
Voted
TAP
2010
Springer
15 years 12 days ago
2010
Springer
Program verification systems based on automated theorem provers rely on user-provided axioms in order to verify domain-specific properties of code. However, formulating axioms corr...