Write a Blog >>
EnCyCriS 2021
Thu 3 Jun 2021
co-located with ICSE 2021
Thu 3 Jun 2021 09:00 - 09:30 at EnCyCriS Room - Presentations: session 1

The formal verification technique of model-checking can be used to derive test cases. This approach has become popular as it provides the capabilities of exhaustively exploring the state space of the modeled system and generates counterexamples for properties specified over the model. However, counterexamples only show states, transitions and the values of their parameters. In addition, its semantics are also dependent on input model specification languages and trace representation notations. In this paper, we present a focused test case generation approach from PAT model checker for collaborating systems. The focus is driven by specific and putative attack behaviours. To this end, we devised test specification rules/algorithm to translate counterexamples to test cases. The translation aims at reducing semantic gaps between counterexamples and the corresponding test cases. We assess the viability of the test cases generated from our approach by using JADE simulation framework for aircraft landing scenario in air traffic control domain.

Thu 3 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 09:30
Presentations: session 1EnCyCriS 2021 at EnCyCriS Room
Attack-driven Test Case Generation Approach using Model-checking Technique for Collaborating Systems
EnCyCriS 2021
Zelalem Mihret KAIST, South Korea, Lingjun Liu Korea Advanced Institute of Science and Technology (KAIST)
Media Attached

Information for Participants
Thu 3 Jun 2021 09:00 - 09:30 at EnCyCriS Room - Presentations: session 1
Info for room EnCyCriS Room:

Go directly to this room on Clowdr