P. Ammann & P.E. Black (2001):
A specification-based coverage metric to evaluate test sets.
International Journal of Quality, Reliability and Safety Engineering 8(4),
pp. 275–300,
doi:10.1142/S0218539301000530.
I. Beer, S. Ben-David, H. Chockler, A. Orni & R. J. Trefler (2012):
Explaining counterexamples using causality.
Formal Methods in System Design 40(1),
pp. 20–40,
doi:10.1007/s10703-011-0132-2.
I. Beer, S. Ben-David, C. Eisner & Y. Rodeh (2001):
Efficient detection of vacuity in ACTL formulas.
Formal Methods in System Design 18(2),
pp. 141–162,
doi:10.1023/A:1008779610539.
H. Chockler, O. Grumberg & A. Yadgar (2008):
Efficient automatic STE refinement using responsibility.
In: Proc. 14th Conference on Tools and Algorithms for the Construction and Analysis of Systems,
pp. 233–248,
doi:10.1007/978-3-540-78800-3_17.
H. Chockler & J.Y. Halpern (2004):
Responsibility and blame: a structural-model approach.
Journal of Artificial Intelligence Research (JAIR) 22,
pp. 93–115.
H. Chockler & O. Kupferman (2002):
Coverage of Implementations by Simulating Specifications.
In: R.A. Baeza-Yates, U. Montanari & N. Santoro: Proceedings of 2nd IFIP International Conference on Theoretical Computer Science,
IFIP Conference Proceedings 223.
Kluwer Academic Publishers,
Montreal, Canada,
pp. 409–421.
H. Chockler, O. Kupferman, R.P. Kurshan & M.Y. Vardi (2001):
A Practical Approach to Coverage in Model Checking.
In: Computer Aided Verification, Proc. 13th International Conference,
Lecture Notes in Computer Science 2102.
Springer-Verlag,
pp. 66–78,
doi:10.1007/3-540-44585-4_7.
H. Chockler, O. Kupferman & M.Y. Vardi (2001):
Coverage Metrics for Temporal Logic Model Checking.
In: Tools and algorithms for the construction and analysis of systems,
Lecture Notes in Computer Science 2031.
Springer-Verlag,
pp. 528 – 542,
doi:10.1007/3-540-45319-9_36.
H. Chockler, O. Kupferman & M.Y. Vardi (2003):
Coverage Metrics for Formal Verification.
In: Correct Hardware Design and Verification Methods (CHARME),
Lecture Notes in Computer Science 2860.
Springer-Verlag,
pp. 111–125,
doi:10.1007/978-3-540-39724-3_11.
Hana Chockler, Norman E. Fenton, Jeroen Keppens & David A. Lagnado (2015):
Causal analysis for attributing responsibility in legal cases.
In: Proceedings of the 15th International Conference on Artificial Intelligence and Law, ICAIL.
ACM,
pp. 33–42,
doi:10.1145/2746090.2746102.
Hana Chockler, Joseph Y. Halpern & Orna Kupferman (2008):
What causes a system to satisfy a specification?.
ACM Trans. Comput. Log. 9(3),
doi:10.1145/1352582.1352588.
E. M. Clarke, O. Grumberg & D. A. Peled (1999):
Model Checking.
MIT Press,
Cambridge, Mass..
E.M. Clarke, O. Grumberg, K.L. McMillan & X. Zhao (1995):
Efficient generation of counterexamples and witnesses in symbolic model checking.
In: Proc. 32nd Design Automation Conference.
IEEE Computer Society,
pp. 427–432,
doi:10.1145/217474.217565.
N. Hall (2004):
Two concepts of causation.
In: J. Collins, N. Hall & L. A. Paul: Causation and Counterfactuals.
MIT Press,
Cambridge, Mass..
J. Y. Halpern & J. Pearl (2005):
Causes and explanations: A structural-model approach. Part I: Causes.
British Journal for Philosophy of Science 56(4),
pp. 843–887,
doi:10.1093/bjps/axi148.
Joseph Y. Halpern (2015):
A Modification of the Halpern-Pearl Definition of Causality.
In: Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI.
AAAI Press,
pp. 3022–3033.
J.Y. Halpern & J. Pearl (2001):
Causes and Explanations: A Structural-Model Approach — Part 1: Causes.
In: Uncertainty in Artificial Intelligence: Proceedings of the 17th Conference (UAI-2001).
Morgan Kaufmann Publishers,
San Francisco, CA,
pp. 194–202.
Y. Hoskote, T. Kam, P.-H Ho & X. Zhao (1999):
Coverage estimation for symbolic model checking.
In: Proc. 36th Design automation conference,
pp. 300–305.
D. Hume (1939):
A treatise of human nature.
John Noon, London.
O. Kupferman (2006):
Sanity Checks in Formal Verification.
In: Proc. 17th International Conference on Concurrency Theory,
Lecture Notes in Computer Science 4137.
Springer-Verlag,
pp. 37–51,
doi:10.1007/11817949_3.
O. Kupferman & M.Y. Vardi (2003):
Vacuity detection in temporal model checking.
Journal on Software Tools For Technology Transfer 4(2),
pp. 224–233,
doi:10.1007/s100090100062.
D.A. Lagnado, T. Gerstenberg & R. Zultan (2013):
Causal responsibility and counterfactuals.
Cognitive Science 37,
pp. 1036–1073,
doi:10.1111/cogs.12054.
R.A. De Millo, R.J. Lipton & F.G. Sayward (1978):
Hints on test data selection: Help for the practicing programmer.
IEEE Computer 11(4),
pp. 34–41,
doi:10.1109/C-M.1978.218136.
R.A. De Millo & A.J. Offutt (1991):
Constraint-based automatic test data generation.
IEEE Transactions on Software Engineering 17(9),
pp. 900–910,
doi:10.1109/32.92910.
RuleBase PE Homepage.
http://www.haifa.il.ibm.com/projects/verification/RB_Homepage.
T. Schubert:
High level formal verification of next-generation microprocessors.
In: DAC'03.
C.-J. H. Seger & R. E. Bryant (1995):
Formal Verification by Symbolic Evaluation of Partially-Ordered Trajectories.
Formal Methods in System Design 6(2),
doi:10.1007/BF01383966.
C.-J. H. Seger, R. B. Jones, J. W. O'Leary, T. F. Melham, M. Aagaard, C. Barrett & D. Syme (2005):
An Industrially Effective Environment for Formal Hardware Verification.
IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems 24(9),
doi:10.1109/TCAD.2005.850814.
S. Tasiran & K. Keutzer (2001):
Coverage Metrics for Functional Validation of Hardware Designs.
IEEE Design and Test of Computers 18(4),
pp. 36–45,
doi:10.1109/54.936247.
J. Yang & A. Goel (2002):
GSTE through a case study.
In: ICCAD,
doi:10.1145/774572.774651.
eptcs@eptcs.org