Software systems are present all around us and playing their vital roles in our daily life. The
correct functioning of these systems is of prime concern. In addition to classical testing …

The wealth of model-based techniques in software engineering—such as model checking or
model-based testing—is starkly contrasted with a frequent lack of formal models in practical …

In black-box checking (BBC) incremental hypotheses on the behavior of a system are
learned in the form of finite automata, using information from a given set of requirements …

Videogame level designs can contain errors called softlocks where a player traversing the
level in an unintended manner can become permanently stuck. In this paper, we explore the …

There has been a recent growth of interest in software engineering community to use
grammatical inference, aka automaton learning, in software engineering applications. This is …

Software development is the process of computer programming, documenting, testing, and
bug fixing involved in creating and maintaining a program [1]. A software development …

Abstract In Black-Box Checking (BBC) incremental hypotheses of a system are learned in
the form of finite automata. On these automata LTL formulae are verified, or their …

Debugging is an essential step in the software development life-cycle. Automatic test
generation techniques and tools have significantly improved software development. Test …

Efficient Learning and Analysis of System Behavior Page 1 Efficient Learning and Analysis of
System Behavior Jeroen Meijer Page 2 E cient Learning and Analysis of System Behavior …

Learning-based testing (LBT) is a relatively new testing paradigm which automatically
generates test cases for blackbox testing of a system under test (SUT). LBT uses machine …