197 search results - page 15 / 40 » Abstraction Techniques for Validation Coverage Analysis and ... |
95
Voted
CIKM
2009
Springer
15 years 7 months ago
2009
Springer
We consider the coverage testing problem where we are given a document and a corpus with a limited query interface and asked to find if the corpus contains a near-duplicate of th...
158
Voted
SIGMOD
2008
ACM
16 years 17 days 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...
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We introduce a mathematical framework for black-box software testing of functional correctness, based on concepts from stochastic process theory. This framework supports ...
90
Voted
ISSRE
2003
IEEE
15 years 5 months ago
2003
IEEE
Software testing and software fault tolerance are two major techniques for developing reliable software systems, yet limited empirical data are available in the literature to eval...
ICSEA
2007
IEEE
15 years 6 months ago
2007
IEEE
Automatic test data generation helps testers to validate software against user requirements more easily. Test data can be generated from many sources; for example, experience of t...