Structure and Chance: Melding Logic and Probability for Software Debugging.

Lisa J. Burnell Eric Horvitz

Published in: Commun. ACM (1995)

Keyphrases

probability distribution
software tools
software design
software engineering
software development
software architecture
software testing
neural network
genetic algorithm
user interface
logic programming
probability theory
classical logic
predicate logic
asynchronous circuits