Sciweavers

10715 search results - page 249 / 2143
» Proofs from Tests
Sort
View
SCAM
2008
IEEE
16 years 1 months ago
Constructing Subtle Faults Using Higher Order Mutation Testing
Traditional mutation testing considers only first order mutants, created by the injection of a single fault. Often these first order mutants denote trivial faults that are easil...
Yue Jia, Mark Harman
AICCSA
2006
IEEE
128views Hardware» more  AICCSA 2006»
16 years 22 days ago
Avoiding Denial of Service via Stress Testing
Stress-testing has been widely used by businesses, governments, and other organizations to evaluate the strength of their web applications against various attacks. However, the qu...
Saeed Abu-Nimeh, Suku Nair, Marco F. Marchetti
ISSRE
2006
IEEE
16 years 21 days ago
Metamodel-based Test Generation for Model Transformations: an Algorithm and a Tool
In a Model-Driven Development context (MDE), model transformations allow memorizing and reusing design know-how, and thus automate parts of the design and refinement steps of a so...
Erwan Brottier, Franck Fleurey, Jim Steel, Benoit ...
ACIVS
2005
Springer
16 years 6 days ago
A Likelihood Ratio Test for Functional MRI Data Analysis to Account for Colored Noise
Abstract. Functional magnetic resonance (fMRI) data are often corrupted with colored noise. To account for this type of noise, many prewhitening and pre-coloring strategies have be...
Jan Sijbers, Arnold Jan den Dekker, Robert Bos
ICSM
2003
IEEE
15 years 12 months ago
Testing with Respect to Concerns
Often the code regions that are assigned for a maintenance task do not follow the modularization of the original application program, but instead include parts of code from many d...
Amie L. Souter, David Shepherd, Lori L. Pollock