3031 search results - page 87 / 607 » Model Driven Testing Based on Test History |
117
click to vote
UML
2000
Springer
15 years 4 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
PTS
2003
15 years 2 months ago
2003
The paper studies testing based on input/output transition systems, also known as input/output automata. It is assumed that a tester can never prevent an implementation under test ...
ICS
1998
Tsinghua U.
15 years 4 months ago
1998
Tsinghua U.
Parallel computers are now commonly used for computational science and engineering, and many applications in these areas use random number generators. For some applications, such ...
123
click to vote
ICDE
2011
IEEE
14 years 4 months ago
2011
IEEE
—Complex SQL queries are widely used today, but it is rather difficult to check if a complex query has been written correctly. Formal verification based on comparing a specifi...
126
Voted
ASE
2006
15 years 22 days ago
2006
Finite state machines have been used to model a number of classes of system and there has thus been much interest in the automatic generation of test sequences from finite state m...