Conformiq Qtronic is a commercial tool for model driven testing. It derives tests automatically from behavioral system models. These are blackbox tests [1] by nature, which means that they depend on the model and the interfaces of the system under test, but not on the internal structure (e.g. source code) of the implementation. In this essay, which accompanies my invited talk, I survey the natu...

We propose general quantitative methods for evaluating and visualizing the results of machine-generated style-specific accompaniment. The evaluation of automated accompaniment systems, and the degree to which they emulate a style, has been based primarily on subjective opinion. To quantify style similarity between machine-generated and original accompaniments, we propose two types of measures: ...

*FINDINGS fcws foth ngas mgas lgas dim cflt lcab ncrn scrn ocrn grnd temp egas *CLASSES wait open gas rflt clen gbat nstr cws *RULES if lgas then flod(0.80) if between(temp, 0, 50) AND nofm(1, scrn , ocrn) then chok(0.60) if egas then empt(0.90) if cflt then filt(1.00) if lcab then cab(0.90) if scrn AND dim then batd(0.70) if ncrn AND dim then batd(0.90) if ncrn AND not dim then strt(0.70) if g...

With the developments ofWeb2.0, the process for the data on Internet becomes necessary. This Paper reports our work for Chinese weibo segmentation in the 2012 CIPS-SIGHAN bakeoff. In order to improve the recognition accuracy of out-ofvocabulary words, we propose a cascaded model which first segments and disambiguates in-vocabulary words, then recovers out-of-vocabulary words from the fragments....

In this article, an automated statistical test approach for the systematic quality assurance of component-based systems is presented. From state-based component models a compact interaction test model is constructed, which describes component interactions and interaction sequences. The model is annotated with an interaction profile to facilitate the generation of representative test cases and t...

The main idea of component-based development is to use existing components for building software. The resulting software often has features which complicate testing, such a feature is, for example, the absence of component source code. This article proposes an approach for testing, which explicitly takes into account testing-relevant features of component-based software and thus allows more rig...

Knowledge-based systems are often used to support search and navigation in a set of financial services. In a typical process users are defining their requirements and the system selects and ranks alternatives that seem to be appropriate. In such scenarios situations can occur in which requirements can not be fulfilled and alternatives (repairs) must be proposed to the user. In this paper we pro...

If software cannot be tested exhaustively, it must be tested selectively. But, on what should selection be based in order to maximise test effectiveness? It seems sensible to concentrate on the parts of the software where the risks are greatest, but what risks should be sought and how can they be identified and analysed? 'Risk-based testing' is a term in current use, for example in an accredite...

Test Suite Executable Test Scripts Specs Requirements Specs Requirements Specs Requirements Build the model

One-way analysis of covariance is a popular and common statisticalmethod, wherein the equality of the means of several random variables whichhave a linear relationship with a random mathematical variable, is tested. Inthis study, a method is presented to improve the one-way analysis of covari-ance when there is an uncertainty in accepting the statistical hypotheses. Themethod deals with a fuzzy...