1246 search results - page 2 / 250 » Online testing with model programs |
CIMCA
2008
IEEE
13 years 12 months ago
2008
IEEE
Online auctions have become extremely popular in recent years. Ability to predict winning bid prices accurately can help bidders to maximize their profit. This paper proposes a nu...
UM
2005
Springer
13 years 11 months ago
2005
Springer
TACAS
2010
Springer
13 years 3 months ago
2010
Springer
We introduce JTorX, a tool for model-driven test derivation and execution, based on the ioco theory. This theory, originally presented in [12], has been refined in [13] with test-...
ICFEM
2004
Springer
13 years 10 months ago
2004
Springer
Reachability testing is a technique for testing concurrent programs. Reachability testing derives test sequences on-the-fly as the testing process progresses, and can be used to sy...
ATS
2004
IEEE
13 years 9 months ago
2004
IEEE
TIS (Test Instruction Set) is an instruction level technique for CPU core self-testing. This method is based on enhancing a CPU instruction set with test instructions. TIS replace...