1399 search results - page 125 / 280 » Verification of Test Suites |
157
click to vote
TSE
2010
15 years 3 months ago
2010
Search based optimization techniques have been applied to structural software test data generation since 1992, with a recent upsurge in interest and activity within this area. How...
138
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
We present a novel approach for black-box testing of database management systems (DBMS) using the Alloy tool-set. Given a database schema and an SQL query as inputs, our approach ...
123
click to vote
AIME
2007
Springer
15 years 11 months ago
2007
Springer
In diagnostic decision-support systems, a test-selection facility serves to select tests that are expected to yield the largest decrease in the uncertainty about a patient’s diag...
116
click to vote
FATES
2003
Springer
15 years 10 months ago
2003
Springer
A key aspect of the Object-Oriented (OO) approach is that a designer can enrich an OO system by providing suitable (re-)definitions for some of the methods of the given system. A...
131
click to vote
AAAI
2012
13 years 7 months ago
2012
Penetration Testing is a methodology for assessing network security, by generating and executing possible hacking attacks. Doing so automatically allows for regular and systematic...