249 search results - page 26 / 50 » Test Coverage Analysis and Preservation for Requirements-Bas... |
128
click to vote
AIIA
2001
Springer
15 years 8 months ago
2001
Springer
This paper presents a novel method for wide coverage parsing using an incremental strategy, which is psycholinguistically motivated. A recursive neural network is trained on treeba...
116
Voted
VTS
1999
IEEE
15 years 7 months ago
1999
IEEE
Sequential test generators fail to yield tests for some stuck-at-faults because they are unable to reach certain states necessary for exciting propagating these target faults. Add...
131
click to vote
APN
1993
Springer
15 years 7 months ago
1993
Springer
In this paper we show how to extend Coloured Petri Nets (CP-nets), with three new modelling primitives—place capacities, test arcs and inhibitor arcs. The new modelling primitiv...
127
click to vote
KBSE
2000
IEEE
15 years 7 months ago
2000
IEEE
Testing has a vital support role in the software engineering process, but developing tests often takes significant resources. A formal specification is a repository of knowledge a...
144
click to vote
DAC
2004
ACM
15 years 7 months ago
2004
ACM
Random test generators are often used to create regression suites on-the-fly. Regression suites are commonly generated by choosing several specifications and generating a number o...