Turker, Uraz; Hierons, Robert; Mousavi, Mohammad Reza; Tyukin, Ivan
Efficient state synchronisation in model-based testing through reinforcement learning Inproceedings
In: Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021)., IEEE/ACM, 2021.
@inproceedings{MousaviASE2021,
title = {Efficient state synchronisation in model-based testing through reinforcement learning},
author = { Turker, Uraz and Hierons, Robert and Mousavi, Mohammad Reza and Tyukin, Ivan },
url = {https://nms.kcl.ac.uk/mohammad.mousavi/pub/mousavi-ase-2021.pdf},
year = {2021},
date = {2021-11-15},
booktitle = {Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering (ASE 2021).},
publisher = {IEEE/ACM},
abstract = {Model-based testing is a structured method to test
complex systems. Scaling up model-based testing to large systems
requires improving the efficiency of various steps involved in test-
case generation and more importantly, in test-execution. One of
the most costly steps of model-based testing is to bring the system
to a known state, best achieved through synchronising sequences.
A synchronising sequence is an input sequence that brings a given
system to a predetermined state regardless of system’s initial
state. Depending on the structure, the system might be complete,
i.e., all inputs are applicable at every state of the system. However,
some systems are partial and in this case not all inputs are
usable at every state. Derivation of synchronising sequences
from complete or partial systems is a challenging task. In this
paper, we introduce a novel Q-learning algorithm that can derive
synchronising sequences from systems with complete or partial
structures. The proposed algorithm is faster and can process
larger systems than the fastest sequential algorithm that derives
synchronising sequences from complete systems. Moreover, the
proposed method is also faster and can process larger systems
than the most recent massively parallel algorithm that derives
synchronising sequences from partial systems. Furthermore, the
proposed algorithm generates shorter synchronising sequences.},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
Amram, Gal; Maoz, Shahar; Pistiner, Or; Ringert, Jan Oliver
Efficient Algorithms for Omega-Regular Energy Games Inproceedings
In: Huisman, Marieke; Pasareanu, Corina S.; Zhan, Naijun (Ed.): Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings, pp. 163–181, Springer, 2021.
@inproceedings{DBLP:conf/fm/AmramMPR21,
title = {Efficient Algorithms for Omega-Regular Energy Games},
author = {Gal Amram and Shahar Maoz and Or Pistiner and Jan Oliver Ringert},
editor = {Marieke Huisman and Corina S. Pasareanu and Naijun Zhan},
url = {https://doi.org/10.1007/978-3-030-90870-6_9},
doi = {10.1007/978-3-030-90870-6_9},
year = {2021},
date = {2021-11-11},
booktitle = {Formal Methods - 24th International Symposium, FM 2021, Virtual
Event, November 20-26, 2021, Proceedings},
volume = {13047},
pages = {163--181},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
keywords = {},
pubstate = {published},
tppubtype = {inproceedings}
}
Maoz, Shahar; Ringert, Jan Oliver
Spectra: a specification language for reactive systems Journal Article
In: Softw. Syst. Model., 20 (5), pp. 1553–1586, 2021.
@article{DBLP:journals/sosym/MaozR21,
title = {Spectra: a specification language for reactive systems},
author = {Shahar Maoz and Jan Oliver Ringert},
url = {https://doi.org/10.1007/s10270-021-00868-z},
doi = {10.1007/s10270-021-00868-z},
year = {2021},
date = {2021-11-03},
journal = {Softw. Syst. Model.},
volume = {20},
number = {5},
pages = {1553--1586},
keywords = {},
pubstate = {published},
tppubtype = {article}
}