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

JMLKelinci+: Detecting Semantic Bugs and Covering Branches ..:

Nilizadeh, Amirfarhad ; Leavens, Gary T. ; Păsăreanu, Corina S..
Formal Aspects of Computing.  36 (2024)  1 - p. 1-24 , 2024
Link: https://doi.org/10.1145/..
 
?
2

Fuzzing, Symbolic Execution, and Expert Guidance for Better..:

Kadron, Ismet Burak ; Noller, Yannic ; Padhye, Rohan...
IEEE Software.  41 (2024)  1 - p. 98-104 , 2024
Link: https://doi.org/10.1109/..
 
?
3

Proceedings of the 2nd International Fuzzing Workshop:

Böhme, Marcel ; Noller, Yannic ; Ray, Baishakhi. , 2023
Link: https://dl.acm.org/doi/1..
 
?
4

Cerberus: a Program Repair Framework:

, In: 2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),
Shariffdeen, Ridwan ; Mirchev, Martin ; Noller, Yannic. - p. 73-77 , 2023
Link: https://doi.org/10.1109/..
 
?
5

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

Hybrid Differential Software Testing:

, In: Ernst Denert Award for Software Engineering 2020,
Noller, Yannic - p. 167-195 , 2022
Link: https://doi.org/10.1007/..
 
?
7

Trust Enhancement Issues in Program Repair:

, In: 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE),
Noller, Yannic ; Shariffdeen, Ridwan ; Gao, Xiang. - p. 2228-2240 , 2022
Link: https://doi.org/10.1145/..
 
?
8

Trust enhancement issues in program repair:

, In: Proceedings of the 44th International Conference on Software Engineering,
Noller, Yannic ; Shariffdeen, Ridwan ; Gao, Xiang. - p. 2228-2240 , 2022
Link: https://dl.acm.org/doi/1..
 
?
9

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

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

QFuzz: quantitative fuzzing for side channels:

, In: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis,
Noller, Yannic ; Tizpaz-Niari, Saeid - p. 257-269 , 2021
Link: https://dl.acm.org/doi/1..
 
?
12

NeuroSPF : a tool for the symbolic analysis of neural ne..:

, In: Proceedings of the 43rd International Conference on Software Engineering: Companion Proceedings,
Usman, Muhammad ; Noller, Yannic ; Păsăreanu, Corina S... - p. 25-28 , 2021
Link: https://dl.acm.org/doi/1..
 
?
13

Concolic program repair:

, In: Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation,
Shariffdeen, Ridwan ; Noller, Yannic ; Grunske, Lars. - p. 390-405 , 2021
Link: https://dl.acm.org/doi/1..
 
?
14

NNrepair: Constraint-Based Repair of Neural Network Classif..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Usman, Muhammad ; Gopinath, Divya ; Sun, Youcheng.. - p. 3-25 , 2021
Link: https://doi.org/10.1007/..
 
?
15

Hybrid Differential Software Testing:

Noller, Yannic , 2020
Link: https://nbn-resolving.de..
 
1-15