Channels - Validation of a microkernel : a case study :: FRELIP Discovery

Similar Items: Validation of a microkernel : a case study

Quick Look
Development of a tool to test computer protocols
Quick Look
Diversity’s role in collaboration and conflict: a case-study of React.js
Quick Look
Effective Fine-tuning for Low-resource Languages: A Case Study of Cangjie
Quick Look
Line-level bug-finding power of static analysis rules: a case study of Teamscale
Quick Look
The transformative potential of AI in software engineering: a case study on LeetCode and ChatGPT
Quick Look
Micro-kernel support for a lightweight extensible workstation operating system
Quick Look
The impact of using a contract-driven, test-interceptor based software development approach
Quick Look
Web element relocalization in evolving web applications: A comparative analysis and extension study
Quick Look
On the outliers of file-structure evolution: a mining study of GitHub software repositories
Quick Look
Security issues in python open-source software: a mining study from GitHub
Quick Look
A recommendation system for predicting dependencies among software changes insights from an empirical study on OpenStack
Quick Look
An empirical evaluation of white-box and black-box test case prioritization techniques in CPSs modeled in Simulink
Quick Look
Design and evaluation of a formula cache for SMT-based bounded model checking tools
Quick Look
Empirical studies on adversarial reverse engineering with students
Quick Look
An empirical study of LLM-based refactoring consistency
Quick Look
Rethinking software misconfigurations in the real world: an empirical study and literature analysis
Quick Look
How students use generative AI for software testing: An observational study
Quick Look
An empirical study on logging evolution on stack overflow: trends, topics, and challenges
Quick Look
Do SDN configuration changes get reviewed differently? An empirical study at TELUS
Quick Look
Is this build failure related to my patch? An empirical study of unrelated build failures in continuous integration
Quick Look
Correction to: Is this build failure related to my patch? An empirical study of unrelated build failures in continuous integration
Quick Look
Machine learning, deep learning, or large language models: An empirical study on multi-label requirements classification
Quick Look
Software dependencies 2.0: An empirical study of reuse and integration of pre-trained models in open-source projects
Quick Look
Smelly-shot is all you need: an empirical study to compare in-context learning verses fine tuning for code smell detection

Author: Holzmann, G. J.

Quick Look
Validation of a microkernel : a case study

Author: De Villiers, Pieter Jan Albertus