| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
BEAPI: A tool for bounded exhaustive input generation from APIs
|
Politano, Mariano
|
|
|
238 |
C |
p.
|
artikel
|
| 2 |
CRAG – a combinatorial testing-based generator of road geometries for ADS testing
|
Arcaini, Paolo
|
|
|
238 |
C |
p.
|
artikel
|
| 3 |
DPFuzz: A fuzz testing tool based on the guidance of defect prediction
|
Cui, Zhanqi
|
|
|
238 |
C |
p.
|
artikel
|
| 4 |
Editorial Board
|
|
|
|
238 |
C |
p.
|
artikel
|
| 5 |
Functional and logic programming: Selected papers of FLOPS 2022
|
Hanus, Michael
|
|
|
238 |
C |
p.
|
artikel
|
| 6 |
GraphPyRec: A novel graph-based approach for fine-grained Python code recommendation
|
Zong, Xing
|
|
|
238 |
C |
p.
|
artikel
|
| 7 |
iGnnVD: A novel software vulnerability detection model based on integrated graph neural networks
|
Chen, Jinfu
|
|
|
238 |
C |
p.
|
artikel
|
| 8 |
IPFS requested content location service
|
Costa, Pedro Ákos
|
|
|
238 |
C |
p.
|
artikel
|
| 9 |
Latch: Enabling large-scale automated testing on constrained systems
|
Lauwaerts, Tom
|
|
|
238 |
C |
p.
|
artikel
|
| 10 |
libmg: A Python library for programming graph neural networks in μ G
|
Belenchia, Matteo
|
|
|
238 |
C |
p.
|
artikel
|
| 11 |
Multi-objective differential evolution in the generation of adversarial examples
|
Bartlett, Antony
|
|
|
238 |
C |
p.
|
artikel
|
| 12 |
Parallel program analysis on path ranges
|
Haltermann, Jan
|
|
|
238 |
C |
p.
|
artikel
|
| 13 |
Prescriptive procedure for manual code smell annotation
|
Prokić, Simona
|
|
|
238 |
C |
p.
|
artikel
|
| 14 |
ScaRLib: Towards a hybrid toolchain for aggregate computing and many-agent reinforcement learning
|
Domini, D.
|
|
|
238 |
C |
p.
|
artikel
|
| 15 |
Selected papers from the 25th Brazilian Symposium on Formal Methods – SBMF 2022
|
Lima, Lucas
|
|
|
238 |
C |
p.
|
artikel
|
| 16 |
Smart contract vulnerability detection using wide and deep neural network
|
Osei, Samuel Banning
|
|
|
238 |
C |
p.
|
artikel
|
| 17 |
Special Issue on Selected Tools from the Tool Track of the 30th IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2023 Tool Track)
|
Wang, Ying
|
|
|
238 |
C |
p.
|
artikel
|
| 18 |
TADA: A Toolkit for Approximate Distributed Agreement
|
Lourenço da Conceição, Eduardo
|
|
|
238 |
C |
p.
|
artikel
|
| 19 |
Taming shared mutable states of operating systems in Rust
|
Hong, Jaemin
|
|
|
238 |
C |
p.
|
artikel
|
| 20 |
Towards a framework for reliable performance evaluation in defect prediction
|
Liu, Xutong
|
|
|
238 |
C |
p.
|
artikel
|
| 21 |
TR-Fuzz: A syntax valid tool for fuzzing C compilers
|
Zhang, Chi
|
|
|
238 |
C |
p.
|
artikel
|
Tijdschrift beschrijving