| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A framework for higher-order effects & handlers
|
van den Berg, Birthe
|
|
|
234 |
C |
p.
|
artikel
|
| 2 |
An industrial experience of using reference architectures for mapping features to code
|
Ignaim, Karam
|
|
|
234 |
C |
p.
|
artikel
|
| 3 |
CrossFuzz: Cross-contract fuzzing for smart contract vulnerability detection
|
Yang, Huiwen
|
|
|
234 |
C |
p.
|
artikel
|
| 4 |
Editorial Board
|
|
|
|
234 |
C |
p.
|
artikel
|
| 5 |
HFCommunity: An extraction process and relational database to analyze Hugging Face Hub data
|
Ait, Adem
|
|
|
234 |
C |
p.
|
artikel
|
| 6 |
Introduction to the TASE 2022 Special issue
|
Ait-Ameur, Yamine
|
|
|
234 |
C |
p.
|
artikel
|
| 7 |
ISTA+: Test case generation and optimization for intelligent systems based on coverage analysis Image 1
|
Wu, Xiaoxue
|
|
|
234 |
C |
p.
|
artikel
|
| 8 |
Monitoring and forecasting usability indicators: A business intelligence approach for leveraging user-centered evaluation data
|
Macías, José A
|
|
|
234 |
C |
p.
|
artikel
|
| 9 |
Operationally proving memory access violations in Isabelle/HOL
|
Ahmadi, Sharar
|
|
|
234 |
C |
p.
|
artikel
|
| 10 |
Preface for the Special Issue on Tools and Demonstrations in Model-Driven Engineering
|
Ruscio, Davide Di
|
|
|
234 |
C |
p.
|
artikel
|
| 11 |
The Modeling Assistant Recommender: A UML class diagram recommender system
|
Savary-Leblanc, Maxime
|
|
|
234 |
C |
p.
|
artikel
|
| 12 |
Verification of message-passing uninterpreted programs
|
Hong, Weijiang
|
|
|
234 |
C |
p.
|
artikel
|
Tijdschrift beschrijving