Thomas Thüm's repositories
VariantSync
Automating the synchronization of software variants
2020WS-SE-Calculator
An example project to illustrate coding guidelines, version control, and design patterns in a software engineering lecture
CorC
Tool Support for Correctness-by-Construction
KeYExperienceReport
Contains the data for the master thesis "An Experience Report on Deductive Verification with KeY" at TU Braunschweig, Institute of Software Engineering and Automotive Informatics
SamplingChallenge
A repository to plan upcoming versions of the SPLC challenge on product sampling
SPLregression
Prototype and experimental data of the journal article "Retest Test Selection for Product-Line Regression Testing of Variants and Versions of Variants" by Sascha Lity, Manuel Nieke, Thomas Thüm, and Ina Schaefer accepted for publication in the VaMoS 2018 Special Issue of the Journal of Software & Systems
Stability-of-Productline-Sampling
This Repository contains assests for the Paper Stability of Productline Sampling in Continuous Integration
variability-challenges.github.io
The official website of the Systems and Software Product Line Conference challenge track
VariantSync-SPLC-16-Example-Workspace
Complete workspace that was used during the demonstration of VariantSync at SPLC'16 in Beijing, China