Sciweavers

1399 search results - page 70 / 280
» Verification of Test Suites
Sort
View
ICSE
2003
IEEE-ACM
16 years 4 months ago
A Framework for Component Deployment Testing
Component-based development is the emerging paradigm in software production, though several challenges still slow down its full taking up. In particular, the "component trust...
Antonia Bertolino, Andrea Polini
ICSM
2005
IEEE
15 years 10 months ago
A Controlled Experiment Assessing Test Case Prioritization Techniques via Mutation Faults
Regression testing is an important part of software maintenance, but it can also be very expensive. To reduce this expense, software testers may prioritize their test cases so tha...
Hyunsook Do, Gregg Rothermel
IGPL
2000
152views more  IGPL 2000»
15 years 4 months ago
An Analysis of Empirical Testing for Modal Decision Procedures
Recent years have seen the emergence of a new generation of heavily-optimised modal decision procedures. Several systems based on such procedures are now available and have proved...
Ian Horrocks, Peter F. Patel-Schneider, Roberto Se...
SIGSOFT
2007
ACM
16 years 5 months ago
Quantifying the effectiveness of testing via efficient residual path profiling
Software testing is extensively used for uncovering bugs in large, complex software. Testing relies on well designed regression test suites that anticipate all reasonable software...
Trishul M. Chilimbi, Aditya V. Nori, Kapil Vaswani
IIE
2006
101views more  IIE 2006»
15 years 4 months ago
Random Factors in IOI 2005 Test Case Scoring
We examine the precision with which the cumulative score from a suite of test cases ranks participants in the International Olympiad in Informatics (IOI). Our concern is the abilit...
Gordon V. Cormack