Material (mostly slides) for a graduate course on (formal) software analysis.
☆33Jul 15, 2019Updated 6 years ago
Alternatives and similar repositories for software-analysis
Users that are interested in software-analysis are comparing it to the libraries listed below
Sorting:
- White-box Fairness Testing through Adversarial Sampling☆13Apr 16, 2021Updated 4 years ago
- ICSE 2021 Artifact for: Shipwright: A Human-in-the-Loop System for Dockerfile Repair.☆22May 11, 2021Updated 4 years ago
- Code release for RobOT (ICSE'21)☆15Dec 5, 2022Updated 3 years ago
- A list of academic papers related to Docker containers & Docker Hub☆26Oct 30, 2025Updated 4 months ago
- Software vulnerabilities data set☆25Mar 4, 2020Updated 5 years ago
- ☆26Feb 1, 2023Updated 3 years ago
- A Java version of the automatic program repair described by RSRepair and GenProg.☆11Jan 6, 2016Updated 10 years ago
- Notes from my study of Learn Prolog Now!☆11Apr 23, 2012Updated 13 years ago
- 🦃 Black Friday Performance Testing Experiment 🙏☆11Jan 29, 2022Updated 4 years ago
- ☆30Apr 26, 2022Updated 3 years ago
- Homepage for 17-803 "Empirical Methods" at Carnegie Mellon University☆142Feb 19, 2026Updated last week
- Sources of the EuroProofNet web site.☆13Feb 12, 2026Updated 2 weeks ago
- A simple Python Boolean library that can parse and manipulate dimacs as well as a custom language. Try some of the features out online he…☆10Jun 21, 2015Updated 10 years ago
- Python bindings for libsrcml☆17Aug 25, 2025Updated 6 months ago
- TG 2016 hacking compo repo☆10Mar 31, 2016Updated 9 years ago
- A course on free/libre and open source software☆11Oct 16, 2025Updated 4 months ago
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 7 years ago
- Hyper Model helps take Machine Learning to production☆10Feb 15, 2021Updated 5 years ago
- 블록코드 생성기☆17Jan 16, 2025Updated last year
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 4 years ago
- Ying Zhang, Ya Xiao, Md Mahir Asef Kabir, Daphne Yao, Na Meng. Example-Based Vulnerability Detection and Repair in Java Code 30th IEEE/AC…☆10Jul 31, 2022Updated 3 years ago
- DayTrader is benchmark application built around the paradigm of an online stock trading system.☆13Jul 28, 2017Updated 8 years ago
- ☆13Jul 1, 2019Updated 6 years ago
- Dataset for the ICPE 2023 Data Challenge track: JMH microbenchmarks measurements from Java open source projects.☆12Nov 28, 2022Updated 3 years ago
- Utilities for testing Kubernetes installations☆12Jan 16, 2018Updated 8 years ago
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 5 years ago
- A Prompt Learning Framework for Source Code Summarization☆14Dec 26, 2023Updated 2 years ago
- Example of Beautiful Charts using Ionic 3 and Angular 4☆15Nov 21, 2017Updated 8 years ago
- Italian full-text search dictionary and configuration for PostgreSQL☆14Nov 26, 2020Updated 5 years ago
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 6 years ago
- A vulnerability patch gathering tool☆44Jan 11, 2019Updated 7 years ago
- LLM-based mutation testing☆14Feb 3, 2025Updated last year
- Integration between Micronaut and JMS☆15Updated this week
- Various sketches for pen plotters, and my notes related to pen plotters.☆16Nov 19, 2025Updated 3 months ago
- whisk is a data science project framework that makes collaboration, reproducibility, and deployment "just work".☆11Dec 26, 2022Updated 3 years ago
- 基于红外、可见光双光源的车辆目标检测☆16Apr 20, 2022Updated 3 years ago
- A Parallelism Profiler with What-If analyses for Intel Threading Building Blocks (TBB) programs☆13Feb 13, 2018Updated 8 years ago
- ☆11Jan 10, 2017Updated 9 years ago
- ☆15Dec 23, 2023Updated 2 years ago