Reliability analysis in symbolic pathfinder.

Antonio Filieri Corina S. Pasareanu Willem Visser

Published in: ICSE (2013)

Keyphrases

reliability analysis
symbolic representation
fault tree
artificial intelligence
real world
decision making
condition monitoring