Generating test sequences using symbolic execution for event-driven real-time systems

Author: Lee N.H.   Cha S.D.  

Publisher: Elsevier

ISSN: 0141-9331

Source: Microprocessors and Microsystems, Vol.27, Iss.10, 2003-11, pp. : 523-531

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content