| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
An empirical study of code clones: Density, entropy, and patterns
|
Hu, Bin
|
|
|
242 |
C |
p.
|
artikel
|
| 2 |
Automated code transformation for distributed training of TensorFlow deep learning models
|
Sim, Yusung
|
|
|
242 |
C |
p.
|
artikel
|
| 3 |
Editorial Board
|
|
|
|
242 |
C |
p.
|
artikel
|
| 4 |
Filling query-type text inputs for Android applications via inner-app mining and GPT recommendation
|
Huang, Heji
|
|
|
242 |
C |
p.
|
artikel
|
| 5 |
Integrating behavioral semantic analysis in usage-based equivalent tests generation for mobile applications
|
Liu, Shuqi
|
|
|
242 |
C |
p.
|
artikel
|
| 6 |
Model-based testing of asynchronously communicating distributed controllers using validated mappings to formal representations
|
Graics, Bence
|
|
|
242 |
C |
p.
|
artikel
|
| 7 |
Modelling and verifying BDI agents under uncertainty
|
Archibald, Blair
|
|
|
242 |
C |
p.
|
artikel
|
| 8 |
State merging for concolic testing of event-driven applications
|
Vandercammen, Maarten
|
|
|
242 |
C |
p.
|
artikel
|
| 9 |
System-level simulation-based verification of Autonomous Driving Systems with the VIVAS framework and CARLA simulator
|
Goyal, Srajan
|
|
|
242 |
C |
p.
|
artikel
|
| 10 |
The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs
|
Woodlief, Trey
|
|
|
242 |
C |
p.
|
artikel
|
| 11 |
TSC2CARLA: An abstract scenario-based verification toolchain for automated driving systems
|
Borchers, Philipp
|
|
|
242 |
C |
p.
|
artikel
|
| 12 |
ULKB Logic: A HOL-based framework for reasoning over knowledge graphs
|
Lima, Guilherme
|
|
|
242 |
C |
p.
|
artikel
|
Tijdschrift beschrijving