3090 search results - page 130 / 618 » On Testing Answer-Set Programs |
120
click to vote
STEP
2003
IEEE
15 years 7 months ago
2003
IEEE
Many software applications produced today have a component, of lesser or greater importance to the structure, that is based on database management systems. What is more, this infor...
114
Voted
HASE
1998
IEEE
15 years 6 months ago
1998
IEEE
It is widely accepted that the OO paradigm will signi cantly increase software reusability, extendibility, interoperability, and reliability. This is also true for high assurance ...
108
click to vote
TOOLS
1998
IEEE
15 years 6 months ago
1998
IEEE
Object-orientation has rapidly become accepted as the preferred paradigm for large scale system design. There is considerable literature describing approaches to object-oriented d...
91
Voted
AIS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Model verification examines the correctness of a model implementation with respect to a model specification. While being described from model specification, implementatio...
154
click to vote
TSE
2010
14 years 9 months ago
2010
Statistical testing has been shown to be more efficient at detecting faults in software than other methods of dynamic testing such as random and structural testing. Test data are g...