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