126 search results - page 14 / 26 » Improving Software Test Strategy with a Method to Specify Te... |
FASE
2004
Springer
14 years 24 days ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
SAC
2009
ACM
14 years 2 months ago
2009
ACM
Software developers use testing to gain and maintain confidence in the correctness of a software system. Automated reduction and prioritization techniques attempt to decrease the...
TOOLS
2000
IEEE
13 years 11 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
BMCBI
2008
13 years 7 months ago
2008
Background: Illumina Infinium whole genome genotyping (WGG) arrays are increasingly being applied in cancer genomics to study gene copy number alterations and allele-specific aber...
ACL
2009
13 years 5 months ago
2009
Manually annotated corpora are valuable but scarce resources, yet for many annotation tasks such as treebanking and sequence labeling there exist multiple corpora with different a...