173 citations · 655 across the 66 of their papers we have counts for
1 paper · 2 filters
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…