Zobrazeno 1 - 7
of 7
pro vyhledávání: '"Christoph Mallon"'
Autor:
Daniel Kaestner, Stephan Wilhelm, Christoph Mallon, Stefana Schank, Christian Ferdinand, Laurent Mauborgne
Publikováno v:
SAE Technical Paper Series.
Preventing systematic software failures is of paramount importance for any highly automatic vehicle control system, in particular for safety-critical AUTOSAR software. Among the most critical software defects are runtime errors like buffer overflows
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2a850cbfd8046248e031fda623413213
https://doi.org/10.4271/2023-01-0591
https://doi.org/10.4271/2023-01-0591
We show that a widely used benchmark set for the comparison of static”=analysis tools exhibits an impressive number of weaknesses, and that the internationally accepted quantitative”=evaluation metrics may lead to useless results. The weaknesses
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::944c0d40f6592c72ec28f0ac6383a003
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319662657
SAFECOMP
SAFECOMP
We show that a widely used benchmark set for the comparison of static analysis tools exhibits an impressive number of weaknesses, and that the internationally accepted quantitative evaluation metrics may lead to useless results. The weaknesses in the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a2a3692829db54cde2646458ab1febab
https://doi.org/10.1007/978-3-319-66266-4_13
https://doi.org/10.1007/978-3-319-66266-4_13
Autor:
Valentin Dallmeier, Andreas Zeller, Gordon Fraser, N. Knopp, Christoph Mallon, Sebastian Hack
Publikováno v:
IEEE Transactions on Software Engineering
Dynamic specification mining observes program executions to infer models of normal program behavior. What makes us believe that we have seen sufficiently many executions? The TAUTOKO (“Tautoko” is the Maori word for “enhance, enrich.”) typest
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3a0b32aacf23ca672e12211564b8a01c
https://doi.org/10.1109/tse.2011.105
https://doi.org/10.1109/tse.2011.105
Autor:
Christoph Mallon, Sebastian Hack, Sebastian Buchwald, Roland Leißa, Matthias Braun, Andreas Zwinkau
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642370502
CC
CC
We present a simple SSA construction algorithm, which allows direct translation from an abstract syntax tree or bytecode into an SSA-based intermediate representation. The algorithm requires no prior analysis and ensures that even during construction
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8565bda8fe49902b5881dc2c03c93a78
Publikováno v:
ISSTA
Dynamic specification mining observes program executions to infer models of normal program behavior. What makes us believe that we have seen sufficiently many executions? The typestate miner generates test cases that cover previously unobserved behav
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6adb4dad6db2ccc6d7f32196716d150a
https://doi.org/10.1145/1831708.1831719
https://doi.org/10.1145/1831708.1831719
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642119699
CC
CC
This paper deals with coalescing in SSA-based register allocation. Current coalescing techniques all require the interference graph to be built. This is generally considered to be too compile-time intensive for just-in-time compilation. In this paper
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e0e35744761f9ca151a4d20f1dd7a7fd
https://doi.org/10.1007/978-3-642-11970-5_12
https://doi.org/10.1007/978-3-642-11970-5_12