Sciweavers

220 search results - page 11 / 44
» Metamorphic Testing and Beyond
Sort
View
SSIRI
2010
13 years 8 months ago
A Formal Framework for Mutation Testing
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
Fevzi Belli, Mutlu Beyazit
ICML
2000
IEEE
14 years 10 months ago
Discovering Test Set Regularities in Relational Domains
Machine learning typically involves discovering regularities in a training set, then applying these learned regularities to classify objects in a test set. In this paper we presen...
Seán Slattery, Tom M. Mitchell
DATE
2002
IEEE
114views Hardware» more  DATE 2002»
14 years 2 months ago
Test Enrichment for Path Delay Faults Using Multiple Sets of Target Faults
Test sets for path delay faults in circuits with large numbers of paths are typically generated for path delay faults associated with the longest circuit paths. We show that such ...
Irith Pomeranz, Sudhakar M. Reddy
VL
1999
IEEE
136views Visual Languages» more  VL 1999»
14 years 1 months ago
Scaling up a "What You See Is What You Test" Methodology to Spreadsheet Grids
Although there has been considerable research into ways to design visual programming environments to improve the processes of creating new programs and of understanding existing o...
Margaret M. Burnett, Andrei Sheretov, Gregg Rother...
ESOP
2007
Springer
14 years 1 months ago
Scalar Outcomes Suffice for Finitary Probabilistic Testing
Abstract. The question of equivalence has long vexed research in concurrency, leading to many different denotational- and bisimulation-based approaches; a breakthrough occurred wit...
Yuxin Deng, Rob J. van Glabbeek, Carroll Morgan, C...