10715 search results - page 281 / 2143 » Proofs from Tests |
152
click to vote
HYBRID
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
168
click to vote
ICSM
2005
IEEE
16 years 9 days ago
2005
IEEE
Test suite reduction is an important test maintenance activity that attempts to reduce the size of a test suite with respect to some criteria. Emerging trends in software developm...
198
click to vote
ISESE
2005
IEEE
16 years 9 days ago
2005
IEEE
Exploratory testing (ET) – simultaneous learning, test design, and test execution – is an applied practice in industry but lacks research. We present the current knowledge of ...
176
click to vote
FATES
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. So far, model-based testing approaches have mostly been used in testing through various kinds of APIs. In practice, however, testing through a GUI is another equally impo...
204
click to vote
ICCS
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. As High Performance Computing becomes more collaborative, software certification practices are needed to quantify the credibility of shared applications. To demonstrate q...