Work

Automatic Transformation from Formal Specifications to Functional Scenario Forms for Automatic Test Case Generation

Year: 2010

Type: book-chapter

Source: Frontiers in artificial intelligence and applications

DOI: 10.3233/978-1-60750-629-4-383

Authors: Liu Shaoying, Hayashi Toshinori, Takahashi Kazuhiro, Kimura Koichiro, Nakayama Toshihiro, Nakajima Shin

Institutions: Hosei University, The Nippon Signal Co., Ltd. (Japan), National Institute of Informatics

Language: English

Topic: Software Testing and Debugging Techniques

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W54595338

FWCI: 1.736

Cites: 16

Cited by: 22

Related to: 10