Sciweavers

3031 search results - page 70 / 607
» Model Driven Testing Based on Test History
Sort
View
IJON
2006
93views more  IJON 2006»
15 years 18 days ago
Eye movement predictions on natural videos
We analyze the predictability of eye movements of observers viewing dynamic scenes. We first assess the effectiveness of model-based prediction. The model is divided into inter-sa...
Martin Böhme, Michael Dorr, Christopher Kraus...
98
Voted
DAGSTUHL
2004
15 years 2 months ago
Testing with Functions as Specifications
Although computer systems penetrate all facets of society, the software running those systems may contain many errors. Producing high quality software appears to be difficult and v...
Pieter W. M. Koopman
SEFM
2007
IEEE
15 years 6 months ago
Protocol Conformance Testing a SIP Registrar: an Industrial Application of Formal Methods
Various research prototypes and a well-founded theory of model based testing (MBT) suggests the application of MBT to real-world problems. In this article we report on applying th...
Bernhard K. Aichernig, Bernhard Peischl, Martin We...
116
Voted
IIE
2007
159views more  IIE 2007»
15 years 16 days ago
Creating and Visualizing Test Data from Programming Exercises
Automatic assessment of programming exercises is typically based on testing approach. Most automatic assessment frameworks execute tests and evaluate test results automatically, bu...
Petri Ihantola
ICSE
2009
IEEE-ACM
15 years 7 months ago
Test selection for result inspection via mining predicate rules
It is labor-intensive to manually verify the outputs of a large set of tests that are not equipped with test oracles. Test selection helps to reduce this cost by selecting a small...
Wujie Zheng, Michael R. Lyu, Tao Xie