E-LIB Suche - Ergebnisse für: Fischer, Bernd

1

Spectrum-based rule- and item-level localization of faults ..:

Raselimo, Moeketsi ; Fischer, Bernd
Journal of Systems and Software. 215 (2024) - p. 112067 , 2024

Link: https://doi.org/10.1016/..

2

Grammar-based test suite construction using coverage-direct..:

Rossouw, Christoff ; Fischer, Bernd
Journal of Systems and Software. 214 (2024) - p. 112068 , 2024

Link: https://doi.org/10.1016/..

3

Improving Spectrum-Based Localization of Multiple Faults by..:

, In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis,

Callaghan, Dylan ; Fischer, Bernd - p. 1445-1457 , 2023

Link: https://dl.acm.org/doi/1..

4

Static Test Case Prioritization Strategies for Grammar-Base..:

, In: 2023 38th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW),

Raselimo, Moeketsi ; Grunske, Lars ; Fischer, Bernd - p. 151-158 , 2023

Link: https://doi.org/10.1109/..

5

Spectral Shaping of a Superluminescent Diode for Terahertz ..:

Tybussek, Kai-Henning ; Kolpatzeck, Kevin ; Cherniak, Vladyslav...
Applied Sciences. 12 (2022) 4 - p. 1772 , 2022

Link: https://doi.org/10.3390/..

6

Experimental investigations on the response of metallic and..:

Schmitt, Rüdiger ; Meyer, Tilo ; Pätzold, Robert..
Procedia CIRP. 111 (2022) - p. 859-863 , 2022

Link: https://doi.org/10.1016/..

7

Proceedings of the 15th ACM SIGPLAN International Conferenc..:

Fischer, Bernd ; Burgueño, Lola ; Cazzola, Walter , 2022

Link: https://dl.acm.org/doi/1..

8

The drug-induced phenotypic landscape of colorectal cancer ..:

Betge, Johannes ; Rindtorff, Niklas ; Sauer, Jan...
Nature Communications. 13 (2022) 1 - p. , 2022

Link: https://doi.org/10.1038/..

9

CBMC-SSM: Bounded Model Checking of C Programs with Symboli..:

, In: Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering,

Fischer, Bernd ; La Torre, Salvatore ; Parlato, Gennaro. - p. 1-5 , 2022

Link: https://dl.acm.org/doi/1..

10

Kleist und Fichte: Anerkennungspolitische Aspekte in ›Amphi..:

, In: Kleist-Jahrbuch 2021,

Fischer, Bernd - p. 49-76 , 2021

Link: https://doi.org/10.1007/..

11

Evaluation of the net energy for lactation system and estim..:

Gruber, Leonhard ; Knaus, Wilhelm ; Susenbeth, Andreas...
Archives of Animal Nutrition. 75 (2021) 1 - p. 1-17 , 2021

Link: https://doi.org/10.1080/..

12

Bounded Verification of Multi-threaded Programs via Lazy Se..:

Inverso, Omar ; Tomasco, Ermenegildo ; Fischer, Bernd..
ACM Transactions on Programming Languages and Systems. 44 (2021) 1 - p. 1-50 , 2021

Link: https://doi.org/10.1145/..

13

Vision: bias in systematic grammar-based test suite constru..:

, In: Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering,

Rossouw, Christoff ; Fischer, Bernd - p. 143-149 , 2021

Link: https://dl.acm.org/doi/1..

14

Bounded Verification of Multi-threaded Programs via Lazy Se..:

Inverso, Omar ; Tomasco, Ermenegildo ; Fischer, Bernd..
ACM Transactions on Programming Languages and Systems (TOPLAS). 44 (2021) 1 - p. 1-50 , 2021

Link: https://dl.acm.org/doi/1..

15

Timer-based proteomic profiling of the ubiquitin-proteasome..:

Kong, Ka-Yiu Edwin ; Fischer, Bernd ; Meurer, Matthias...
Molecular Cell. 81 (2021) 11 - p. 2460-2476.e11 , 2021

Link: https://doi.org/10.1016/..