A. Gupta, Assertion-based verification turns the corner, IEEE Design & Test of Computers, vol.19, issue.4, pp.131-132, 2002.

A. Pnueli, Linear and branching structures in the semantics and logics of reactive systems, Automata, Languages and Programming, ser. Lecture Notes in Computer Science, pp.15-32, 1985.
DOI : 10.1007/BFb0015727

G. Ammons, R. Bodík, and J. R. Larus, Mining specifications, ACM SIGPLAN Notices, vol.37, issue.1, pp.4-16, 2002.
DOI : 10.1145/565816.503275

S. Hertz, D. Sheridan, and S. Vasudevan, Mining Hardware Assertions With Guidance From Static Analysis, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.32, issue.6, pp.952-965, 2013.
DOI : 10.1109/TCAD.2013.2241176

A. Danese, T. Ghasempouri, and G. Pravadelli, Automatic extraction of assertions from execution traces of behavioural models, " in In proc, of ACM/IEEE DATE, 2015.

A. Danese, T. Ghasempouri, and G. Pravadelli, Automatic Extraction of Assertions from Execution Traces of Behavioural Models, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015, 2015.
DOI : 10.7873/DATE.2015.0110

M. Bertasi, G. D. Guglielmo, and G. Pravadelli, Automatic generation of compact formal properties for effective error detection, 2013 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), pp.1-10, 2013.
DOI : 10.1109/CODES-ISSS.2013.6659015

W. Li, A. Forin, and S. A. Seshia, Scalable specification mining for verification and diagnosis, Proceedings of the 47th Design Automation Conference on, DAC '10, 2010.
DOI : 10.1145/1837274.1837466
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.182.8910

S. Katz, O. Grumberg, and D. Geist, ???Have I Written Enough Properties???? - A Method of Comparison Between Specification and Implementation, Proc. of ACM CHARME, pp.280-297, 1999.
DOI : 10.1007/3-540-48153-2_21

H. Hoskote, T. Kam, P. H. Ho, and X. Zao, Coverage estimation for symbolic model checking, Proc. of ACM, pp.300-305, 1999.
DOI : 10.1109/dac.1999.781330
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.7533

N. Jayakumar, M. Purandare, and F. Somenzi, Dos and don'ts of CTL state coverage estimation, Proceedings of the 40th conference on Design automation , DAC '03, pp.292-295, 2003.
DOI : 10.1145/775832.775908
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.373.2609

A. Fedeli, F. Fummi, and G. Pravadelli, Properties Incompleteness Evaluation by Functional Verification, IEEE Transactions on Computers, vol.56, issue.4, pp.528-544, 2007.
DOI : 10.1109/TC.2007.1012
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.135.9722

P. Tan, V. Kumar, and J. Srivastava, Selecting the right interestingness measure for association patterns, Proceedings of the eighth ACM SIGKDD international conference on Knowledge discovery and data mining , KDD '02, pp.32-41, 2002.
DOI : 10.1145/775047.775053
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.1494

P. Tan and V. Kumar, Interestingness measures for association patterns: A perspective, Proc. of Workshop on Postprocessing in Machine Learning and Data Mining, 2000.

D. Lo and S. Maoz, Specification mining of symbolic scenario-based models, Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, PASTE '08, pp.29-35, 2008.
DOI : 10.1145/1512475.1512482

D. Lo, S. Khoo, and C. Liu, Efficient mining of iterative patterns for software specification discovery, Proceedings of the 13th ACM SIGKDD international conference on Knowledge discovery and data mining , KDD '07, pp.460-469, 2007.
DOI : 10.1145/1281192.1281243

J. Henkel and A. Diwan, Discovering Algebraic Specifications from Java Classes, Proc. of ECOOP, pp.431-456, 2003.
DOI : 10.1007/978-3-540-45070-2_19
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.13.5473

M. Ernst, J. Cockrell, W. Griswold, and D. Notkin, Dynamically discovering likely program invariants to support program evolution, IEEE Transactions on Software Engineering, vol.27, issue.2, pp.99-123, 2001.
DOI : 10.1109/32.908957

D. Sheridan, L. Liu, H. Kim, and S. Vasudevan, A Coverage Guided Mining Approach for Automatic Generation of Succinct Assertions, 2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems, pp.68-73, 2014.
DOI : 10.1109/VLSID.2014.19

M. Bonato, G. Di-guglielmo, M. Fujita, F. Fummi, and G. Pravadelli, Dynamic property mining for embedded software, Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, CODES+ISSS '12, pp.187-196, 2012.
DOI : 10.1145/2380445.2380479

M. D. Ernst, J. H. Perkins, P. J. Guo, S. Mccamant, C. Pacheco et al., The Daikon system for dynamic detection of likely invariants, Science of Computer Programming, vol.69, issue.1-3, pp.35-45, 2007.
DOI : 10.1016/j.scico.2007.01.015

C. M. Antunes and A. L. Oliveira, Temporal data mining: An overview, Proc. of Workshop on Temporal Data Mining, 2001.

R. J. Bayardo-jr and R. Agrawal, Mining the most interesting rules, Proceedings of the fifth ACM SIGKDD international conference on Knowledge discovery and data mining , KDD '99, pp.145-154, 1999.
DOI : 10.1145/312129.312219

M. Boulé and Z. Zilic, Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring, 2008.
DOI : 10.1007/978-1-4020-8586-4

K. Pearson and L. N. Filon, Mathematical Contributions to the Theory of Evolution. IV. On the Probable Errors of Frequency Constants and on the Influence of Random Selection on Variation and Correlation, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, vol.191, issue.0, pp.229-311, 1898.
DOI : 10.1098/rsta.1898.0007

J. R. Quinlan, Induction of decision trees, Machine Learning, vol.1, issue.1, pp.81-106, 1986.
DOI : 10.1037/13135-000
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.167.3624

A. Fin, F. Fummi, and G. Pravadelli, AMLETO: a multi-language environment for functional test generation, Proceedings International Test Conference 2001 (Cat. No.01CH37260), pp.821-829, 2001.
DOI : 10.1109/TEST.2001.966704