Context Model-based testing (MBT) aims to generate executable test cases from behavioral
models of software systems. MBT gains interest in industry and academia due to its …

Autonomous systems are on the rise. However, the challenge to test autonomous systems to
ensure their safe and fault‐free behaviour is not solved yet. This is especially critical when …

Context Genetic algorithm (GA) is an important intelligent method in the area of automatic
software test data generation. However, existing GAs tend to get trapped in the local optimal …

Abstract Multi-Agent Systems (MASs) have been reshaping how complex problems are
decomposed into distributed and decentralised solutions in different sectors. On the …

Search Based Software Engineering basically involves amalgamation of software
engineering, operation research and metaheuristic techniques. It is specially excelled in …

Com o aumento da utilização de sistemas computacionais, agente racional surge como
uma tecnologia promissora na solução desde problemas simples como em sistemas com …

Although much progress has been made in engineering multi-agent systems (MAS), many
issues remain to be resolved. One issue is that there is a lack of techniques that can …

概要マルチエージェントシステム (MAS) の開発の課題の一つは, インタラクションを適切に開発する
ことが難しいことである. そこで, 本研究ではインタラクションを一つのソフトウェアモジュールとして …