E-LIB Suche - Ergebnisse für: Visser, Willem

1

Strategic Approaches to Reducing the Burden of Atopic Derma..:

Elezbawy, Baher ; Farghaly, Mohamed ; Al Lafi, Atlal...
Value in Health Regional Issues. 42 (2024) - p. 100987 , 2024

2

Consumer Protection under the Brussels Ibis Regulation: Roo..:

Visser, Willem
Tijdschrift voor Consumentenrecht & handelspraktijken (Dutch Journal for Consumer Law and Unfair Commercial Practices), 2023. , 2023

Link: https://ssrn.com/abstrac..

3

The clinicopathological spectrum of preclinical folliculiti..:

Parker, Altaaf ; Parker, Masood Ahmed ; Schneider, Johann..
International Journal of Dermatology. 62 (2023) 11 - p. 1371-1377 , 2023

Link: https://doi.org/10.1111/..

4

Neural-Based Test Oracle Generation: A Large-Scale Evaluati..:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Hossain, Soneya Binta ; Filieri, Antonio ; Dwyer, Matthew B... - p. 120-132 , 2023

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

5

Shifting Left for Early Detection of Machine-Learning Bugs:

, In: Formal Methods; Lecture Notes in Computer Science,

Liblit, Ben ; Luo, Linghui ; Molina, Alejandro... - p. 584-597 , 2023

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

6

DaNuoYi: Evolutionary Multi-Task Injection Testing on Web A..:

Li, Ke ; Yang, Heng ; Visser, Willem
IEEE Transactions on Software Engineering. , 2023

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

7

From West to North Frisia: a journey along the North Sea Co..

NOWELE supplement series, volume 33

Walker, Alastair ; Hoekstra, Eric ; Jensma, Goffe... , 2022

Link: https://search.ebscohost..

8

Input splitting for cloud-based static application security..:

, In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Christakis, Maria ; Cottenier, Thomas ; Filieri, Antonio... - p. 1367-1378 , 2022

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

9

RAPID: checking API usage for the cloud in the cloud:

, In: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Emmi, Michael ; Hadarean, Liana ; Jhala, Ranjit... - p. 1416-1426 , 2021

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

10

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

11

Saffron : Adaptive Grammar-based Fuzzing for Worst-Case ..:

Le, Xuan-Bach D. ; Pasareanu, Corina ; Padhye, Rohan...
ACM SIGSOFT Software Engineering Notes. 44 (2021) 4 - p. 14 ff. , 2021

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

12

Exhaustive reanalysis of barcode sequences from public repo..:

Fort, Antoine ; McHale, Marcus ; Cascella, Kevin...
Molecular Ecology Resources. 22 (2021) 1 - p. 86-101 , 2021

Link: https://doi.org/10.1111/..

13

Abstract Transducers for Software Analysis and Verification:

Stahlbauer, Andreas , 2020

Link: https://nbn-resolving.de..

14

Testing Ethereum Smart Contracts: A Comparison of Symbolic ..:

, In: Conference of the South African Institute of Computer Scientists and Information Technologists 2020,

Leid, Alexander ; van der Merwe, Brink ; Visser, Willem - p. 35-43 , 2020

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

15

Constraint Caching Revisited:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Taljaard, Jan ; Geldenhuys, Jaco ; Visser, Willem - p. 251-266 , 2020

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