Real-Time Extended Interface Automata for Software Testing Cases Generation

<table>Input automata <svg height="15.25" id="M218" style="vertical-align:-3.13504pt" version="1.1" viewbox="0 0 13.8875 15.25" width="13.8875" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,11.112)"><path d="M414 650l-6 -28q-63 -4 -78.5 -17.5t-27.5 -71.5l-77 -416q-11 -58 0.5 -71.5t77.5 -17.5l-5 -28h-275l8 28q63 4 79.5 18.5t27.5 70.5l80 416q11 57 -2 71t-81 18l6 28h273z" id="x1D43C"></path></g>
<g transform="matrix(.012,-0,0,-.012,7.487,15.187)"><path d="M384 0h-275v27q67 5 81.5 18.5t14.5 68.5v385q0 38 -7.5 47.5t-40.5 10.5l-48 2v24q85 15 178 52v-521q0 -55 14.5 -68.5t82.5 -18.5v-27z" id="x31"></path></g>
</svg> of the aircraft braking system.</table>

The Scientific World Journal

fig8

Figure 8

Figure 8: Real-Time Extended Interface Automata for Software Testing Cases Generation 