HCSS 2019

file

Visible to the public Deriving Formal Specifications from Natural Language Requirements using ARSENAL 2

Submitted by Katie Dey on Mon, 05/06/2019 - 3:38pm. Contributor:

Presented as part of the 2019 HCSS conference.

file

Visible to the public Model-Based Grey-Box Fuzzing

Submitted by Katie Dey on Mon, 05/06/2019 - 3:24pm. Contributor:

Presented as part of the 2019 HCSS conference.

file

Visible to the public Security Policy and Resiliency Tools and ANalysis (SPARTAN)

Submitted by Katie Dey on Mon, 05/06/2019 - 3:24pm. Contributor:

Presented as part of the 2019 HCSS conference.

file

Visible to the public Semi-automated Test Case Generation for ACAS X Implementation Validation

Submitted by Katie Dey on Mon, 05/06/2019 - 3:24pm. Contributors:

Presented as part of the 2019 HCSS conference.

We present FastPACE (Provable Assertion Checking Engine), a weakest precondition analysis tool, developed for semi-automated generation of tests cases for the Test Suite of the Airborne Collision Avoidance System Xa/Xo (ACAS X). The ACAS X Test Suite will be used as part of an assurance argument for the system, showing that an implementation matches the system specification.

file

Visible to the public Cyber-Resilient Architectural Patterns

Submitted by Anonymous on Mon, 05/06/2019 - 3:24pm. Contributor:

Presented as part of the 2019 HCSS conference.