References

  1. Luca Aceto, Arnar Birgisson, Anna Ingólfsdóttir & Mohammad Reza Mousavi (2011): Decompositional Reasoning about the History of Parallel Processes. In: Farhad Arbab & Marjan Sirjani: Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers, Lecture Notes in Computer Science 7141. Springer, pp. 32–47, doi:10.1007/978-3-642-29320-7_3.
  2. H. R. Andersen (1995): Partial Model Checking (Extended Abstract). In: LICS, pp. 398–407, doi:10.1109/LICS.1995.523274.
  3. Adrian Beer, Stephan Heidinger, Uwe Kühne, Florian Leitner-Fischer & Stefan Leue (2015): Symbolic Causality Checking Using Bounded Model Checking. In: Bernd Fischer & Jaco Geldenhuys: Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings, Lecture Notes in Computer Science 9232. Springer, pp. 203–221, doi:10.1007/978-3-319-23404-5_14.
  4. Mitra Tabaei Befrouei, Chao Wang & Georg Weissenbacher (2014): Abstraction and Mining of Traces to Explain Concurrency Bugs. In: Borzoo Bonakdarpour & Scott A. Smolka: Runtime Verification - 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings, Lecture Notes in Computer Science 8734. Springer, pp. 162–177, doi:10.1007/978-3-319-11164-3_14.
  5. G. Caltais, S. Leue & M.R. Mousavi (2016): (De-)Composing Causality in Labeled Transition Systems. Technical Report soft-16-02. Available at http://se.uni-konstanz.de/uploads/tx_sibibtex/crest_2016.pdf.
  6. D. Giannakopoulou, C. S. Pasareanu & H. Barringer (2005): Component Verification with Automatically Generated Assumptions. Autom. Softw. Eng. 12(3), pp. 297–320, doi:10.1007/s10515-005-2641-y.
  7. Gregor Gößler & Lacramioara Astefanoaei (2014): Blaming in component-based real-time systems. In: 2014 International Conference on Embedded Software, EMSOFT 2014. ACM Press, pp. 7:1–7:10, doi:10.1145/2656045.2656048.
  8. Gregor Gößler & Daniel Le Métayer (2015): A general framework for blaming in component-based systems. Sci. Comput. Program. 113, pp. 223–235, doi:10.1016/j.scico.2015.06.010.
  9. Gregor Gößler, Daniel Le Métayer & Jean-Baptiste Raclet (2010): Causality Analysis in Contract Violation. In: Runtime Verification - First International Conference, RV 2010, Lecture Notes in Computer Science 6418. Springer, pp. 270–284, doi:10.1007/978-3-642-16612-9_21.
  10. Gregor Gößler & Jean-Bernard Stefani (2016): Fault Ascription in Concurrent Systems. In: Trustworthy Global Computing - 10th International Symposium, TGC, Lecture Notes in Computer Science 9533. Springer, pp. 79–94, doi:10.1007/978-3-319-28766-9.
  11. A. Groce, S. Chaki, D. Kroening & O. Strichman (2006): Error explanation with distance metrics. International Journal on Software Tools for Technology Transfer (STTT) 8(3), doi:10.1007/s10009-005-0202-0.
  12. A. Groce & W. Visser (2003): What Went Wrong: Explaining Counterexamples. In: Workshop on Software Model Checking (SPIN), Lecture Notes in Computer Science 2648. Springer, pp. 121–135, doi:10.1007/3-540-44829-2_8.
  13. J.Y. Halpern & J. Pearl (2005): Causes and explanations: A structural-model approach. Part I: Causes. The British Journal for the Philosophy of Science, doi:10.1093/bjps/axi148.
  14. Matthew Hennessy & Robin Milner (1980): On Observing Nondeterminism and Concurrency. In: J. W. de Bakker & Jan van Leeuwen: Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherland, July 14-18, 1980, Proceedings, Lecture Notes in Computer Science 85. Springer, pp. 299–309, doi:10.1007/3-540-10003-2_79.
  15. Peter Ladkin & Karsten Loer (1998): Analysing Aviation Accidents Using WB-Analysis – an Application of Multimodal Reasoning. In: AAAI Spring Symposium. AAAI. Available at https://www.aaai.org/Papers/Symposia/Spring/1998/SS-98-04/SS98-04-031.pdf.
  16. Kim Guldstrand Larsen & Liu Xinxin (1991): Compositionality through an Operational Semantics of Contexts. J. Log. Comput. 1(6), pp. 761–795, doi:10.1093/logcom/1.6.761.
  17. Florian Leitner-Fischer & Stefan Leue (2013): Causality Checking for Complex System Models. In: Roberto Giacobazzi, Josh Berdine & Isabella Mastroeni: Verification, Model Checking, and Abstract Interpretation, 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings, Lecture Notes in Computer Science 7737. Springer, pp. 248–267, doi:10.1007/978-3-642-35873-9_16.
  18. Florian Leitner-Fischer & Stefan Leue (2013): Probabilistic Fault Tree Synthesis using Causality Computation. International Journal of Critical Computer-Based Systems 4, pp. pp. 119–143, doi:10.1504/IJCCBS.2013.056492.
  19. Florian Leitner-Fischer & Stefan Leue (2014): SpinCause: a tool for causality checking. In: Neha Rungta & Oksana Tkachuk: 2014 International Symposium on Model Checking of Software, SPIN 2014, Proceedings, San Jose, CA, USA, July 21-23, 2014. ACM, pp. 117–120, doi:10.1145/2632362.2632371.
  20. D. Lewis (1973): Counterfactuals. Blackwell Publishers.
  21. Robin Milner (1980): A Calculus of Communicating Systems. Lecture Notes in Computer Science 92. Springer, doi:10.1007/3-540-10235-3.
  22. N. Noroozi, M.R. Mousavi & T.A.C. Willemse (2013): Decomposability in Input Output Conformance Testing. In: Proceedings of the 8th Workshop on Model-Based Testing (MBT 2013), Electronic Proceedings in Theoretical Computer Science 111, pp. 51–66, doi:10.4204/EPTCS.111.5.
  23. M. Renieris & S.P. Reiss (2003): Fault localization with nearest neighbor queries. In: 18th International Conference on Automated Software Engineering, Montreal, Canada, doi:10.1109/ASE.2003.1240292.
  24. T. Villa, N. Yevtushenko, R.K. Brayton, A. Mishchenko, A. Petrenko & A. Sangiovanni-Vincentelli (2012): The Unknown Component Problem, Theory and Applications. Springer, doi:10.1007/978-0-387-68759-9.
  25. G. Xie & Z. Dang (2006): Testing systems of concurrent black-boxes—an automata-theoretic and decompositional approach. In: FATES, LNCS 3997. Springer, pp. 170–186, doi:10.1007/11759744_12.
  26. Andreas Zeller (2009): Why Programs Fail: A Guide to Systematic Debugging. Elsevier.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org