Serge Rotärmel is an author at University of Siegen specializing in computer engineering, software maintenance, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisDesign For TestingFormal VerificationSystems Engineering
Publications per year
2015–2015
1
1
Fault-based product-line testing
Dennis Reuling, Johannes Bürdek, Serge Rotärmel et al. · 2015 · 31 citations
Rows per page
1–1 of 1