automatic test pattern generation algorithms

... augmented with automatically generated tests. Automatic test gen- eration has received a lot of research attention, and there are several algorithms and implementations that generate test suites. ... ACM 978-1-59593-734-6/07/0007 $5.00. Keywords: directed random testing, database applica- tions, automatic test generation, concolic testing. 1. INTRODUCTION Programs that interact with database ... and a tool for the automatic generation of test input data for database applications. Given a program which makes calls to a database through an API, we automatically generate test inputs for the...

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

... systems are compatible; the former enables the semi- automatic derivation of basic algorithms, the latter enables the automatic testing of such algorithms. When a linguist wishes to derive an algorithm, ... for that context. From the viewpoint of automatic formula finding and testing, it is desirable to search for algorithms that are free of interaction, algorithms that can be derived and studied ... Problems of testing translation algorithms by ma- chine have been discussed elsewhere and automatic programming systems are being devised to facilitate the communication of algorithms from...

Ngày tải lên: 16/03/2014, 19:20

... Predicate-Argument patterns and Chain-model patterns that contribute to the extraction task. (d) Subtree model patterns that contribute the extraction task. creases. In particular, many of the pattern candidates overlap ... extraction patterns, if pattern A subsumes pattern B (say, A is (shoot ( C-PERSON -OBJ)(to death)) and B is (shoot ( C- PERSON -OBJ))), there is no added contribution for extraction by pattern matching ... document set from the one used for pattern learning. The pattern match- ing system, given a set of extraction patterns, clas- sifies a document as retrieved if any of the patterns match any portion of...

Ngày tải lên: 23/03/2014, 19:20

... cells [10]. In the ventral tegmental area and the substantia ni- gra, the pattern of iCre expression was similar to the pattern of expression of the endogenous DAT gene reported in previous in ... Authors Journal compilation ª 2007 FEBS 3573 Analysis of dopamine transporter gene expression pattern ) generation of DAT-iCre transgenic mice Marc Turiault 1, *, Se ´ bastien Parnaudeau 1, *, Aude ... and A10 nuclei (Fig. 1B). Cre-mediated recombination pattern We investigated the distribution of Cre expression and the DNA recombination pattern in the transgenic mouse line, by analyzing one...

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

... is generation from bag-of-words, the task is known to be at the high-complexity extreme of the run-time behavior of our algorithms. As such, we consider it a good test for the ability of our algorithms ... speed-up obtained by using them in the search algorithms. 3.4 Formal Properties of IDL-NGLM algorithms The following theorem states the correctness of our algorithms, in the sense that they find the ... in the number of words available for generation. 4 Evaluation of IDL-NGLM Algorithms In this section, we present results concerning the performance of our algorithms on a word- ordering task....

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

... CONCLUSION In this paper we discussed several aspects of two natu- ral language generation algorithms: SHDGA and EAA. Both algorithms operate under the same general set of conditions, that is, given ... PEREIRA, F.C.N. 1990. "Semantic-Head-Driven Generation. " Computational Linguistics, Volume 16, Number 1. [W88] WEDEKIND, J. 1988. " ;Generation as Structure Driven Derivation.* ... apparently be used for both generation, [SNMP90], and parsing, [K90], [N89]. The point is that some grammars (as shown in the example above) need to be rewritten for parsing or generation, or else...

Ngày tải lên: 31/03/2014, 06:20

Ngày tải lên: 17/08/2013, 10:00

Ngày tải lên: 17/08/2013, 10:00

Ngày tải lên: 17/10/2013, 20:15

Ngày tải lên: 20/10/2013, 12:15

Ngày tải lên: 20/10/2013, 12:15

Ngày tải lên: 24/10/2013, 11:15

Ngày tải lên: 24/10/2013, 11:15

Ngày tải lên: 28/10/2013, 18:15

Ngày tải lên: 28/10/2013, 18:15

Ngày tải lên: 07/11/2013, 13:15

Ngày tải lên: 07/11/2013, 13:15

Ngày tải lên: 14/12/2013, 18:16

Ngày tải lên: 14/12/2013, 18:16

Ngày tải lên: 14/12/2013, 18:16