Benson's Blog
Notes | Software Dev | OS
Hi, I’m writing simple study notes here, mainly Golang Python Javascript.
Currently, I’m reading materials related to the Linux Kernel, Compiler, and Software testing.
I am a graduate student, welcome to exchange information and cooperate with me.
Hi, 我在這裡寫寫簡單的學習筆記，主要寫 Golang Python Javascript。
目前在讀 Linux Kernel, Compiler, Software testing 相關的資料，
是一名菸酒生，歡迎與我交換資訊與合作交流。
Benson’s Social Media:
- Email: pshsu@csie.io
- Github: Hotshot824
This year's posts
- Paper | KLEE: Introducing Symbolic Execution
- PDS | Introduction of Parallel and Distributed Systems
- Algorithm | Competitive Paging Algorithm
- Note | Arch User Repository
- Algorithm | Hirschberg's Algorithm
- Compiler | ANTLR Guide
- Note | Arch Linux Installation
- Note | Apache Maven Multi-Module Project Guide
- OS | Storage and File System
- Note | Using btrfs on Debian
2023
- Compiler | Code Generation (Unfinished)
- OS | Virtual Memory
- Testing | System Testing
- Testing | Mutation Testing
- OS | Main Memory
- Testing | Class-Level Unit Testing
- Compiler | Semantic Analysis Notes
- Note | Test Coverage Criteria
- Testing | Method-Level Structural Unit Testing
- OS | Deadlock
- Testing | Based on CLP Testcases
- OS | Synchronization (Unfinished)
- Testing | Method-Level Functional Unit Testing
- Compiler | Syntax Analysis Notes
- OS | CPU Scheduler
- OS | Process and Thread
- Note | Linux Kernel Macro container_of & offsetof
- Testing | Test Case Generation
- OS | Operating System Structure
- Testing | Software Testing Introduction
- Compiler | Lexical Analysis Notes
- Compiler | Compilers Introduction
- OS | Operating System Introduction
- Paper | Test Case Generation Based on Constraint Logic Graph
- Note | Object Constraint Language Concepts (Unfinished)
- Note | GNU Debugger Quick Notes
- OS | Linux Kernel Compilation
- Note | UML Structure Diagrams Introduction
- Note | UML Behavior Diagrams Introduction (Unfinished)
- Note | Unified Modeling Language Concepts
- Paper | BenFuzz: A Property Based Testing and Entropy Guided Blackbox REST API Fuzzer
- Paper | A MVVM Modeling Methodology for Information Systems User Interface Design
- Note | Architectural Patterns Compare MVP, MVC, MVVM
- Paper | Automated-generating test case using UML statechart diagrams (Unfinished)
- Paper | An Integrated Environment for Specification Driven Development (Unfinished)
- Paper | A Study of the Characteristics of Behaviour Driven Development
- Paper | An Analysis and Survey of the Development of Mutation Testing
- Paper | Test-driven development concepts, taxonomy, and future direction
- Paper | Applying the ISO/IEC 25010 Quality Models to Software Product
- Note | Standard - ISO/IEC
- Leetcode | Algorithm - KMP
- Note | Gomoku AI - Game Tree
2022
- Note | Commit Message Format
- Note | Constraint Satisfaction Problem
- Note | Basic UART Concept
- Note | Docker Build Github Pages