Automated regression testing and verification of complex code changes

... AUTOMATED REGRESSION TESTING AND VERIFICATION OF COMPLEX CODE CHANGES ¨ MARCEL BOHME (Dipl.-Inf., TU Dresden, Germany) A THESIS SUBMITTED FOR THE DEGREE OF DOCTOR OF PHILOSOPHY DEPARTMENT OF ... the complexity of errors and the complexity of changes, we discuss several complexity measures This allows for the formal discussion about complex changes and “simpl...

Ngày tải lên: 09/09/2015, 11:13

... negligible For a pulsed input of particles, the number of particles decreases and the average size of all particles increase due to the formation of particle aggregates The volume-weighted mean size, ... fractal (Jiang and Logan, 1991) The relationship between the mass and the size of a fractal aggregate can be written as m∝lD, where l is the actual length of the...

Ngày tải lên: 05/09/2013, 08:40

... annually cost of distillate output of Inverted absorber solar still and single slope solar still were 0.95 & 0.54 Rs A.J.N Khalifa[10] studied literature on relation between cover tilt angle and productivity ... the distillate water to an external measuring jar Whole set up of solar still is installed on stand   Figure Experimental set up of solar still Flow ge...

Ngày tải lên: 05/09/2013, 15:28

Ngày tải lên: 08/03/2014, 14:20

... measurable quantities of basin characteristics [6] and hence model calibration is needed Using the observed rainfall and evaporation data of each storm event as inputs, model will automatically ... concentration This leads to the demand that we have to calibrate and validate the hydrological model using the individual storm events The traditional calibration meth...

Ngày tải lên: 22/03/2014, 12:20

... and Resources General Latent Tuberculosis Infection American Thoracic Society and Centers for Disease Control and Prevention Targeted tuberculin testing and treatment of latent tuberculosis infection ... groups of patients are also discussed References and resources for providers and patients are listed at the end Ten Points for Testing and Treatment...

Ngày tải lên: 22/03/2014, 18:20

... measurable quantities of basin characteristics [6] and hence model calibration is needed Using the observed rainfall and evaporation data of each storm event as inputs, model will automatically ... concentration This leads to the demand that we have to calibrate and validate the hydrological model using the individual storm events The traditional calibration meth...

Ngày tải lên: 09/08/2014, 17:23

... utilisation of clinical and lay staff Retraining of nurses and lay counselors may also be necessary so as to streamline and integrate HIV testing more effectively HIV testing rates could be increased ... to a few studies among antenatal and TB patients, and one with patients with sexually transmitted infection (STI) For example, in Botswana, a signific...

Ngày tải lên: 11/08/2014, 05:21

... this article as: Leon et al.: The impact of provider-initiated (opt-out) HIV testing and counseling of patients with sexually transmitted infection in Cape Town, South Africa: a controlled trial ... Kilmarx PH, Marrazzo JM: Routine HIV testing in the context of syndromic management of sexually transmitted infections: outcomes of...

Ngày tải lên: 11/08/2014, 16:20

... progeny yields of Ad35 vectors on 293-ORF6 cells rAd35 vector Ad35 wt Yield (pu/cell) 125,893 Ad35E1(d8) 77,839 Ad35E1(d8)E4(AN) 58,875 Ad35E1(d8)E3(HE)E4(AN 36,000 To further expand the utility of ... Replication-deficient human adenovirus type 35 vectors for gene transfer and vaccination: efficient human cell infection and bypass of preexisting adenovirus immunity Journa...

Ngày tải lên: 12/08/2014, 01:22

... 5'-CTCTGTCAAGAAAGTGATGCCGTGAAA-3' Antisense 5'-GAATGTTCAGAAGAGCAGCCGAGGGAT-3' Sense 5'-CCAGGCCACGTTGTTATTTTGCTTCCGC-3' Antisense Deletion 5'-AAAATAACAACGTGGCCTGGCCAGAGCC-3' starting from the best scoring ... motif that did not overlap instances of motifs already in the non-degenerate set by greater than a third Annotation of our non-degenerate set of motifs was performed by...

Ngày tải lên: 14/08/2014, 15:20

... importance of formal verification for shared- memory concurrent programs Understanding and reasoning about concurrent programs are more challenging than sequential programs because of the notoriously ... focus on partial correctness and data-race freedom, and often ignore the verification of synchronization properties In shared- memory concurrent programs, threads...

Ngày tải lên: 09/09/2015, 11:26

... To reduce the cost of regression test and deal with the conditions that cannot be handled by code -based regression test selection techniques, a formal specification -based regression test suite ... [92], and B [5] are state-oriented formalisms; ACT1 [32], CLEAR [16], OBJ [34], and Larch [36] are algebraic formalisms and CSP [46]; TCSP [89], CCS [77], and LOTOS [15] are pro...

Ngày tải lên: 12/09/2015, 08:18