1492 search results - page 54 / 299 » Testing Properties of Constraint-Graphs |
165
Voted
ANOR
2004
15 years 3 months ago
2004
The aim of Air Traffic Flow Management (ATFM) is to enhance the capacity of the airspace while satisfying Air Traffic Control constraints and airlines requests to optimize their o...
111
Voted
ICST
2009
IEEE
15 years 10 months ago
2009
IEEE
Since manual black-box testing of GUI-based APplications (GAPs) is tedious and laborious, test engineers create test scripts to automate the testing process. These test scripts in...
113
Voted
ISVC
2007
Springer
15 years 9 months ago
2007
Springer
This paper presents a technique that allows test engineers to visually analyze and explore within memory chip test data. We represent the test results from a generation of chips al...
120
click to vote
AMOST
2005
ACM
15 years 9 months ago
2005
ACM
We consider the problem of generating a set of test cases from a black box specification. We focus on stress testing, i.e. picking test cases that seem most likely to reveal prog...
130
Voted
COMPSAC
2003
IEEE
15 years 8 months ago
2003
IEEE
Effectiveness of testing criteria is the ability to detect failures in a software program. We consider not only effectiveness of some testing criterion in itself but a variance of...