1 citations · 1 across the 2 of their papers we have counts for
2 papers
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…
cs.LO2015★ 1 cited
Safety Verification and Refutation by k-invariants and k-induction (extended version)
Martin Brain, Saurabh Joshi, Daniel Kroening +1
Most software verification tools can be classified into one of a number of established families, each of which has their own focus and strengths. For example, concrete counterexamp…