Work

Improve the Effectiveness of Test Case Generation on EFSM via Automatic Path Feasibility Analysis

Year: 2011

Type: conference-paper

Source: Proceedings - IEEE International Symposium on High-Assurance Systems Engineering/Proceedings

DOI: 10.1109/hase.2011.12

Authors: Rui Yang, Zhenyu Chen, Baowen Xu, W. Eric Wong, Jie Zhang

Institutions: Jiangsu Ocean University, Nanjing University, The University of Texas at Dallas

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1987716059

FWCI: 2.312

Cites: 25

Cited by: 24

Related to: 10