1492 search results - page 63 / 299 » Testing Properties of Constraint-Graphs |
138
click to vote
CEC
2007
IEEE
15 years 11 months ago
2007
IEEE
— One of the main tasks software testing involves is the generation of the test cases to be used during the test. Due to its expensive cost, the automation of this task has becom...
132
click to vote
HYBRID
2007
Springer
15 years 11 months 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...
178
click to vote
MTV
2006
IEEE
15 years 11 months ago
2006
IEEE
Simulation-based validation of the current industrial processors typically use huge number of test programs generated at instruction set architecture (ISA) level. However, archite...
104
click to vote
ITC
2003
IEEE
15 years 10 months ago
2003
IEEE
— Being able to test the intrinsic performance of a device under test (DUT) has always been the main goal of a test engineer. Achieving this goal is becoming increasingly diffic...
223
click to vote
SIGMOD
2008
ACM
16 years 5 months ago
2008
ACM
Tools for generating test queries for databases do not explicitly take into account the actual data in the database. As a consequence, such tools cannot guarantee suitable coverag...