1399 search results - page 16 / 280 » Verification of Test Suites |
121
Voted
SOPR
2008
15 years 1 months ago
2008
Pair programming is regarded as one of the practices that can make testing more rigorous, thorough and effective. Therefore, we examined pair programming vs. solo programming with ...
142
click to vote
ENTCS
2007
15 years 1 months ago
2007
Abstract. Model-based testing has been proposed as a technique to automatically verify that a system conforms to its specification. A popular approach is to use a model-checker to...
ICALT
2003
IEEE
15 years 7 months ago
2003
IEEE
Since the approval of IEEE LOM Draft Standard and the advance of network-driven learning technology, a large number of resource database constructors, content developers and learn...
129
click to vote
STVR
2002
15 years 1 months ago
2002
Code-coverage-based test data adequacy criteria typically treat all coverable code elements (such as statements, basic blocks, or outcomes of decisions) as equal. In practice, how...
123
Voted
SIGECOM
2000
ACM
15 years 6 months ago
2000
ACM
General combinatorial auctions—auctions in which bidders place unrestricted bids for bundles of goods—are the subject of increasing study. Much of this work has focused on alg...