P. Racunas, K. Constantinides, S. Manne, and S. S. Mukherjee, Perturbation-based Fault Screening, 2007 IEEE 13th International Symposium on High Performance Computer Architecture, pp.169-180
DOI : 10.1109/HPCA.2007.346195

S. Hangal and M. S. Lam, Tracking down software bugs using automatic anomaly detection, Proceedings of the 24th international conference on Software engineering , ICSE '02, pp.291-301, 2002.
DOI : 10.1145/581376.581377
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.24.2555

R. Abreu, A. González, P. Zoeteweij, and A. J. Van-gemund, Automatic software fault localization using generic program invariants, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, pp.712-717, 2008.
DOI : 10.1145/1363686.1363855
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.521.2385

T. Menzies, D. Owen, and J. Richardson, The Strangest Thing About Software, Computer, vol.40, issue.1, pp.54-60, 2007.
DOI : 10.1109/MC.2007.37

G. Gay, T. Menzies, M. Davies, and K. Gundy-burlet, Automatically finding the control variables for complex system behavior, Automated Software Engineering, vol.13, issue.11, pp.439-468, 2010.
DOI : 10.1007/s10515-010-0072-x

M. D. Ernst, J. Cockrell, W. G. Griswoldt, and D. Notkin, Dynamically Discovering Likely Program to Support Program Evolution Invariants, Proceedings of ICSE'99, pp.213-224, 1999.
DOI : 10.1109/icsm.2001.972767

M. Dimitrov and H. Zhou, Anomaly-Based Bug Prediction, Isolation, and Validation: An Automated Approach for Software Debugging, Proceedings of ASPLOS'09, pp.61-72, 2009.
DOI : 10.1145/1508244.1508252

R. Abreu, A. González, P. Zoeteweij, and A. J. Van-gemund, On the performance of fault screeners in software development and deployment, Proceedings of ENASE'08, pp.123-130, 2008.

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.1-3, 2007.
DOI : 10.1016/j.scico.2007.01.015

B. Pytlik, M. Renieris, S. Krishnamurthi, and S. P. Reiss, Automated Fault Localization Using Potential Invariants, Proceedings of AADEBUG'03, pp.273-276, 2003.

S. Hangal, N. Chandra, S. Narayanan, and S. Chakravorty, IODINE, Proceedings of the 42nd annual conference on Design automation , DAC '05, pp.775-778, 2005.
DOI : 10.1145/1065579.1065786

T. Janssen, R. Abreu, and A. J. Van-gemund, Zoltar: A Toolset for Automatic Fault Localization, 2009 IEEE/ACM International Conference on Automated Software Engineering, pp.662-664, 2009.
DOI : 10.1109/ASE.2009.27

P. Sagdeo, V. Athavale, S. Kowshik, and S. Vasudevan, PRECIS: Inferring invariants using program path guided clustering, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), pp.532-535, 2011.
DOI : 10.1109/ASE.2011.6100117

S. K. Sahoo, M. L. Li, P. Ramachandran, S. V. Adve, V. S. Adve et al., Using likely program invariants to detect hardware errors, 2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN), pp.70-79, 2008.
DOI : 10.1109/DSN.2008.4630072

O. Jalali, T. Menzies, and M. Feather, Optimizing requirements decisions with keys, Proceedings of the 4th international workshop on Predictor models in software engineering , PROMISE '08, pp.1-8, 2008.
DOI : 10.1145/1370788.1370807
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.120.9012

G. Gay, T. Menzies, O. Jalali, M. Feather, and J. Kiper, Real-time Optimization of Requirements Models, Jet Propulsion, pp.1-33, 2008.

R. Williams, C. P. Gomes, and B. Selman, Backdoors To Typical Case Complexity, Proceedings of IJCAI'03, 2003.