Testing is a vital part of the software development process. It is even more so in the context of concurrent languages, since due to undesired task interleavings and to unexpected behaviours of the underlying task scheduler, errors can go easily undetected. Test case generation (TCG) is the process of automatically generating test inputs for interesting coverage criteria, which are then applied...

We describe a neural network, called RufeNet, that learns explicit, symbolic condition-action rules in a formal string manipulation domain. RuleNet discovers functional categories over elements of the domain, and, at various points during learning, extracts rules that operate on these categories. The rules are then injected back into RuleNet and training continues, in a process called iterative...

The second statement of Corollary 3 was first proved by Almeida and Volkov using techniques coming from symbolic dynamics [2]. Our next result generalizes a result of Rhodes and the author showing that all elements of finite order in F̂V(A) are group elements, which played a key role in proving that such elements are in fact idempotent [7]. Let N̂ denote the profinite completion of the monoid of ...

Video structuring, in particular applied to TV programs which have strong editing structures, mostly relies on supervised approaches either to retrieve a known structure for which a model has been obtained or to detect key elements from which a known structure is inferred. In this paper, we propose an unsupervised approach to recurrent TV program structuring, exploiting the repetitiveness of ke...

Finite automata model a wide array of applications in software engineering, from regular expressions to specification languages. Finite transducers are an extension of finite automata to model functions on lists of elements, which in turn have uses in fields as diverse as computational linguistics and model-based testing. Symbolic finite transducers are a further generalization of finite transd...

seals and clay sealings are the most important cultural material of sasanian period. there have been a few seals and bullas of various periods retained in the moghadam museum of tehran. these materials have not been introduced so far. authors of the present paper aim at to study and introduce the sasanian seals and bullas of this museum especially those bearing animal symbolic motifs. we do thi...

examining the planning of cemeteries in the urbanism system of iran does not show a goodcondition. in fact, cemeteries in the most persian cities have become large-scale open spaces outside the city. this couldcause irreparable damage to the cities because of the partial and/or improper use of the capacity of urban lands. alongwith this, historical cemeteries within the cities have been abandon...

Subsumption • Symbolic execution with subsumption checking – Not enough to ensure termination – An infinite number of symbolic states • Our solution – Abstraction • Store abstract versions of explored symbolic states • Subsumption checking to determine if an abstract state is re-visited • Decide if the search should continue or backtrack – Enables analysis of under-approximation of program beha...