Sciweavers

2205 search results - page 27 / 441
» Mutation Operators for Specifications
Sort
View
GRC
2005
IEEE
14 years 1 months ago
An evolution strategy for the induction of fuzzy finite-state automata
: This study presents an evolution strategy used to infer fuzzy finite-state automata from examples of a fuzzy language. We describe the fitness function of an generated automata w...
Zhiwen Mo, Min Wan, Lan Shu
OSDI
2000
ACM
13 years 9 months ago
Checking System Rules Using System-Specific, Programmer-Written Compiler Extensions
Dawson R. Engler, Benjamin Chelf, Andy Chou, Seth ...
SEUS
2010
IEEE
13 years 6 months ago
Error Detection Rate of MC/DC for a Case Study from the Automotive Domain
Chilenski and Miller [1] claim that the error detection probability of a test set with full modified condition/decision coverage (MC/DC) on the system under test converges to 100%...
Susanne Kandl, Raimund Kirner
ENTCS
2008
101views more  ENTCS 2008»
13 years 7 months ago
Improving Fault-based Conformance Testing
Fault-based conformance testing is a conformance testing strategy that relies on specific fault models. Previously, this mutation testing technique has been applied to protocol spe...
Bernhard K. Aichernig, Martin Weiglhofer, Franz Wo...
EUROGP
2007
Springer
144views Optimization» more  EUROGP 2007»
14 years 1 months ago
Fitness Landscape Analysis and Image Filter Evolution Using Functional-Level CGP
This work analyzes fitness landscapes for the image filter design problem approached using functional-level Cartesian Genetic Programming. Smoothness and ruggedness of fitness l...
Karel Slaný, Lukás Sekanina