A. Albarghouthi, L. Antoni, S. Drews, and A. V. Nori, FairSquare: Probabilistic Verification of Program Fairness, PACMPL, vol.1, 2017.

D. W. Barowy, D. Gochev, and E. D. Berger, CheckCell: Data Debugging for Spreadsheets, OOPSLA, pp.507-523, 2014.

O. Bastani, X. Zhang, and A. Solar-lezama, Verifying Fairness Properties via Concentration, 2018.

S. Chaudhuri, S. Gulwani, and R. Lublinerman, Continuity and Robustness of Programs, Communications of the ACM, vol.55, issue.8, pp.107-115, 2012.

J. Cheney, A. Ahmed, and U. A. Acar, Provenance as Dependency Analysis, Mathematical Structures in Computer Science, vol.21, issue.6, pp.1301-1337, 2011.

T. Cheng and X. , An Abstract Domain to Infer Types over Zones in Spreadsheets, SAS, pp.94-110, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00760424

G. Costantini, P. Ferrara, and A. Cortesi, A Suite of Abstract Domains for Static Analysis of String Values. Software -Practice and Experience, vol.45, pp.245-287, 2015.

P. Cousot and R. Cousot, Static Determination of Dynamic Properties of Programs, Second International Symposium on Programming, pp.106-130, 1976.

P. Cousot and M. Monerau, Probabilistic Abstract Interpretation, ESOP, pp.169-193, 2012.

A. Datta, M. Fredrikson, G. Ko, P. Mardziel, and S. Sen, Use Privacy in Data-Driven Systems: Theory and Experiments with Machine Learnt Programs, CCS, pp.1193-1210, 2017.

J. Feret, Static Analysis of Digital Filters, ESOP, pp.33-48, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00528447

A. Filieri, C. S. Pasareanu, and W. Visser, Reliability Analysis in Symbolic Pathfinder, ICSE, pp.622-631, 2013.

S. Galhotra, Y. Brun, and A. Meliou, Fairness Testing: Testing Software for Discrimination, FSE, pp.498-510, 2017.

T. Gehr, M. Mirman, D. Drachsler-cohen, P. Tsankov, S. Chaudhuri et al., AI2: Safety and Robustness Certification of Neural Networks with Abstract Interpretation, S & P, pp.3-18, 2018.

L. H. Gilpin, D. Bau, B. Z. Yuan, A. Bajwa, M. Specter et al., Explaining Explanations: An Approach to Evaluating Interpretability of Machine Learning, 2018.

I. J. Goodfellow, J. Shlens, and C. Szegedy, Explaining and Harnessing Adversarial Examples, ICLR, 2015.

E. Goubault and S. Putot, Robustness Analysis of Finite Precision Implementations, APLAS, pp.50-57, 2013.
URL : https://hal.archives-ouvertes.fr/cea-01834989

M. Hennessy and J. F. Power, An Analysis of Rule Coverage as a Criterion in Generating Minimal Test Suites for Grammar-Based Software, ASE, pp.104-113, 2005.

T. Herndon, M. Ash, and R. Pollin, Does High Public Debt Consistently Stifle Economic Growth? A Critique of Reinhart and Rogoff, Cambridge Journal of Economics, vol.38, issue.2, pp.257-279, 2014.

R. Huang, B. Xu, D. Schuurmans, and C. Szepesvári, Learning with a Strong Adversary, 2015.

X. Huang, M. Kwiatkowska, S. Wang, and M. Wu, Safety Verification of Deep Neural Networks, CAV, pp.3-29, 2017.

K. D. Julian, J. Lopez, J. S. Brush, M. P. Owen, and M. J. Kochenderfer, Policy Compression for Aircraft Collision Avoidance Systems, DASC, pp.1-10, 2016.

G. Katz, C. W. Barrett, D. L. Dill, K. Julian, and M. J. Kochenderfer, Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks, CAV, pp.97-117, 2017.

M. Kusner, J. Loftus, C. Russell, and R. Silva, Counterfactual Fairness. In NIPS, pp.4069-4079, 2017.

R. Majumdar and I. Saha, Symbolic Robustness Analysis, RTSS, pp.355-363, 2009.

S. Mallat, Understanding Deep Convolutional Networks, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol.374, 2016.

J. Mencinger, A. Aristovnik, and M. Verbi?, The Impact of Growing Public Debt on Economic Growth in the European Union, Amfiteatru Economic, vol.16, issue.35, pp.403-414, 2014.

A. Miné, Symbolic Methods to Enhance the Precision of Numerical Abstract Domains, VMCAI, pp.348-363, 2006.

A. Miné, The Octagon Abstract Domain. Higher-Order and Symbolic Computation, vol.19, pp.31-100, 2006.

M. Mirman, T. Gehr, and M. T. Vechev, Differentiable Abstract Interpretation for Provably Robust Neural Networks, ICML, pp.3575-3583, 2018.

A. M. Nguyen, J. Yosinski, and J. Clune, Deep Neural Networks are Easily Fooled: High Confidence Predictions for Unrecognizable Images, CVPR, pp.427-436, 2015.

K. Pei, Y. Cao, J. Yang, and S. Jana, DeepXplore: Automated Whitebox Testing of Deep Learning Systems, SOSP, pp.1-18, 2017.

L. Pulina and A. Tacchella, An Abstraction-Refinement Approach to Verification of Artificial Neural Networks, CAV, pp.243-257, 2010.

X. Rival and L. Mauborgne, The Trace Partitioning Abstract Domain. Transactions on Programming Languages and Systems, vol.29, p.26, 2007.

G. Rothermel, M. M. Burnett, L. Li, C. Dupuis, and A. Sheretov, A Methodology for Testing Spreadsheets, Transactions on Software Engineering and Methodology, vol.10, issue.1, pp.110-147, 2001.

S. Sankaranarayanan, A. Chakarov, and S. Gulwani, Static Analysis for Probabilistic Programs: Inferring Whole Program Properties from Finitely Many Paths, PLDI, pp.447-458, 2013.

G. Singh, T. Gehr, M. Püschel, and M. T. Vechev, An Abstract Domain for Certifying Neural Networks, PACMPL, vol.3, 2019.

G. Smith, Principles of Secure Information Flow Analysis, Malware Detection, vol.27, pp.291-307, 2007.

C. Szegedy, W. Zaremba, I. Sutskever, J. Bruna, D. Erhan et al., Intriguing Properties of Neural Networks, ICLR, 2014.

P. Tabacof and E. Valle, Exploring the Space of Adversarial Images, IJCNN, pp.426-433, 2016.

C. Urban and P. Müller, An Abstract Interpretation Framework for Input Data Usage, ESOP, pp.683-710, 2018.

M. Weiser, Program Slicing, Transactions on Software Engineering, vol.10, issue.4, pp.352-357, 1984.