activity
20152019
most citedSafety Verification and Refutation by k-invariants and k-induction (extended version)

1 citations · 1 across the 2 of their papers we have counts for

collaborators
Showing cs.SEShow all

1 paper · 1 filter

cs.SE2017

Functional Requirements-Based Automated Testing for Avionics

Youcheng Sun, Martin Brain, Daniel Kroening +7

We propose and demonstrate a method for the reduction of testing effort in safety-critical software development using DO-178 guidance. We achieve this through the application of Bo…