Concepedia

Stephan Arlt

SA

Statistics

Publications

8

Citations

200

H-Index

8

Active since

2011

Affiliations

University of Freiburg(Current)

NationsUniversity

University of Maryland, College Park

University of Luxembourg

Martin Luther University Halle-Wittenberg

Stephan Arlt is an author at University of Freiburg specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsSoftware DesignProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationSoftware EngineeringComputer ScienceVerification

Publications per year

2011–2018

8

Publications

8

Treatment With Bone Morphogenetic Protein 2 Limits Infarct Size After Myocardial Infarction in Mice

Henning Ebelt, Ina Hillebrand, Stephan Arlt et al. · Shock · 2013 · 53 citations

Cardiac Muscle, Engineering, Cardiac Progenitor Cells +21

Lightweight Static Analysis for GUI Testing

Stephan Arlt, Andreas Podelski, Cristiano Bertolini et al. · 2012 · 53 citations · Full text

Engineering, Software Engineering, Gui Testing +17

Reducing GUI test suites via program slicing

Stephan Arlt, Andreas Podelski, Martin Wehrle · 2014 · 26 citations

Engineering, Verification, Test Data Generation +21

If A Fails, Can B Still Succeed? Inferring Dependencies between Test Results in Automotive System Testing

Stephan Arlt, Tobias Morciniec, Andreas Podelski et al. · 2015 · 16 citations

Software Maintenance, Engineering, Verification +25

Secure corridor for infraacetabular screws in acetabular fracture fixation—a 3-D radiomorphometric analysis of 124 pelvic CT datasets

Stephan Arlt, Hansrudi Noser, Andreas Wienke et al. · Journal of Orthopaedic Surgery and Research · 2018 · 16 citations · Full text

1–5 of 8