E-LIB Suche - Ergebnisse für: Grunske, Lars - Sprache DE

OpenAccess-Volltexte X

Personensuche X

Sortierung: Relevanz

Sortierung: Jahr

1

Formal Synthesis of Uncertainty Reduction Controllers:

Carwehl, Marc ; Imrie, Calum ; Vogel, Thomas...
http://arxiv.org/abs/2401.17187. , 2024

Link: http://arxiv.org/abs/240..

2

RaQuN: a generic and scalable n-way model matching algorith:

Schultheiß, Alexander ; Bittner, Paul Maximilian ; Boll, Alexander...
http://dx.doi.org/10.18725/OPARU-50729. , 2023

Link: https://doi.org/10.18725..

3

Semantic Debugging:

Martin Eberlein ; Marius Smytzek ; Dominic Steinhöfel..
doi:10.60882/cispa.25304416.v1. , 2023

Link: https://doi.org/10.60882..

4

Grammar-based fuzzing of data integration parsers in comput..:

Müller, Sebastian ; Sparka, Jan Arne ; Kuban, Martin..
1097-024X. , 2023

Link: http://edoc.hu-berlin.de..

5

Tests4Py: A Benchmark for System Testing:

Smytzek, Marius ; Eberlein, Martin ; Serce, Batuhan..
http://arxiv.org/abs/2307.05147. , 2023

Link: http://arxiv.org/abs/230..

6

Toward Research Software Engineering Research:

Felderer, Michael ; Goedicke, Michael ; Grunske, Lars...
doi:10.5281/zenodo.8020524. , 2023

Link: https://zenodo.org/recor..

7

Semantic Debugging:

Martin Eberlein ; Marius Smytzek ; Dominic Steinhöfel..
doi:10.60882/cispa.25304416.v1. , 2023

Link: https://doi.org/10.60882..

8

20th Workshop on Automotive Software Engineering (ASE'23):

Kugele, Stefan ; Grunske, Lars
https://opus4.kobv.de/opus4-haw/frontdoor/index/index/docId/3216. , 2023

Link: https://opus4.kobv.de/op..

9

Runtime Verification of Self-Adaptive Systems with Changing..:

Carwehl, Marc ; Vogel, Thomas ; Rodrigues, Genaína Nunes.
http://arxiv.org/abs/2303.16530. , 2023

Link: http://arxiv.org/abs/230..

10

A User Study for Evaluation of Formal Verification Results ..:

Kaleeswaran, Arut Prakash ; Nordmann, Arne ; Vogel, Thomas.
http://arxiv.org/abs/2304.08950. , 2023

Link: http://arxiv.org/abs/230..

11

Automatically finding Metamorphic Relations in Computationa..:

Müller, Sebastian ; Gogoll, Valentin ; Vu, Anh Duc..
doi:10.5281/zenodo.7128527. , 2022

Link: https://zenodo.org/recor..

12

A Property Specification Pattern Catalog for Real-Time Syst..:

Vogel, Thomas ; Carwehl, Marc ; Rodrigues, Genaína Nunes.
http://arxiv.org/abs/2211.03817. , 2022

Link: http://arxiv.org/abs/221..

13

Inputs from Hell: Learning Input Distributions for Grammar-..:

Soremekun, Ezekiel ; Pavese, Esteban ; Havrikov, Nikolas..
http://orbilu.uni.lu/handle/10993/46098. , 2022

Link: http://orbilu.uni.lu/han..

14

BeDivFuzz: Integrating Behavioral Diversity into Generator-..:

Nguyen, Hoang Lam ; Grunske, Lars
http://arxiv.org/abs/2202.13114. , 2022

Link: http://arxiv.org/abs/220..

15

Automatically finding Metamorphic Relations in Computationa..:

Müller, Sebastian ; Gogoll, Valentin ; Vu, Anh Duc..
doi:10.5281/zenodo.6786999. , 2022

Link: https://zenodo.org/recor..

1-15