Test-case generation for embedded simulink via formal concept analysis
Mutation testing suffers from the high computational cost of automated test-vector
generation, due to the large number of mutants that can be derived from programs and the …
generation, due to the large number of mutants that can be derived from programs and the …
Functional requirements-based automated testing for avionics
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 …
software development using DO-178 guidance. We achieve this through the application of …
[PDF][PDF] Measuring Coverage Percentage for C Programs using Code Slicer and CREST Tool
Augmented test suite generation is a technique to minimise test effort and duration. Modified
condition and decision coverage (MC/DC) is a white box software testing criteria targeting to …
condition and decision coverage (MC/DC) is a white box software testing criteria targeting to …
Automatic Test Data Generation Targeting Hybrid Coverage Criteria
Software used in safety critical domains such as aviation and automotive has to be
rigorously tested. Since exhaustive testing is not feasible, Modified Condition/Decision …
rigorously tested. Since exhaustive testing is not feasible, Modified Condition/Decision …