len-bass / dosebook
☆24Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for dosebook
- materials about and for the classes I teach☆16Updated 3 years ago
- course material for six week architecture design course☆35Updated 9 months ago
- ☆12Updated last year
- Architecture Topologies - Language, Patterns and Resources☆38Updated 3 years ago
- ☆38Updated 2 years ago
- Tool to visualize executions of multi-threaded systems☆13Updated 4 years ago
- An AI-Powered Privacy Threat Modeling tool based on the LINDDUN framework by leveraging Large Language Models.☆11Updated 3 weeks ago
- LLVM Mutation Artisan (MART) is a configurable mutation testing framework based on LLVM☆26Updated 2 years ago
- Deadline countdowns for academic conferences in Software Engineering☆24Updated this week
- This repository serves as a short introduction to the features of the VS Code extension for the ADR Manager.☆13Updated 2 years ago
- ☆225Updated last month
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- A CheckerFramework plugin to detect the use of weak algorithms with the Java crypto API.☆10Updated 2 years ago
- Potential WG on Artificial Intelligence and Machine Learning (AI/ML)☆53Updated last month
- Endnotes and citations to The DevOps Handbook by Gene Kim, Jez Humble, Patrick Debois and John Willis☆48Updated 3 years ago
- Macaron is an extensible supply-chain security analysis framework from Oracle Labs that supports a wide range of build systems and CI/CD …☆138Updated this week
- A Decision Modelling Language for Enterprise Architect☆22Updated 8 years ago
- Markdown Version of the DHS/CISA Secure Software Development Self Attestation Form.☆21Updated last year
- Inter-procedural analysis framework and dependency/information-flow analysis for LLVM☆19Updated 11 years ago
- Generic, modular and configurable formal verification framework supporting various formalisms and algorithms☆49Updated this week
- LLVM optimization passes (DCE, LICM), compilers and stuff☆14Updated 3 years ago
- Public storage of Iasa BTABoK including information and tools☆75Updated last week
- UBGen can generate programs with undefined behaviors (e.g., buffer-overflow, use-after-free, etc.)☆54Updated 7 months ago
- List of SBOM Generation Tools☆20Updated 2 weeks ago
- Our objective is to enable open source maintainers, contributors and end-users to understand and make decisions on the provenance of the …☆178Updated 9 months ago
- Unit testing for SQL queries☆24Updated 3 months ago
- D4: Fast Concurrency Debugging with Parallel Differential Analysis☆18Updated 4 years ago
- Explainable AI for Software Engineering: A Hands-on Guide on How to Make Software Analytics More Practical, Explainable, and Actionable (…☆26Updated 3 years ago
- A place to systematically store software bill of materials (SBOM) documents.☆44Updated last year
- Supply Chain Integrity Model☆104Updated last year