Paul Muntean

Learn More
Static analysis tools used for detecting information exposure bugs can help software engineers detecting bugs without introducing run-time overhead. Such tools can make the detection of information-flow bugs faster and cheaper without having to provide user input in order to trigger the bug detection. In this paper we present a bug-detection tool for(More)
—Information flow vulnerabilities in UML state charts and C code are detrimental as they can cause data leakages or unexpected program behavior. Detecting such vulnerabilities with static code analysis techniques is challenging because code is usually not available during the software design phase and previous knowledge about what should be annotated and(More)
In many C programs, debugging requires significant effort and can consume a lot of time. Even if the bug's cause is known, detecting a bug in such programs and generating a bug fix patch manually is a tedious task. In this paper, we present a novel approach used to generate bug fixes for buffer overflow automatically using static execution, code patch(More)
—Mobile robot navigation in total or partially unknown environments is still an open problem. The path planning algorithms lack completeness and/or performance. Thus, there is the need for complete (i.e., the algorithm determines in finite time either a solution or correctly reports that there is none) and performance (i.e., with low computational(More)
Integer overflow errors in C programs are difficult to detect since the C language specification rules which govern how one can cast or promote integer types are not accompanied by any unambiguous set of formal rules. Thus, making it difficult for the programmer to understand and use the rules correctly causing vulnerabilities or costly errors. Although(More)
  • Paul Muntean, Damir Ismailović, Sebastian Paetzold, Bernd Bruegge
  • 2013
—The increasing time, complexity and cost of today video game development projects demand for new software tools capable to support the development of fast runnable video game prototypes. This paper presents our conceptual solution for building runnable video game prototypes. For editing video game levels we added editing capabilities in a mobile software(More)
Dyslexia is a reading disability that can, in some cases, be cured. The most frequent treatment for dyslexia consists on repeatedly performing certain word exercises. Because most dyslexic patients are young children, most applications for word training are games. The development of such games is costly and it involves different parts (developers,(More)