Titlebook: An Artificial Intelligence Approach to Test Generation; Narinder Singh Book 1987 Kluwer Academic Publishers 1987 Syntax.algorithms.artific

Hazardous

書目名稱An Artificial Intelligence Approach to Test Generation影響因子(影響力)




書目名稱An Artificial Intelligence Approach to Test Generation影響因子(影響力)學(xué)科排名




書目名稱An Artificial Intelligence Approach to Test Generation網(wǎng)絡(luò)公開度




書目名稱An Artificial Intelligence Approach to Test Generation網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱An Artificial Intelligence Approach to Test Generation被引頻次




書目名稱An Artificial Intelligence Approach to Test Generation被引頻次學(xué)科排名




書目名稱An Artificial Intelligence Approach to Test Generation年度引用




書目名稱An Artificial Intelligence Approach to Test Generation年度引用學(xué)科排名




書目名稱An Artificial Intelligence Approach to Test Generation讀者反饋




書目名稱An Artificial Intelligence Approach to Test Generation讀者反饋學(xué)科排名

紀(jì)念

Book 1987thank Matt Ginsberg, Vineet Singh, Devika Subramanian, Richard Trietel, Dave Smith, Jock Mackinlay, and Glenn Kramer for their pointed criticisms. This research was supported by Schlumberger Palo Alto Research (previously Fairchild Laboratory for Artificial Intelligence). I am grateful to Peter Hart

Chronic

An Artificial Intelligence Approach to Test Generation

CHASE

漂浮

Reformulation, with high level design formulations that capture the morphology of the device. In this chapter we will present a more formal discussion of reformulation. Before we define how designs can be reformulated, we present a precise definition of a device which is a physical entity, and a design, which is

大炮

General Representation and Reasoning,of the reasoning process and reduce the size of the design. A design is a specification of a device at the knowledge level independent of any symbols. In order to reason about a device we must encode its design in a representation language, and use an inference procedure to reason with this descript

Neutral-Spine

Charitable

General Representation and Reasoning,of the reasoning process and reduce the size of the design. A design is a specification of a device at the knowledge level independent of any symbols. In order to reason about a device we must encode its design in a representation language, and use an inference procedure to reason with this description.

翻動(dòng)

失望未來

Conclusion,This chapter will present a summary of the key ideas described in this thesis, suggest directions for further research in reformulating designs, and describe the implementation state of the Saturn test generation system.