N. Angius, The Problem of Justification of Empirical Hypotheses in Software Testing, Philosophy & Technology, vol.21, issue.2, pp.423-439, 2014.
DOI : 10.1007/s13347-014-0159-6

H. Beyers, M. Olivier, and G. Hancke, Database Application Schema Forensics, South African Computer Journal, vol.53, pp.1-11, 2014.
DOI : 10.18489/sacj.v55i0.188
URL : http://doi.org/10.18489/sacj.v55i0.188

D. Bjorner, Domain Theory: Practice and Theories A Discussion of Possible Research Topics, Proceedings of the Fourth International Colloquium on the Theoretical Aspects of Computing, pp.1-17, 2007.
DOI : 10.1007/978-3-540-75292-9_1

G. Bosman and S. Gruner, Log file analysis with context-free grammars , in Advances in Database, pp.145-152, 2013.

M. Bunge, Philosophy of Science: From Problem to Theory, Volume One, Transaction Publishers, 1998.

M. Bunge, Philosophy of Science: From Explanation to Justification , Volume Two, Transaction Publishers, 1998.

B. Carrier, A Hypothesis-Based Approach to Digital Forensic Investigations, 2006.

Y. Chabot, A. Bertaux, C. Nicolle, and M. Kechadi, A complete formalized knowledge representation model for advanced digital forensics timeline analysis, Digital Investigation, pp.95-105, 2014.
DOI : 10.1016/j.diin.2014.05.009
URL : https://hal.archives-ouvertes.fr/hal-01199449

F. Cohen, Digital Forensic Evidence Examination, 2009.
URL : https://hal.archives-ouvertes.fr/hal-01060607

P. Garbolino, Historical narratives, evidence and explanations, in Explanation, Prediction and Confirmation, The Philosophy of Science in a European Perspective, pp.293-303, 2011.

P. Garbolino, The scientification of forensic practice, in New Challenges to Philosophy of Science, The Philosophy of Science in a European Perspective, pp.287-297, 2013.

P. Garbolino and F. Taroni, Evaluation of scientific evidence using Bayesian networks, Forensic Science International, vol.125, issue.2-3, pp.149-155, 2002.
DOI : 10.1016/S0379-0738(01)00642-9

P. Gladyshev, Formalizing Event Reconstruction in Digital Investigations , Doctoral Dissertation, 2004.

T. Kuhn, The Structure of Scientific Revolutions, 1962.

E. Luschei, The Logical Systems of Lesniewski, North-Holland, 1962.

M. Olivier and S. Gruner, On the scientific maturity of digital forensics research, in Advances in Digital Forensics, pp.33-49, 2013.

M. Pollitt, History, historiography and the hermeneutics of the hard drive, in Advances in Digital Forensics, pp.3-17, 2013.

F. Taroni, A. Biedermann, S. Bozza, P. Garbolino, and C. Aitken, Bayesian Networks for Probabilistic Inference and Decision Analysis in Forensic Science, 2014.
DOI : 10.1002/9781118914762

J. Vuillemin, On Duhem's and Quine's theses, in The Philosophy of W, Open Court, pp.595-618, 1986.

J. Wang, Z. Tang, and X. Jin, An OCL-based formal method for cloud forensics, Advanced Materials Research, pp.989-994, 2014.

J. Wiechel, D. Morr, and B. Boggess, Application of the Scientific Method to the Analyses in Forensic Science With Case Example, Volume 11: New Developments in Simulation Methods and Software for Engineering Applications; Safety Engineering, Risk Analysis and Reliability Methods; Transportation Systems, pp.515-522, 2010.
DOI : 10.1115/IMECE2010-39044

W. Windelband, History and natural science, Theory and Psychology, pp.5-22, 1998.