1890 search results - page 85 / 378 » Model-Based Testing in Practice |
COMPUTING
2007
15 years 2 months ago
2007
The Krawczyk and the Hansen-Sengupta interval operators are closely related to the interval Newton operator. These interval operators can be used as existence tests to prove exist...
181
Voted
SIGMOD
2008
ACM
16 years 2 months ago
2008
ACM
Tools for generating test queries for databases do not explicitly take into account the actual data in the database. As a consequence, such tools cannot guarantee suitable coverag...
141
click to vote
HICSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Testing can be difficult to integrate into software development. Approaches to software testing in relation to implementing software are based on the V-model of testing. The softw...
109
click to vote
ISSRE
2003
IEEE
15 years 7 months ago
2003
IEEE
Symmetries often appear as properties of many artifical settings. In Program Testing, they can be viewed as properties of programs and can be given by the tester to check the cor...
125
Voted
ICECCS
2000
IEEE
15 years 7 months ago
2000
IEEE
This research is part of a project to develop practical, effective, formalizable, automatable techniques for integration testing. Integration testing is an important part of the t...