Title :
Next generation testing tecrnique for embedded software: abstract semantics analysis
Keywords :
Application software; Computer industry; Computer science; Data analysis; Debugging; Embedded software; Embedded system; Missiles; Software testing; Trajectory;
Conference_Titel :
Digital Avionics Systems Conference, 2004. DASC 04. The 23rd
Print_ISBN :
0-7803-8539-X
DOI :
10.1109/DASC.2004.1390799