New PDF release: An Artificial Intelligence Approach to Test Generation

By Narinder Singh

ISBN-10: 1461291836

ISBN-13: 9781461291831

ISBN-10: 146131979X

ISBN-13: 9781461319795

I am indebted to my thesis consultant, Michael Genesereth, for his advice, notion, and aid which has made this examine attainable. As a instructor and a sounding board for brand spanking new rules, Mike was once super valuable in declaring Haws, and suggesting new instructions to discover. i might additionally wish to thank Harold Brown for introducing me to the applying of synthetic intelligence to reasoning approximately designs, and his many worthwhile reviews as a reader of this thesis. major contribu­ tions through the opposite participants of my studying committee, Mark Horowitz, and Allen Peterson have significantly enhanced the content material and association of this thesis by way of forcing me to speak my rules extra essentially. i'm tremendous thankful to the opposite contributors of the good judgment team on the Heuristic Programming undertaking for being a sounding board for my rules, and supplying precious reviews. specifically, i need to thank Matt Ginsberg, Vineet Singh, Devika Subramanian, Richard Trietel, Dave Smith, Jock Mackinlay, and Glenn Kramer for his or her pointed criticisms. This examine used to be supported through Schlumberger Palo Alto learn (previously Fairchild Laboratory for man made Intelligence). i'm thankful to Peter Hart, the previous head of the AI lab, and his successor Marty Tenenbaum for delivering a very good setting for acting this research.

Show description

Read or Download An Artificial Intelligence Approach to Test Generation PDF

Similar international books

Read e-book online Belarus: Oil, Gas, Transit Pipelines and Russian Foreign PDF

Belarus will depend on Russia for roughly eighty five% of its overall strength wishes, whereas Russia wishes Belarus' oil and gasoline pipelines to export its provides to Western Europe. How will power exports from Russia and Belarus' transit services impression Western Europe if this interdependent dating ends, both via political alterations in Belarus or if Russia ends its strength subsidies to Belarus?

Download e-book for kindle: The Semantic Web – ISWC 2010: 9th International Semantic Web by Samur Araujo, Geert-Jan Houben, Daniel Schwabe, Jan Hidders

The two-volume set LNCS 6496 and 6497 constitutes the refereed lawsuits of the ninth foreign Semantic net convention, ISWC 2010, held in Shanghai, China, in the course of November 7-11, 2010. half I includes fifty one papers out of 578 submissions to the examine song. half II comprises 18 papers out of sixty six submissions to the semantic internet in-use tune, 6 papers out of 26 submissions to the doctoral consortium tune, and in addition four invited talks.

Download e-book for iPad: Beyond 1995: The Future of the NPT Regime by Joseph F. Pilat, Robert E. Pendley (auth.), Joseph F. Pilat,

There's nearly common aid for the view that the realm will be a fair extra risky position if there have been to be extra nuclear-weapon states. There will be extra hands on extra triggers and, most likely, a better chance set off should be pulled with incalculable effects. possible see, for this reason, that there's a collective curiosity in fending off the unfold of nuclear guns to extra nations.

Extra resources for An Artificial Intelligence Approach to Test Generation

Sample text

The remainder of this subsection will present an example illustrating the utility of reasoning with the reformulated design of the full-adder device, and later analyze the utility of structural abstraction in general. Suppose we have the goal of controlling the carry output of the device to 1, or o. 4. The top-half of the figure shows the search space for controlling the carry output to 1, and the bottom half shows the search space for controlling the carry output to o. In this figure we have used the name of a port to represent the goal of controlling its value to 1, and name of a port with an overbar to represent the goal of controlling its value to o.

Value abstraction provides a reduction in the average number of nodes to explore which is exponential in the number of bits at each 4The inputs to the second multiplier are 2n - 1 bits wide. However, since e is connected to b which has n bit inputs, the n - 1 most significant magnitude bits of e are always o. 10: Search space using the value abstracted behavior of multipliers. input of the first multiplier. This reduction is primarily due to the reduction in the branching factor of the nodes in the search space, since the depth of the two search spaces is approximately the same.

For a system of linear equations, the cost of solving these constraints is polynomial in the depth of the circuit using linear-programming techniques, which is substantially cheaper than search which is exponential in the depth. These savings are made possible because by using constraint propagation we only propagate information through each module and connection once, and the cost of solving these constraints is polynomial in the depth. Using search, however, we may have to repeatedly propagate information through the same modules and connections in the design, each time for a different value.

Download PDF sample

An Artificial Intelligence Approach to Test Generation by Narinder Singh

by David

Rated 4.85 of 5 – based on 40 votes