Learning from Faults: Mutation Testing in Active Automata Learning-Reference-Cited by-同舟云学术

Learning from Faults: Mutation Testing in Active Automata Learning

Published:2017 Issue: Volume: Page:19-34
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Aichernig Bernhard K.,Tappler Martin

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-57288-8_2

Reference30 articles.

1. Aichernig, B.K., Brandl, H., Jöbstl, E., Krenn, W., Schlick, R., Tiran, S.: Killing strategies for model-based mutation testing. Softw. Test. Verif. Reliab. 25(8), 716–748 (2015)

2. Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75(2), 87–106 (1987)

3. Banks, A., Gupta, R. (eds.): MQTT Version 3.1.1. OASIS Standard, October 2014. Latest version: http://docs.oasis-open.org/mqtt/mqtt/v3.1.1/os/mqtt-v3.1.1-os.html

4. Lecture Notes in Computer Science;T Berg,2005

5. Cassel, S., Howar, F., Jonsson, B., Steffen, B.: Active learning for extended finite state machines. Formal Asp. Comput. 28(2), 233–263 (2016)

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Reinforcement Learning Based Grammatical Inference Algorithm Using Block-Based Delta Inverse Strategy;IEEE Access;2023

2. Learning of behavioural models and dependency graphs for communicating systems with CkTailv2;International Journal on Software Tools for Technology Transfer;2022-03-15

3. L∗-based learning of Markov decision processes (extended version);Formal Aspects of Computing;2021-08

4. Mutant selection by using Fourier expansion;TURKISH JOURNAL OF ELECTRICAL ENGINEERING & COMPUTER SCIENCES;2020-09-25

5. Model generation of component-based systems;Software Quality Journal;2020-01-02