conf.researchr.org / Ina Schaefer
Registered user since Thu 9 Jul 2015
Name:Ina Schaefer
Country:Germany
Affiliation:KIT
Personal website: https://tva.kastel.kit.edu
Research interests:Formal Methods, Software Product Line Engineering, Software Evolution
Contributions
2025
2024
Q-SE
2023
Q-SE
ECSA
2022
GPCE
2021
FormaliSE
- Author of GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers within the FormaliSE 2021-track
- Committee Member in Programme Committee within the FormaliSE 2021-track
- Author of How much Specification is Enough? Mutation Analysis for Software Contracts within the FormaliSE 2021-track
2020
2019
2018
HILT
2017
FOSD
2016
FOSD
- Author of Higher-Order Delta Modeling for Software Product Line Evolution within the FOSD-track
- Committee Member in Program Committee within the FOSD-track
- Author of Name Resolution Strategies in Variability Realization Languages for Software Product Lines within the FOSD-track
- Author of Fine-Grained Test Case Prioritization for Integration Testing of Delta-Oriented Software Product Lines within the FOSD-track
- Author of Implicit Constraints in Partial Feature Models within the FOSD-track
- Author of Variability Mining of State Charts within the FOSD-track