Skip to main content

3 Result(s)

within Stephan Arlt Remove this filter

and
Your search also matched 5 preview-only Content is preview-only when you or your institution have not yet subscribed to it.

By making our abstracts and previews universally accessible we help you purchase only the content that is relevant to you. results, e.g.

Utilizing DNS and VirusTotal for Automated Ad-Malware Detection

Include preview-only content

  1. Article

    Open Access

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

    Acetabular fracture surgery is directed toward anatomical reduction and stable fixation to allow for the early functional rehabilitation of an injured hip joint. Recent biomechanical investigations have shown ...

    Stephan Arlt, Hansrudi Noser, Andreas Wienke… in Journal of Orthopaedic Surgery and Research (2018)

    Download PDF (1322 KB) View Article

  2. Chapter and Conference Paper

    Joogie: Infeasible Code Detection for Java

    We present Joogie, a tool that detects infeasible code in Java programs. Infeasible code is code that does not occur on feasible control-flow paths and thus has no feasible execution. Infeasible code comprises...

    Stephan Arlt, Martin Schäf in Computer Aided Verification (2012)

    Download PDF (179 KB)

  3. Chapter and Conference Paper

    Parameterized GUI Tests

    GUI testing is a form of system testing where test cases are based on user interactions. A user interaction may be encoded by a sequence of events (e.g., mouse clicks) together with input data (e.g., string va...

    Stephan Arlt, Pedro Borromeo, Martin Schäf… in Testing Software and Systems (2012)

    Download PDF (424 KB)