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

1

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

2

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

3

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

4

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

5

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

6

A systematic literature review on counterexample explanatio:

Kaleeswaran, Arut Prakash ; Nordmann, Arne ; Vogel, Thomas.
Information and Software Technology. 145 (2022) - p. 106800 , 2022

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

7

VUDENC: Vulnerability Detection with Deep Learning on a Nat..:

Wartschinski, Laura ; Noller, Yannic ; Vogel, Thomas..
Information and Software Technology. 144 (2022) - p. 106809 , 2022

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

8

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

Schultheiß, Alexander ; Bittner, Paul Maximilian ; Boll, Alexander...
Software and Systems Modeling. 22 (2022) 5 - p. 1495-1517 , 2022

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

9

Inputs From Hell:

Soremekun, Ezekiel ; Pavese, Esteban ; Havrikov, Nikolas..
IEEE Transactions on Software Engineering. 48 (2022) 4 - p. 1138-1153 , 2022

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

10

History-based Model Repair Recommendations:

Ohrndorf, Manuel ; Pietsch, Christopher ; Kelter, Udo..
ACM Transactions on Software Engineering and Methodology (TOSEM). 30 (2021) 2 - p. 1-46 , 2021

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

11

History-based Model Repair Recommendations:

Ohrndorf, Manuel ; Pietsch, Christopher ; Kelter, Udo..
ACM Transactions on Software Engineering and Methodology. 30 (2021) 2 - p. 1-46 , 2021

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

12

Complete Shadow Symbolic Execution with Java PathFinder:

Noller, Yannic ; Nguyen, Hoang Lam ; Tang, Minxing..
ACM SIGSOFT Software Engineering Notes. 44 (2021) 4 - p. 15-16 , 2021

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

13

A comprehensive empirical evaluation of generating test sui..:

Vogel, Thomas ; Tran, Chinh ; Grunske, Lars
Information and Software Technology. 130 (2021) - p. 106436 , 2021

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

14

The Collaborative Research Center FONDA:

Leser, Ulf ; Hilbrich, Marcus ; Draxl, Claudia...
Datenbank-Spektrum. 21 (2021) 3 - p. 255-260 , 2021

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

15

The Java Pathfinder Workshop 2019:

Artho, Cyrille ; Phan, Quoc-Sang ; Aldous, Peter...
ACM SIGSOFT Software Engineering Notes. 45 (2021) 2 - p. 20-22 , 2021

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