Perturbation-based Fault Screening, 2007 IEEE 13th International Symposium on High Performance Computer Architecture, pp.169-180 ,
DOI : 10.1109/HPCA.2007.346195
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
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
The Strangest Thing About Software, Computer, vol.40, issue.1, pp.54-60, 2007. ,
DOI : 10.1109/MC.2007.37
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
Dynamically Discovering Likely Program to Support Program Evolution Invariants, Proceedings of ICSE'99, pp.213-224, 1999. ,
DOI : 10.1109/icsm.2001.972767
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
On the performance of fault screeners in software development and deployment, Proceedings of ENASE'08, pp.123-130, 2008. ,
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
Automated Fault Localization Using Potential Invariants, Proceedings of AADEBUG'03, pp.273-276, 2003. ,
IODINE, Proceedings of the 42nd annual conference on Design automation , DAC '05, pp.775-778, 2005. ,
DOI : 10.1145/1065579.1065786
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
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
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
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
Real-time Optimization of Requirements Models, Jet Propulsion, pp.1-33, 2008. ,
Backdoors To Typical Case Complexity, Proceedings of IJCAI'03, 2003. ,