Universal-Variability-Language / uvl-parserLinks
☆11Updated last week
Alternatives and similar repositories for uvl-parser
Users that are interested in uvl-parser are comparing it to the libraries listed below
Sorting:
- Material for lectures on software product lines☆14Updated 2 months ago
- Repository of teaching material for product lines and variability☆12Updated 2 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…☆160Updated last month
- TurnKey artifact for Z3☆39Updated this week
- JavaSMT - Unified Java API for SMT solvers.☆227Updated this week
- An extensible framework for feature-oriented software development☆135Updated 2 weeks ago
- Bottom-Up Technologies for Reuse☆18Updated 2 years ago
- The Next Generation Logic Library☆148Updated last month
- Material (mostly slides) for a graduate course on (formal) software analysis.☆32Updated 6 years ago
- KeY Theorem Prover for Deductive Java Verification☆61Updated last week
- Web Fuzzing Dataset (WFD): a set of web/enterprise applications for experimentation in automated system testing☆36Updated last week
- MontiCore is a language workbench for an efficient development of domain-specific languages.☆89Updated this week
- syntactic merge tool for java☆19Updated last year
- ☆442Updated last week
- Gamification of Mutation Testing☆44Updated last month
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Updated 4 years ago
- junit tools contest infrastructure☆13Updated last year
- ☆44Updated this week
- Glacier is a type annotation extension to Java that enforces transitive class immutability.☆14Updated 3 years ago
- A curated list of awesome MPS extensions/libraries, software and resources.☆64Updated 3 weeks ago
- FLACOCO: Fault Localization for Java based on Industry-grade Coverage http://arxiv.org/pdf/2111.12513☆31Updated 2 weeks ago
- An ANTLR language for MPS, and the ToMPS language to help create MPS languages and ANTRL visitors from an ANTLR 4 grammar.☆25Updated 7 years ago
- Tool Support for Correctness-by-Construction☆29Updated 2 months ago
- JaTyC: a typestate checker for Java☆17Updated 7 months ago
- Fluent API generator☆41Updated 3 weeks ago
- Spoofax runtime☆147Updated 4 months ago
- An extension to the Java type system to catch badly-behaving builder patterns☆11Updated 2 years ago
- SMTInterpol interpolating SMT solver☆68Updated 3 weeks ago
- Automatic program repair for Java with generate-and-validate techniques : jGenProg (2014) - jMutRepair (2016) - jKali (2016) - DeepRepai…☆211Updated 5 months ago
- Marrying Search-based Optimization and Model Transformation Technology☆18Updated 6 years ago