Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
program computing » program comparing, programs compiling, problem computing
mutation testing » mutation breeding
testing https » teaching https, being https, writing https
program computing » program comparing, programs compiling, problem computing
mutation testing » mutation breeding
testing https » teaching https, being https, writing https
1
Published 2013
Table of Contents:
“...Incremental Refinement Checking for Test Case Generation -- Time for Mutants — Model-Based Mutation...”View full text
Electronic
eBook
2
Published 2014
Table of Contents:
“...Model-Based Mutation Testing of an Industrial Measurement Device -- Computing with an SMT Solver...”View full text
Electronic
eBook
3
Published 2010
Table of Contents:
“... in Program Verification -- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test...”View full text
Electronic
eBook
4
Published 2012
Table of Contents:
“... in Mutation Testing -- Lightweight Automatic Error Detection by Monitoring Collar Variables -- Protocol...”View full text
Electronic
eBook
5
Published 2010
Table of Contents:
“... Systematic Introduction to Mutation Testing in Unifying Theories of Programming....”View full text
Electronic
eBook
6
Published 2005
Table of Contents:
“... Effort in Mutation Testing -- Testing COM Components Using Software Fault Injection and Mutation Analysis...”View full text
Electronic
eBook
7
Published 2010
Table of Contents:
“... -- Microsoft’s Protocol Documentation Program: A Success Story for Model-Based Testing -- Full Papers -- Masking...”View full text
Electronic
eBook
8
Published 2010
Table of Contents:
“... Object Reuse on Genetic Programming-Based Approaches to Object-Oriented Evolutionary Testing -- Analytic...”View full text
Electronic
eBook
9
Published 2006
Table of Contents:
“...-Oriented Mutations -- Experimenting with Agile Practices – First Things First -- Test-Driven Development...”View full text
Electronic
eBook
10
Published 2010
Table of Contents:
“... -- Incremental Signaling Pathway Modeling by Data Integration -- The Poisson Margin Test for Normalisation Free...”View full text
Electronic
eBook
11
Published 2007
Table of Contents:
“... Algorithm for Dynamic Multi-Objective TSP -- The Construction of Dynamic Multi-objective Optimization Test...”View full text
Electronic
eBook
12
New Results in Dependability and Computer Systems Proceedings of the 8th International Conference...
Published 2013
Table of Contents:
“... in mastering the value function of security measures -- Reduction of computational cost in mutation testing...”View full text
Electronic
eBook
13
Published 2013
Table of Contents:
“... of Regulatory Rare Alleles for Burden Tests -- Feature Selection and Classification of High Dimensional Mass...”View full text
Electronic
eBook
14
Published 2015
Table of Contents:
“... Testing of Different Loop Paths -- Model-Based Robustness Testing in Event-B using Mutation...”View full text
Electronic
eBook
15
Published 2010
Table of Contents:
“... -- Boom: Taking Boolean Program Model Checking One Step Further -- The OpenSMT Solver -- Stranger...”View full text
Electronic
eBook
16
Published 2012
Table of Contents:
“... Test Coverage Criteria Using Mutation Analysis -- Seeing Errors: Model Driven Simulation Trace...”View full text
Electronic
eBook
17
Published 2015
Table of Contents:
“... and Maintenance of Computational Models of Real-World Systems -- When a Formal Model Rhymes with a Graphical...”View full text
Electronic
eBook
18
Published 2010
Table of Contents:
“... Process Improvement – Predicting SPI Success for Small and Medium Companies -- Test Prioritization...”View full text
Electronic
eBook
19
Published 2006
Table of Contents:
“... (2) -- MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations -- Mutation...”View full text
Electronic
eBook
20
Published 2010
Table of Contents:
“... Composition Testing Using Mutation Analysis -- Open, Distributed and Semantic Microblogging with SMOB...”View full text
Electronic
eBook