Søgeresultater - program function https mutation testing https

1

Tests and Proofs 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... in Program Verification -- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test...”
Få fuldtekst

Electronisk eBog

2

Testing Techniques in Software Engineering Second Pernambuco Summer School on Software Engineering...

Udgivet 2010

Indholdsfortegnelse: “...Software Testing: An Overview -- Functional, Control and Data Flow, and Mutation Testing: Theory...”
Få fuldtekst

Electronisk eBog

3

Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /

Udgivet 2005

Indholdsfortegnelse: “... Generation for Primitive Recursive Functions -- Preserving Contexts for Soft Conformance Relation -- Testing...”
Få fuldtekst

Electronisk eBog

4

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /

Udgivet 2015

Indholdsfortegnelse: “... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...”
Få fuldtekst

Electronisk eBog

5

Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of...

Udgivet 2010

Indholdsfortegnelse: “... -- Boom: Taking Boolean Program Model Checking One Step Further -- The OpenSMT Solver -- Stranger...”
Få fuldtekst

Electronisk eBog

6

Research in Computational Molecular Biology 14th Annual International Conference, RECOMB 2010, Lisbon, Portugal, April 25-28, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... Population Using Pooled DNA -- Pathway-Based Functional Analysis of Metagenomes -- Hierarchical Generative...”
Få fuldtekst

Electronisk eBog

7

37th Hemophilia Symposium Hamburg 2006 Epidemiology;Treatment of Inhibitors in Hemophiliacs; Hemophilic Arthropathy and Synovitis; Relevant Hemophilia Treatment 2006; Pediatric Hem...

Udgivet 2008

Indholdsfortegnelse: “... and Exercise Project (HEP) Conception and Contents of a “Programmed Sports Therapy” for Hemophilic Patients...”
Få fuldtekst

Electronisk eBog

8

New Results in Dependability and Computer Systems Proceedings of the 8th International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, September 9-13, 2013, Brunów...

Udgivet 2013

Indholdsfortegnelse: “... in mastering the value function of security measures -- Reduction of computational cost in mutation testing...”
Få fuldtekst

Electronisk eBog

9

Pattern Recognition in Bioinformatics Second IAPR International Workshop, PRIB 2007, Singapore, October 1-2, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “...Sequence Analysis -- Automated Methods of Predicting the Function of Biological Sequences Using GO...”
Få fuldtekst

Electronisk eBog

10

Evolutionary Computation, Machine Learning and Data Mining in Bioinformatics 11th European Conference, EvoBIO 2013, Vienna, Austria, April 3-5, 2013, Proceedings /

Udgivet 2013

Indholdsfortegnelse: “... of Regulatory Rare Alleles for Burden Tests -- Feature Selection and Classification of High Dimensional Mass...”
Få fuldtekst

Electronisk eBog

11

Advances in Computation and Intelligence Second International Symposium, ISICA 2007, Wuhan, China, September 21-23, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... Self-adaptive Mutations with Multi-parent Crossover Evolutionary Algorithm for Solving Function...”
Få fuldtekst

Electronisk eBog

12

Software Engineering in Intelligent Systems Proceedings of the 4th Computer Science On-line Conference 2015 (CSOC2015), Vol 3: Software Engineering in Intelligent Systems /

Udgivet 2015

Indholdsfortegnelse: “...-To-End Authentication for Mobile Banking -- Improving Mutation Testing Process of Python Programs -- Task...”
Få fuldtekst

Electronisk eBog

13

Bioinformatics Research and Development First International Conference, BIRD 2007, Berlin, Germany, March 12-14, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “.../Inhibitor Docking by Non-parametric Binomial Distribution Test -- satDNA Analyzer 1.2 as a Valuable...”
Få fuldtekst

Electronisk eBog

14

Evolutionary Multi-Criterion Optimization Third International Conference, EMO 2005, Guanajuato, Mexico, March 9-11, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “...Invited Talks -- The Evolution of Optimality: De Novo Programming -- Many-Objective Optimization...”
Få fuldtekst

Electronisk eBog

15

Antibiotic Resistance Methods and Protocols

Udgivet 2001

Indholdsfortegnelse: “... and Streptomycin -- Application of SSCP to Identification of Resistance Mutations -- Quantitative, Single-Tube...”
Få fuldtekst

Electronisk eBog

16

Drosophila Cytogenetics Protocols

Udgivet 2004

Indholdsfortegnelse: “...-Mount Imaginal Discs -- Wing Somatic Mutation and Recombination Test -- Analysis of Histoblasts...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning