nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A/B testing: A systematic literature review
|
Quin, Federico |
|
|
211 |
C |
p. |
artikel |
2 |
A cloud-based data processing and visualization pipeline for the fibre roll-out in Germany
|
Krämer, Michel |
|
|
211 |
C |
p. |
artikel |
3 |
A data-driven active learning approach to reusing ML solutions in scientific applications
|
Hajiabadi, Hamideh |
|
|
211 |
C |
p. |
artikel |
4 |
Addressing combinatorial experiments and scarcity of subjects by provably orthogonal and crossover experimental designs
|
Massacci, Fabio |
|
|
211 |
C |
p. |
artikel |
5 |
A framework for the design of fault-tolerant systems-of-systems
|
Ferreira, Francisco Henrique Cerdeira |
|
|
211 |
C |
p. |
artikel |
6 |
A language-parametric test coverage framework for executable domain-specific languages
|
Khorram, Faezeh |
|
|
211 |
C |
p. |
artikel |
7 |
Barriers to device longevity and reuse: A vintage device empirical study
|
Goodwin, Craig |
|
|
211 |
C |
p. |
artikel |
8 |
DeepCover: Advancing RNN test coverage and online error prediction using state machine extraction
|
Golshanrad, Pouria |
|
|
211 |
C |
p. |
artikel |
9 |
Deriving modernity signatures of codebases with static analysis
|
Admiraal, Chris |
|
|
211 |
C |
p. |
artikel |
10 |
Design for dependability — State of the art and trends
|
Liu, Hezhen |
|
|
211 |
C |
p. |
artikel |
11 |
Editorial Board
|
|
|
|
211 |
C |
p. |
artikel |
12 |
Emerging technologies in higher education assessment and feedback practices: A systematic literature review
|
Sembey, Ruchi |
|
|
211 |
C |
p. |
artikel |
13 |
Equivalence, identity, and unitarity checking in black-box testing of quantum programs
|
Long, Peixun |
|
|
211 |
C |
p. |
artikel |
14 |
Extracting goal models from natural language requirement specifications
|
Das, Souvick |
|
|
211 |
C |
p. |
artikel |
15 |
Fast state transfer for updates and live migration of industrial controller runtimes in container orchestration systems
|
Koziolek, Heiko |
|
|
211 |
C |
p. |
artikel |
16 |
How can feature usage be tracked across product variants? Implicit Feedback in Software Product Lines
|
Díaz, Oscar |
|
|
211 |
C |
p. |
artikel |
17 |
i C o L a + : An extensible meta-language with support for exploratory language development
|
Frölich, Damian |
|
|
211 |
C |
p. |
artikel |
18 |
L ′ OP-ART: A linear-time adaptive random testing algorithm for object-oriented programs
|
Chen, Jinfu |
|
|
211 |
C |
p. |
artikel |
19 |
Property probes: Live exploration of program analysis results
|
Risberg Alaküla, Anton |
|
|
211 |
C |
p. |
artikel |
20 |
RRGcode: Deep hierarchical search-based code generation
|
Gou, Qianwen |
|
|
211 |
C |
p. |
artikel |
21 |
Shedding light on the dark side – A systematic literature review of the issues in agile software development methodology use
|
Meckenstock, Jan-Niklas |
|
|
211 |
C |
p. |
artikel |
22 |
Survey of annotation generators for deductive verifiers
|
Lathouwers, Sophie |
|
|
211 |
C |
p. |
artikel |
23 |
Sustainability competencies and skills in software engineering: An industry perspective
|
Heldal, Rogardt |
|
|
211 |
C |
p. |
artikel |
24 |
Test case information extraction from requirements specifications using NLP-based unified boilerplate approach
|
Lim, Jin Wei |
|
|
211 |
C |
p. |
artikel |
25 |
Testing concolic execution through consistency checks
|
Coppa, Emilio |
|
|
211 |
C |
p. |
artikel |
26 |
The impact of hard and easy negative training data on vulnerability prediction performance
|
Al Debeyan, Fahad |
|
|
211 |
C |
p. |
artikel |
27 |
Translating meaning representations to behavioural interface specifications
|
Leong, Iat Tou |
|
|
211 |
C |
p. |
artikel |
28 |
Variability modeling of products, processes, and resources in cyber–physical production systems engineering
|
Meixner, Kristof |
|
|
211 |
C |
p. |
artikel |
29 |
Zipper-based embedding of strategic attribute grammars
|
Macedo, José Nuno |
|
|
211 |
C |
p. |
artikel |