Mining understandable state machine models from embedded code-Reference-Cited by-同舟云学术

Mining understandable state machine models from embedded code

Published:2020-09-08 Issue:6 Volume:25 Page:4759-4804
ISSN:1382-3256
Container-title:Empirical Software Engineering
language:en
Short-container-title:Empir Software Eng

Author:

Said Wasim,Quante Jochen^ORCID,Koschke Rainer

Publisher

Springer Science and Business Media LLC

Subject

Software

Link

https://link.springer.com/content/pdf/10.1007/s10664-020-09865-0.pdf

Reference48 articles.

1. Alimadadi S, Mesbah A, Pattabiraman K (2018) Inferring hierarchical motifs from execution traces. In: Proceedings of 40th International conference on software engineering, pp 776–787

2. Ammons G, Bodík R, Larus JR (2002) Mining specifications. In: Proceedings 29th symp. on principles of programming languages, pp 4–16

3. Bae JH, Chae HS (2016) Systematic approach for constructing an understandable state machine from a contract-based specification: Controlled experiments. Softw Syst Modell 15(3):847–879

4. Bailey RA (2008) Design of comparative experiments. Cambridge series in statistical and probabilistic mathematics. Cambridge University Press, Cambridge

5. Bryant RE (1986) Graph-based algorithms for boolean function manipulation. IEEE Trans Comput 35(8):677–691

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

1. Guidelines for using financial incentives in software-engineering experimentation;Empirical Software Engineering;2024-08-10

2. Automated Architecture Recovery for Embedded Software Systems: An Industrial Case Study;Lecture Notes in Computer Science;2024

3. Modeling and Implementation of Statechart for MPPT Control of Photovoltaic System in FPGA;Lecture Notes in Electrical Engineering;2021-08-20