"... In PAGE 8: ... This results in a dramatic reduction in testing costs. Table6 shows estimated system development costs using different specification configurations. To date, most research on automated software testing has focused on structural testing, which is testing based on execution paths for code with a specified function.... ..."

"... In PAGE 2: ... LonWorks [12] was chosen as an exemplary fieldbus system because it is common in large size installations. In the next Section we will explain the generated network model to develop step-by-step the details of Table3 . Therein the integral parts of the model are collected and assigned to their specific information sources to clarify the process of automatic modeling.... In PAGE 4: ... 2. UML model representing the physical structure All information necessary to build up the physical model is contained in the design database (see Table3 ). We automatically read the entire network structure from this database and generate the model as mentioned above.... In PAGE 8: ... The designer can replace such defaults with correct values to increase the model precision. Please refer to Table3 for further details. 2.... In PAGE 10: ...ig. 8. Queuing model for a single room control with a centralized management system 4 Used Databases In the following subsection we focus the sources of information used to generate the introduced model. In the first column of Table3 the key elements of the model that only excerpt items of the entire acquired model knowledge (design database) are summarized. The other columns represent the sources listed in Section 2.... ..."

"... In PAGE 2: ... LonWorks [12] was chosen as an exemplary fieldbus system because it is common in large size installations. In the next Section we will explain the generated network model to develop step-by-step the details of Table3 . Therein the integral parts of the model are collected and assigned to their specific information sources to clarify the process of automatic modeling.... In PAGE 4: ... 2. UML model representing the physical structure All information necessary to build up the physical model is contained in the design database (see Table3 ). We automatically read the entire network structure from this database and generate the model as mentioned above.... In PAGE 8: ... The designer can replace such defaults with correct values to increase the model precision. Please refer to Table3 for further details. 2.... In PAGE 10: ...ig. 8. Queuing model for a single room control with a centralized management system 4 Used Databases In the following subsection we focus the sources of information used to generate the introduced model. In the first column of Table3 the key elements of the model that only excerpt items of the entire acquired model knowledge (design database) are summarized. The other columns represent the sources listed in Section 2.... ..."

"... In PAGE 4: ... Also the oracle needs to be flexible enough to easily adjust to the dynamics of test generation. Table3 presents some comparisons of manual and automatic testing relative to test oracles. Table 3: Comparison of Manual and Automated Testing Manual Testing Automated Testing ... ..."

"... In PAGE 6: ... Then, third parties can discover and use the composed service. 5 Additional Aspects of the Methodology Our methodology identifies eleven model transformation steps that can be automated ( Table1 ). For each transforma- tion we specify to which phase it belongs, the source and target in the transformation, and if there exist any proof-of- concept transformations or tools described in the literature.... ..."

"... In PAGE 3: ... It can also be used to proveunderivabilityof a conjecture,by attempting to generate a model of the premises in which the conjecture is false. Table1 summarizes how to test for the criteria.2... ..."

"... In PAGE 1: ...epth of terms). (The strategy is incomplete, so \sos empty quot; does not indicate satis ability.) Proofs were found in 1224 (46%) of the runs, 1327 were stopped by the time limit, 13 ran out of memory, 85 stopped because the sos list was empty, and 3 stopped because a clause with a very deep term was generated. Table1 gives the number of proofs that were found within several other time limits. Table 1: Proofs Within Various Time Limits Seconds Proofs... ..."

"... In PAGE 15: ... Using these forbidden ratios, we see that c(1) = c(3), c(2), and c(4) must be different colors. We present a computer-generated proof of the rest of this lemma in Table1 . Without loss of generality, assume that our set of colors is {0, 1, 2, 3} and that c(1) = c(3) = 0, c(2) = 1, and c(4) = 2; we must derive a contradiction.... In PAGE 15: ... Without loss of generality, assume that our set of colors is {0, 1, 2, 3} and that c(1) = c(3) = 0, c(2) = 1, and c(4) = 2; we must derive a contradiction. We describe briefly how to read Table1 . In the left-most column, the assumptions that we make are listed.... ..."

"... In PAGE 17: ...8 it is described what costs of clauses are, and how costs can be changed. The default costs of clauses are listed in Table2 on page 42. translate: With the help of this ag you can determine whether all or only some Prolog clauses are generated.... In PAGE 41: ... Afterwards the rst value is subtracted from the depth resources. In Table2 you see that usually the second number is 0. Use Flag search to switch between Prolog apos;s depth rst search (value prolog) and iterative tree deepening (default value id_tree).... ..."