Towards Understandable Guards of Extracted State Machines from Embedded Software

Wasim Said, Jochen Quante, Rainer Koschke. Towards Understandable Guards of Extracted State Machines from Embedded Software. In Xinyu Wang, David Lo 0001, Emad Shihab, editors, 26th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2019, Hangzhou, China, February 24-27, 2019. pages 264-274, IEEE, 2019. [doi]

@inproceedings{SaidQK19,
  title = {Towards Understandable Guards of Extracted State Machines from Embedded Software},
  author = {Wasim Said and Jochen Quante and Rainer Koschke},
  year = {2019},
  doi = {10.1109/SANER.2019.8667983},
  url = {https://doi.org/10.1109/SANER.2019.8667983},
  researchr = {https://researchr.org/publication/SaidQK19},
  cites = {0},
  citedby = {0},
  pages = {264-274},
  booktitle = {26th IEEE International Conference on Software Analysis, Evolution and Reengineering, SANER 2019, Hangzhou, China, February 24-27, 2019},
  editor = {Xinyu Wang and David Lo 0001 and Emad Shihab},
  publisher = {IEEE},
  isbn = {978-1-7281-0591-8},
}