1492 search results - page 63 / 299 » Testing Properties of Constraint-Graphs |
118
Voted
CEC
2007
IEEE
15 years 9 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...
108
Voted
HYBRID
2007
Springer
15 years 9 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...
152
Voted
MTV
2006
IEEE
15 years 9 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...
ITC
2003
IEEE
15 years 8 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...
197
Voted
SIGMOD
2008
ACM
16 years 3 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...