Coverage criteria aim at satisfying test requirements and compute metrics values that quantify the adequacy of test suites at revealing defects in programs. Typically, a test requirement is a structural program element, and the coverage metric value repres ...
Manual software testing is laborious and prone to human error. Yet, among practitioners, it is the most popular method for quality assurance. Automating the test case generation promises better effectiveness, especially for exposing corner-case bugs. Symbo ...
This dissertation explores techniques that synthesize and generate program fragments and test inputs. The main goal of these techniques is to improve and support automation in program synthesis and test input generation. This is important because performin ...
Previous test data on unreinforced masonry walls focused on the global response of the wall. A new data set (Petry and Beyer 2014a; D01:10.5281/zenodo.8443) on six wall tests, which is publicly available, allows for linking global to local deformations of ...
This paper presents the results of a series of shake-table tests on a half-scale, four-storey building with reinforced concrete (RC) and unreinforced masonry (URM) walls. Due to the lack of reference tests, the seismic behaviour of such mixed structures is ...
In recent times the interest in electricity production with Organic Rankine Cycles (ORC) has increased. A look into recent publications shows that the identification of suitable working fluids is in general done by a look at a more or less small number of ...
The tests of the ITER Toroidal Field (TF) full length conductors (hundreds of meters, production phase IN) were started at the end of year 2012 and were performed accordingly to the firmly specified test program. The TF conductors produced by the ITER dome ...
IEEE Institute of Electrical and Electronics Engineers2014
