@article{Gold2010, author = {Gold, Robert}, title = {Control flow graphs and code coverage}, volume = {20}, journal = {International Journal of Applied Mathematics and Computer Science}, number = {4}, publisher = {Sciendo}, address = {Warsaw}, issn = {2083-8492}, doi = {https://doi.org/10.2478/v10006-010-0056-9}, pages = {739 -- 749}, year = {2010}, abstract = {The control flow of programs can be represented by directed graphs. In this paper we provide a uniform and detailed formal basis for control flow graphs combining known definitions and results with new aspects. Two graph reductions are defined using only syntactical information about the graphs, but no semantical information about the represented programs. We prove some properties of reduced graphs and also about the paths in reduced graphs. Based on graphs, we define statement coverage and branch coverage such that coverage notions correspond to node coverage, and edge coverage, respectively.}, language = {en} } @inproceedings{Gold2017, author = {Gold, Robert}, title = {Work-in-Progress: Combining control flow checking for safety and security in embedded software}, pages = {5}, booktitle = {EMSOFT '17: Proceedings of the Thirteenth ACM International Conference on Embedded Software 2017 Companion}, publisher = {ACM}, address = {New York}, isbn = {978-1-4503-5186-7}, doi = {https://doi.org/10.1145/3125503.3125563}, year = {2017}, language = {en} } @misc{Gold2004, author = {Gold, Robert}, title = {Petri Nets in Software Engineering}, series = {Arbeitsberichte - Working Papers (5)}, editor = {Der Pr{\"a}sident der Fachhochschule Ingolstadt,}, publisher = {Fachhochschule Ingolstadt}, publisher = {Technische Hochschule Ingolstadt}, address = {Ingolstadt}, issn = {1612-6483}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:573-203}, pages = {24}, year = {2004}, abstract = {In this paper we investigate the use of Petri nets in software engineering extending the classical software development process with simulation and mathematical analysis based on place/transition nets. The advantage is that equirements can be validated earlier and fault detection and correction is less expensive. We show how to construct nets from basic patterns and demonstrate this for an application in automotive electronics, the cruise control with distance warning. The resulting nets can be simulated and analysed using Petri net tools and embedded into an object-oriented framework, where transitions are triggered by messages.}, language = {en} } @article{Gold2015, author = {Gold, Robert}, title = {A uniform approach to control flow graphs of programs}, volume = {93}, journal = {Far East Journal of Applied Mathematics}, number = {1}, publisher = {Pushpa Publishing House}, address = {Allahabad}, issn = {0972-0960}, doi = {https://doi.org/10.17654/FJAMOct2015_027_049}, pages = {27 -- 49}, year = {2015}, language = {en} }