Formal specifications provide strong bases for testing and bring powerful techniques and technologies. Expressive formal specification languages combine large data domain and behavior. Thus, symbolic methods have raised particular interest for test generation techniques. Integrating formal testing in proof environments such as Isabelle/HOL is referred to as “theorem-prover based testing”. Theor...

dementia is a syndrome encompassing many intellectual domains that can be broadly defined as an overall decline in intellectual function including difficulties with language, simple calculations, planning and judgment and motor skills as well as loss of memory. a genetic cause is identified in only a minority of patients, but patients and their family members are frequently concerned about the ...

We study the problem of testing whether a context-free language is included in a fixed set L0, where L0 is the language of words reducing to the empty word in the monoid defined by a complete string rewrite system. We prove that, if the monoid is cancellative, then our inclusion problem is polynomially reducible to the problem of testing equivalence of straight-line programs in the same monoid....

Testing is a useful and practical way to improve code quality. However, current testing strategies do not have a high degree of automation, and are not well integrated into the programming environment. We propose the design, construction, and evaluation of a new programming language called Sulu that supports fully automatic testing. In this paper, we give an outline of the testing strategy for ...

The REMU project addresses the problem of reliable multilingual communication in a digital setting. It is a cooperation of research groups from language technology, software testing and formal methods. REMU has three tracks: a translation track, in which human language translation is approached with methods from compiler technology, to guarantee meaning preservation; a testing track, in which s...

The present study was an attempt to investigate the washback effect of the TEFL MA University Entrance Exam on the teaching and learning behaviors of students and professors. The TEFL MA UEE consists of three sub-components that deal with particular aspects of applied linguistics; each of these parts measures the participants’ knowledge in linguistics, language testing, and teaching methodology...

Paradigm shift in language education has caused many countries including Iran to reshuffle their public EFL educational program. However, such a promising trend in Iran has entailed serious challenges, which necessitated this study aimed at collecting data from 70 teachers and 70 students to investigate the CLT challenges in terms of both teachers' pedagogical and assessment areas. A Partial Le...

Mutation analysis is a powerful technique for testing software systems. The Mothra software testing project uses mutation analysis as the basis for an integrated software testing environment. Mutation analysis requires executing many slightly differing versions of the same program to evaluate the quality of the data used to test the program. The current version of Mothra includes a complete lan...