DC Field | Value | Language |
---|---|---|
dc.contributor.author | Mihret,Zelalem | ko |
dc.contributor.author | Liu,Lingjun | ko |
dc.date.accessioned | 2021-11-04T06:43:22Z | - |
dc.date.available | 2021-11-04T06:43:22Z | - |
dc.date.created | 2021-10-26 | - |
dc.date.issued | 2021-06 | - |
dc.identifier.citation | 2nd IEEE/ACM International Workshop on Engineering and Cybersecurity of Critical Systems, EnCyCriS 2021, pp.1 - 8 | - |
dc.identifier.uri | http://hdl.handle.net/10203/288774 | - |
dc.description.abstract | 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. | - |
dc.language | English | - |
dc.publisher | Institute of Electrical and Electronics Engineers Inc. | - |
dc.title | Attack-driven Test Case Generation Approach using Model-checking Technique for Collaborating Systems | - |
dc.type | Conference | - |
dc.identifier.scopusid | 2-s2.0-85113871528 | - |
dc.type.rims | CONF | - |
dc.citation.beginningpage | 1 | - |
dc.citation.endingpage | 8 | - |
dc.citation.publicationname | 2nd IEEE/ACM International Workshop on Engineering and Cybersecurity of Critical Systems, EnCyCriS 2021 | - |
dc.identifier.conferencecountry | SP | - |
dc.identifier.conferencelocation | Madrid | - |
dc.identifier.doi | 10.1109/EnCyCriS52570.2021.00008 | - |
dc.contributor.localauthor | Mihret,Zelalem | - |
dc.contributor.nonIdAuthor | Liu,Lingjun | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.