MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Mutation Operators for Specifications." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

24 documents found, showing 1 through 10. Next 10 →

ATOM

Mutation operators for specifications
by Paul E. Black — 2000 — In Proceedings of 15 th IEEE International Conference on Automated Software Engineering (ASE2000
…Mutation Operators for Specifications Paul E. Black National Institute of Standards and Technology…
Cited by 16 (2 self) – Add To MetaCart

Using Genetic Search to Refine Knowledge-Based Neural Networks
by David W. Opitz, Jude W. Shavlik — 1994 — In Proceedings of the Eleventh International Conference on Machine Learning
… and mutation operators specifically designed for knowledgebased networks. Experiments on three realworld…
Cited by 9 (5 self) – Add To MetaCart

Genetically Refining Topologies of Knowledge-Based Neural Networks
by David W. Opitz, Jude W. Shavlik — 1994 — In International Symposium on Integrating Knowledge and Neural Heuristics
… operators specifically designed for knowledge-based networks. Experiments on three real-world domains…
Cited by 3 (1 self) – Add To MetaCart

Mutation of Model Checker Specifications for Test Generation and Evaluation
by Paul E. Black, Vadim Okun, Yaacov Yesha — 2000 — In Proceedings of Mutation 2000
… tests or evaluate coverage. The properties of specification mutation operators have not been explored…
Cited by 2 (0 self) – Add To MetaCart

An evolutionary algorithm with stochastic hill-climbing for the edge-biconnectivity augmentation problem
by Ivana Ljubić, Günther R. Raidl — 2001 — Applications of Evolutionary Computation, volume 2037 of LNCS
… operators are specifically designed for the considered problem. Recombination and mutation preserve a great…
Cited by 1 (1 self) – Add To MetaCart

Hybrid Methods Using Evolutionary Algorithms for On-line Training
by G. D. Magoulas, V. P. Plagianakos, M. N. Vrahatis — 2001 — In Proc. of the IEEE International Joint Conference on Neural Networks (IJCNN’2001), Washington D.C
… is the selection operator. The first DE operator used is the mutation operator. Specifically, for each weight…
Cited by 6 (4 self) – Add To MetaCart

Hybrid Methods Using Evolutionary Algorithms for On--line Training
by Magoulas Plagianakos And, G. D. Magoulas, V. P. Plagianakos, M. N. Vrahatis — 2001 — In Proc. of the IEEE International Joint Conference on Neural Networks (IJCNN’2001), Washington D.C
… operator. The first DE operator used is the mutation operator. Specifically, for each weight vector w p i…
Add To MetaCart

Constraint-Based Automatic Test Data Generation
by Jefferson Offutt — 1991 — IEEE Transactions on Software Engineering
… to the mutation operators. Specifically, the test data will find most, if not all, faults represented…
Cited by 177 (25 self) – Add To MetaCart

Assessing Quality of Policy Properties in Verification of Access Control Policies
by Evan Martin, Jeehyun Hwang, Tao Xie, Vincent Hu
… mutation operator is useful in identifying specific rules that are not covered by the property set. The CRE…
Add To MetaCart

Test case generation for testing of timeliness - extended version
by Robert Nilsson, Jeff Offutt, Jonas Mellin — 2005
… characteristics. Note that the mutation operators change some property in the specification of a real-time system…
Cited by 1 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB