Hazardous
发表于 2025-3-21 19:07:22
书目名称An Artificial Intelligence Approach to Test Generation影响因子(影响力)<br> http://figure.impactfactor.cn/if/?ISSN=BK0154870<br><br> <br><br>书目名称An Artificial Intelligence Approach to Test Generation影响因子(影响力)学科排名<br> http://figure.impactfactor.cn/ifr/?ISSN=BK0154870<br><br> <br><br>书目名称An Artificial Intelligence Approach to Test Generation网络公开度<br> http://figure.impactfactor.cn/at/?ISSN=BK0154870<br><br> <br><br>书目名称An Artificial Intelligence Approach to Test Generation网络公开度学科排名<br> http://figure.impactfactor.cn/atr/?ISSN=BK0154870<br><br> <br><br>书目名称An Artificial Intelligence Approach to Test Generation被引频次<br> http://figure.impactfactor.cn/tc/?ISSN=BK0154870<br><br> <br><br>书目名称An Artificial Intelligence Approach to Test Generation被引频次学科排名<br> http://figure.impactfactor.cn/tcr/?ISSN=BK0154870<br><br> <br><br>书目名称An Artificial Intelligence Approach to Test Generation年度引用<br> http://figure.impactfactor.cn/ii/?ISSN=BK0154870<br><br> <br><br>书目名称An Artificial Intelligence Approach to Test Generation年度引用学科排名<br> http://figure.impactfactor.cn/iir/?ISSN=BK0154870<br><br> <br><br>书目名称An Artificial Intelligence Approach to Test Generation读者反馈<br> http://figure.impactfactor.cn/5y/?ISSN=BK0154870<br><br> <br><br>书目名称An Artificial Intelligence Approach to Test Generation读者反馈学科排名<br> http://figure.impactfactor.cn/5yr/?ISSN=BK0154870<br><br> <br><br>
纪念
发表于 2025-3-21 23:11:31
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
发表于 2025-3-22 01:39:56
An Artificial Intelligence Approach to Test Generation
CHASE
发表于 2025-3-22 05:20:50
http://reply.papertrans.cn/16/1549/154870/154870_4.png
漂浮
发表于 2025-3-22 10:44:49
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
大炮
发表于 2025-3-22 13:54:55
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
发表于 2025-3-22 18:31:45
http://reply.papertrans.cn/16/1549/154870/154870_7.png
Charitable
发表于 2025-3-22 21:13:09
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.
翻动
发表于 2025-3-23 03:52:59
http://reply.papertrans.cn/16/1549/154870/154870_9.png
失望未来
发表于 2025-3-23 09:05:38
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.