Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Grunske, Lars
152  Ergebnisse:
Personensuche X
?
1

Research Software Engineering: Forschungssoftware effizient..:

Grunske, Lars ; Lamprecht, Anna-Lena ; Hasselbring, Wilhelm.
Forschung & Lehre.  31 (2024)  3 - p. 186-188 , 2024
Exemplare: Zentrale;
 
?
2

Tests4Py: A Benchmark for System Testing:

, In: Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering,
Smytzek, Marius ; Eberlein, Martin ; Serçe, Batuhan.. - p. 557-561 , 2024
Link: https://dl.acm.org/doi/1..
 
?
3

Formal Synthesis of Uncertainty Reduction Controllers:

, In: Proceedings of the 19th International Symposium on Software Engineering for Adaptive and Self-Managing Systems,
Carwehl, Marc ; Imrie, Calum ; Vogel, Thomas... - p. 2-13 , 2024
Link: https://dl.acm.org/doi/1..
 
?
4

P3: A Dataset of Partial Program Fixes:

, In: Proceedings of the 21st International Conference on Mining Software Repositories,
Beyer, Dirk ; Grunske, Lars ; Kettl, Matthias.. - p. 123-127 , 2024
Link: https://dl.acm.org/doi/1..
 
?
5

Explainability for Property Violations in Cyber-Physical Sy..:

Costa de Araujo, João Paulo ; Rodrigues, Genaína Nunes ; Carwehl, Marc...
IEEE Software.  , 2024
Link: https://doi.org/10.1109/..
 
?
6

Formal Synthesis of Uncertainty Reduction Controllers:

, In: 2024 IEEE/ACM 19th Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS),
Carwehl, Marc ; Imrie, Calum ; Vogel, Thomas... - p. 2-13 , 2024
Link: https://doi.org/10.1145/..
 
?
7

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..
 
?
8

Explanation of the Model Checker Verification Results:

Kaleeswaran, Arut Prakash , 2023
Link: https://nbn-resolving.de..
 
?
9

Adversarial example‐based test case generation for black‐bo..:

Cai, Hanbo ; Zhang, Pengcheng ; Dong, Hai...
Software Testing, Verification and Reliability.  33 (2023)  5 - p. , 2023
Link: https://doi.org/10.1002/..
 
?
10

A user study for evaluation of formal verification results ..:

Kaleeswaran, Arut Prakash ; Nordmann, Arne ; Vogel, Thomas.
Empirical Software Engineering.  28 (2023)  5 - p. , 2023
Link: https://doi.org/10.1007/..
 
?
11

Semantic Debugging:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,
Eberlein, Martin ; Smytzek, Marius ; Steinhöfel, Dominic.. - p. 438-449 , 2023
Link: https://dl.acm.org/doi/1..
 
?
12

Design by Contract Revisited in the Context of Scientific D..:

, In: 2023 IEEE 19th International Conference on e-Science (e-Science),
Vu, Anh Duc ; Sparka, Jan Arne ; De Mecquenem, Ninon... - p. 1-2 , 2023
Link: https://doi.org/10.1109/..
 
?
13

A property specification pattern catalog for real-time syst..:

Vogel, Thomas ; Carwehl, Marc ; Rodrigues, Genaína Nunes.
Information and Software Technology.  154 (2023)  - p. 107100 , 2023
Link: https://doi.org/10.1016/..
 
?
14

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/..
 
?
15

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

Müller, Sebastian ; Sparka, Jan Arne ; Kuban, Martin..
Software: Practice and Experience.  54 (2023)  2 - p. 208-224 , 2023
Link: https://doi.org/10.1002/..
 
1-15