Learn More
Symbolic execution is widely used in software test cases automatic generating, but itpsilas hard to use it in embedded software testing, for embedded software is related to hardware too close. And at present, embedded software testing tools can only generate flow chart and test cases' coverage information, can not generate test cases that satisfy designated(More)
  • 1