Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Frank Busse"'
Publikováno v:
International Symposium on Software Testing and Analysis (ISSTA 2022)
Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis
Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis
This paper reports on our experience implementing a technique for sifting through static analysis reports using dynamic symbolic execution. Our insight is that if a static analysis tool produces a partial trace through the program under analysis, ann
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::274614e5a56e31d184bbcfa924d7e017
http://hdl.handle.net/10044/1/97427
http://hdl.handle.net/10044/1/97427
Publikováno v:
ASE
IEEE/ACM International Conference on Automated Software Engineering (ASE 2020)
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
IEEE/ACM International Conference on Automated Software Engineering (ASE 2020)
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
Symbolic execution is a well established technique for software testing and analysis. However, scalability continues to be a challenge, both in terms of constraint solving cost and path explosion. In this work, we present a novel approach for symboli
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9dd84c383e7e79b475f8fb56105d3660
https://doi.org/10.1145/3324884.3416589
https://doi.org/10.1145/3324884.3416589
Publikováno v:
ISSTA
Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis
29th ACM SIGSOFT International Symposium on Software Testing and Analysis
Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis
29th ACM SIGSOFT International Symposium on Software Testing and Analysis
When symbolic execution is used to analyse real-world applications, it often consumes all available memory in a relatively short amount of time, sometimes making it impossible to analyse an application for an extended period. In this paper, we presen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cbff7dcd39bdf73e3d91a410734f2984
https://doi.org/10.1145/3395363.3397360
https://doi.org/10.1145/3395363.3397360
Publikováno v:
Archives of Clinical Neuropsychology. 17:485-496
Background: A functional disturbance of the right parietal cortex (PC) is supposed to be responsible for the distorted body image in patients with anorexia nervosa (AN). Based on this assumption, we investigated changes in haptic perception with a ne
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c180de0272c481323aea74beabe23b4e
https://doi.org/10.1093/arclin/17.5.485
https://doi.org/10.1093/arclin/17.5.485
Autor:
Anke Hensel, Herman-Josef Gertz, Frithjof Kruggel, Martin Grunwald, Frank Busse, Hendrike Wolf, Steffi G. Riedel-Heller, Thomas Arendt
Publikováno v:
Alzheimer Disease & Associated Disorders. 16:40-48
The aim of this study was to investigate spectral EEG theta-power during perceptive-cognitive demands in age-homogeneous groups of subjects with mild cognitive impairment (MCI), mild dementia (MDE), and a healthy control (CO) group. The present study
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6ce8ca8b909a2febfd72b6dbf520ad93
https://doi.org/10.1097/00002093-200201000-00006
https://doi.org/10.1097/00002093-200201000-00006
Autor:
Werner Krause, Christine Ettrich, Frank Busse, Angelika Dähne, Martin Grunwald, Bianka Assmann, H. J. Gertz
Publikováno v:
International Journal of Eating Disorders. 29:417-428
Objective Our goal was to investigate whether patients with anorexia nervosa (AN) show deficits in haptic exploration tasks before and after weight gain. Method The haptic exploration tasks consisted of palpating the structure of six sunken reliefs i
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cf3cfef2f9775d359745caead2710f7c
https://doi.org/10.1002/eat.1038
https://doi.org/10.1002/eat.1038
Autor:
Irina Lehmann, Maria Biskop, Frank Busse, Ulrich Sack, Anja Saalbach, Frank Emmrich, Astrid Jüngel, Jörg Lehmann
Publikováno v:
Journal of Autoimmunity. 15:301-313
The objective of this study was to verify whether isolated rheumatoid arthritis (RA) synovial fibroblasts induce chronic arthritis in SCID mice, in analogy to whole tissue pieces. Fibroblasts were isolated from the synovial membrane of four RA patien
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::276b02a452d027912aa9539e281f8b08
https://doi.org/10.1006/jaut.2000.0435
https://doi.org/10.1006/jaut.2000.0435
Autor:
Stefan Geweke, Frank Busse
Publikováno v:
Operations Research/Computer Science Interfaces Series ISBN: 9781441984074
Looking at the modal split for hinterland transport of most big seaport container terminals of the north range, the average portion of the truck is 63%. Hence, road transport is the dominating mode concerning hinterland connections. In order to organ
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7478bbb7579950b9cf35689340fbc2e9
https://doi.org/10.1007/978-1-4419-8408-1_15
https://doi.org/10.1007/978-1-4419-8408-1_15
Autor:
Thomas Arendt, Frithjof Kruggel, Steffi G. Riedel-Heller, M. Wolf, Frank Busse, Martin Grunwald, H. J. Gertz, Anke Hensel
Publikováno v:
Journal of clinical neurophysiology : official publication of the American Electroencephalographic Society. 18(2)
Cognitive decline is known to be associated with both increased theta power over frontal regions and hippocampal atrophy. The aim of this study was to reveal the relation between these parameters in groups with mild dementia, mild cognitive impairmen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::20c17173fe8c1f55cf1d1fbddb1a3743
https://pubmed.ncbi.nlm.nih.gov/11435810
https://pubmed.ncbi.nlm.nih.gov/11435810