| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Applying large language models to issue classification: Revisiting with extended data and new models
|
Aracena, Gabriel
|
|
|
246 |
C |
p.
|
artikel
|
| 2 |
Certified control for train sign classification
|
Roßbach, Jan
|
|
|
246 |
C |
p.
|
artikel
|
| 3 |
Editorial Board
|
|
|
|
246 |
C |
p.
|
artikel
|
| 4 |
ESBMC v7.6: Enhanced model checking of C++ programs with clang AST
|
Li, Xianzhiyu
|
|
|
246 |
C |
p.
|
artikel
|
| 5 |
Fuzzing microservices: A series of user studies in industry on industrial systems with EvoMaster
|
Zhang, Man
|
|
|
246 |
C |
p.
|
artikel
|
| 6 |
Interleaving semantics and verification of UML 2 dynamic interactions using process algebra
|
Belghiat, Aissam
|
|
|
246 |
C |
p.
|
artikel
|
| 7 |
SMT-based robust model checking for signal temporal logic
|
Lee, Jia
|
|
|
246 |
C |
p.
|
artikel
|
| 8 |
Static analysis by abstract interpretation against data leakage in machine learning
|
Urban, Caterina
|
|
|
246 |
C |
p.
|
artikel
|
| 9 |
Toward a prioritization approach for third-party software library updates
|
Aburakhia, Abdalrahman
|
|
|
246 |
C |
p.
|
artikel
|
| 10 |
“Your AI is impressive, but my code does not have any bugs” managing false positives in industrial contexts
|
Stradowski, Szymon
|
|
|
246 |
C |
p.
|
artikel
|
Tijdschrift beschrijving