FAMILIAR-project / teaching
Repository of teaching material for product lines and variability
☆12Updated last year
Related projects ⓘ
Alternatives and complementary repositories for teaching
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 5 years ago
- Type checking ifdef variability☆76Updated 3 years ago
- KeY Theorem Prover for Deductive Java Verification☆48Updated this week
- Bottom-Up Technologies for Reuse☆18Updated last year
- MagpieBridge LSP Framework --- A simple solution for your analysis IDE integration☆79Updated last month
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 3 years ago
- This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives fro…☆145Updated 3 months ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆29Updated this week
- The VerCors verification toolset for verifying parallel and concurrent software☆56Updated this week
- toolsuite for analyzing cpp-preprocessor-based software product lines☆11Updated last year
- Empirical Software Engineering journal (EMSE) open science and reproducible research initiative☆33Updated 3 weeks ago
- Yajta is a extensible library for bytecode probe insertion, built on top of javassist. Its transformations may be applied at load time wi…☆15Updated 2 years ago
- test driver to run JUnit tests isolated in a new JVM☆16Updated 2 weeks ago
- Java bindings for LLVM libraries☆8Updated 3 years ago
- Checks the PDFs submitted to a conference, e.g., for formatting violations and double anonymous violations☆61Updated 2 years ago
- JavaSMT - Unified Java API for SMT solvers.☆186Updated this week
- Library for symbolic automata and symbolic visibly pushdown automata☆63Updated last year
- RV-Monitor core system code☆16Updated 3 years ago
- This is an informal repo for ASSERT teammates to share awesome stuff.☆20Updated 3 weeks ago
- ☆51Updated this week
- A dynamic method for detecting faults in incremental and parallel builds.☆16Updated 2 years ago
- 📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis☆52Updated 3 weeks ago
- Incremental Program Analysis Framework☆91Updated 3 years ago
- a concolic testing engine for Java☆102Updated 6 years ago
- Automatic program repair system for Java based on dynamic analysis and code synthesis with SMT. Also contains the code of Dynamoth.☆97Updated last month
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆41Updated last year
- Botsing is a Java framework for crash reproduction. It depends on EvoSuite (http://www.evosuite.org) for code instrumentation.☆32Updated last year
- Analyse package dependency networks at the call graph level☆92Updated 11 months ago
- An extensible framework for feature-oriented software development☆129Updated this week
- Appendix of "Principles of Abstract Interpretation", P. Cousot, MIT Press, 2021, containing the proofs and the solutions of exercises not…☆40Updated 3 years ago