2
Publications
132
Citations
2
H-Index
2012
Active since
Affiliations
Karlsruhe Institute of Technology(Current)
Sarah Grebing is an author at Karlsruhe Institute of Technology specializing in formal methods, program analysis, and formal specification.
Top concepts
ManagementEngineeringVerificationData ModelingFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning
Publications per year
2012–2014
2
2
Automating regression verification
Dennis Felsing, Sarah Grebing, Vladimir Klebanov et al. · 2014 · 118 citations
Evaluating the Usability of Interactive Verification Systems.
Bernhard Beckert, Sarah Grebing · 2012 · 14 citations
Rows per page
1–2 of 2