| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A generalized, rule-based method for the detection of intermittent faults in software programs
|
Sotiropoulos, Panagiotis
|
|
|
219 |
C |
p.
|
artikel
|
| 2 |
A model-driven formal methods approach to software architectural security vulnerabilities specification and verification
|
Rouland, Quentin
|
|
|
219 |
C |
p.
|
artikel
|
| 3 |
An empirical study of AI techniques in mobile applications
|
Li, Yinghua
|
|
|
219 |
C |
p.
|
artikel
|
| 4 |
An empirical study of developers’ challenges in implementing Workflows as Code: A case study on Apache Airflow
|
Yasmin, Jerin
|
|
|
219 |
C |
p.
|
artikel
|
| 5 |
An intelligent test management system for optimizing decision making during software testing
|
Lönnfält, Albin
|
|
|
219 |
C |
p.
|
artikel
|
| 6 |
Assessing gender bias in the software used in computer science and software engineering education
|
O’Brien, Lyndsey
|
|
|
219 |
C |
p.
|
artikel
|
| 7 |
A systematic review of fault tolerance techniques for smart city applications
|
de Souza, Kathiani Elisa
|
|
|
219 |
C |
p.
|
artikel
|
| 8 |
Attributes of a great requirements engineer
|
Barbosa, Larissa
|
|
|
219 |
C |
p.
|
artikel
|
| 9 |
Authentic interdisciplinary online courses for alternative pathways into computer science
|
Happe, Lucia
|
|
|
219 |
C |
p.
|
artikel
|
| 10 |
Automatic generation of efficient oracles: The less-than case
|
Sanchez-Rivero, Javier
|
|
|
219 |
C |
p.
|
artikel
|
| 11 |
Balancing quality and efficiency: An improved non-autoregressive model for pseudocode-to-code conversion
|
Xu, Yongrui
|
|
|
219 |
C |
p.
|
artikel
|
| 12 |
Centralization potential of automotive E/E architectures
|
Mauser, Lucas
|
|
|
219 |
C |
p.
|
artikel
|
| 13 |
Challenges and opportunities: Implementing diversity and inclusion in software engineering university level education in Finland
|
Hyrynsalmi, Sonja M.
|
|
|
219 |
C |
p.
|
artikel
|
| 14 |
Change impact analysis in microservice systems: A systematic literature review
|
Lelovic, Luka
|
|
|
219 |
C |
p.
|
artikel
|
| 15 |
CoMPers: A configurable conflict management framework for personalized collaborative modeling
|
Sharbaf, Mohammadreza
|
|
|
219 |
C |
p.
|
artikel
|
| 16 |
DeepFeature: Guiding adversarial testing for deep neural network systems using robust features
|
Feng, Lichao
|
|
|
219 |
C |
p.
|
artikel
|
| 17 |
DeepKernel: 2D-kernels clustering based mutant reduction for cost-effective deep learning model testing
|
Zhang, Shiyu
|
|
|
219 |
C |
p.
|
artikel
|
| 18 |
Development and benchmarking of multilingual code clone detector
|
Zhu, Wenqing
|
|
|
219 |
C |
p.
|
artikel
|
| 19 |
DLAP: A Deep Learning Augmented Large Language Model Prompting framework for software vulnerability detection
|
Yang, Yanjing
|
|
|
219 |
C |
p.
|
artikel
|
| 20 |
Editorial Board
|
|
|
|
219 |
C |
p.
|
artikel
|
| 21 |
Evaluation of time-based virtual machine migration as moving target defense against host-based attacks
|
Torquato, Matheus
|
|
|
219 |
C |
p.
|
artikel
|
| 22 |
Exploring emergent microservice evolution in elastic deployment environments
|
Rodrigues-Filho, Roberto
|
|
|
219 |
C |
p.
|
artikel
|
| 23 |
Exploring the problems, their causes and solutions of AI pair programming: A study on GitHub and Stack Overflow
|
Zhou, Xiyu
|
|
|
219 |
C |
p.
|
artikel
|
| 24 |
Fairness for machine learning software in education: A systematic mapping study
|
Pham, Nga
|
|
|
219 |
C |
p.
|
artikel
|
| 25 |
Feature transformation for improved software bug detection and commit classification
|
Mostafa, Sakib
|
|
|
219 |
C |
p.
|
artikel
|
| 26 |
Formalization of Quantum Intermediate Representations for code safety
|
Luo, Junjie
|
|
|
219 |
C |
p.
|
artikel
|
| 27 |
FSECAM: A contextual thematic approach for linking feature to multi-level software architectural components
|
Mondal, Amit Kumar
|
|
|
219 |
C |
p.
|
artikel
|
| 28 |
GeQuPI: Quantum Program Improvement with Multi-Objective Genetic Programming
|
Gemeinhardt, Felix
|
|
|
219 |
C |
p.
|
artikel
|
| 29 |
How are discussions linked? A link analysis study on GitHub Discussions
|
Lima, Márcia
|
|
|
219 |
C |
p.
|
artikel
|
| 30 |
Improve cross-project just-in-time defect prediction with dynamic transfer learning
|
Dai, Hongming
|
|
|
219 |
C |
p.
|
artikel
|
| 31 |
Information needs in bug reports for web applications
|
Wang, Di
|
|
|
219 |
C |
p.
|
artikel
|
| 32 |
Just-in-time software defect prediction via bi-modal change representation learning
|
Jiang, Yuze
|
|
|
219 |
C |
p.
|
artikel
|
| 33 |
Leveraging belief uncertainty for informed decision making in software product line evolution
|
Horcas, Jose-Miguel
|
|
|
219 |
C |
p.
|
artikel
|
| 34 |
Measuring code efficiency optimization capabilities with ACEOB
|
Pan, Yue
|
|
|
219 |
C |
p.
|
artikel
|
| 35 |
Model-based safety analysis of requirement specifications
|
Mokos, Konstantinos
|
|
|
219 |
C |
p.
|
artikel
|
| 36 |
Program Dependence Net and on-demand slicing for property verification of concurrent system and software
|
Ding, Zhijun
|
|
|
219 |
C |
p.
|
artikel
|
| 37 |
Scaling up statistical model checking of cyber-physical systems via algorithm ensemble and parallel simulations over HPC infrastructures
|
Picchiami, Leonardo
|
|
|
219 |
C |
p.
|
artikel
|
| 38 |
Software architecture-based self-adaptation in robotics
|
Alberts, Elvin
|
|
|
219 |
C |
p.
|
artikel
|
| 39 |
Symbolic testing of floating-point bugs and exceptions
|
Ma, Dongyu
|
|
|
219 |
C |
p.
|
artikel
|
| 40 |
Syntax-preserving program slicing for C-based software product lines
|
Gerling, Lea
|
|
|
219 |
C |
p.
|
artikel
|
| 41 |
The Power of Words in Agile vs. Waterfall Development: Written Communication in Hybrid Software Teams
|
Ly, Delina
|
|
|
219 |
C |
p.
|
artikel
|
| 42 |
Towards the UX Support to Software Startups: On the relationship of professional expertise and UX work in the Brazilian scenario
|
Guerino, Guilherme Corredato
|
|
|
219 |
C |
p.
|
artikel
|
| 43 |
Web application testing—Challenges and opportunities
|
Balsam, Sebastian
|
|
|
219 |
C |
p.
|
artikel
|
Tijdschrift beschrijving