In the past five years there has been a dramatic increase in work on Search-Based Software
Engineering (SBSE), an approach to Software Engineering (SE) in which Search-Based …

In the past five years there has been a dramatic increase in work on Search Based Software
Engineering (SBSE), an approach to software engineering in which search based …

A large class of entity extraction tasks from text that is either semistructured or fully
unstructured may be addressed by regular expressions, because in many practical cases …

This paper provides a detailed investigation of using the Kullback-Leibler (KL) Divergence
as a way to compare and analyse game-levels, and hence to use the measure as the …

Automatic Synthesis of Regular Expressions from Examples Page 1 72 COMPUTER Published
by the IEEE Computer Society 0018-9162/14/$31.00 © 2014 IEEE RESEARCH FEATURE A …

Recent progress in Game AI has demonstrated that given enough data from human
gameplay, or experience gained via simulations, machines can rival or surpass the most …

In this paper, we investigate an approach to program synthesis that is based on crowd-
sourcing. With the help of crowd-sourcing, we aim to capture the" wisdom of the crowds" to …

In the paper we describe the extended finite-state machine (EFSM) induction method which
uses SAT-solver. Input data for the induction algorithm is a set of test scenarios. The …

This paper describes an active learning approach to the problem of grammatical inference,
specifically the inference of deterministic finite automata (DFAs). We refer to the algorithm as …

Bug reports are used by software testers to identify abnormal software behaviour. In this
paper, we propose a multi-objective evolutionary approach to automatically generate finite …