A Trustable Software with a Dynamic Loop Control Mechanism

NA

[1]  Linda H. Rosenberg,et al.  SOFTWARE METRICS AND RELIABILITY , 1998 .

[2]  Hanêne Ben-Abdallah,et al.  A Monitoring and Checking Framework for Run-time Correctness Assurance , 1998 .

[3]  Jack P. C. Kleijnen,et al.  EUROPEAN JOURNAL OF OPERATIONAL , 1992 .

[4]  Alex Groce,et al.  Error explanation with distance metrics , 2004, International Journal on Software Tools for Technology Transfer.

[5]  G. U. Y.,et al.  A First Course in Statistics , 1922, Nature.

[6]  Manuel Blum,et al.  Software reliability via run-time result-checking , 1997, JACM.

[7]  Jafar Habibi,et al.  FeedbackTrust: using feedback effects in trust-based recommendation systems , 2009, RecSys '09.

[8]  Matthieu Roy,et al.  On-line Monitoring of Real Time Applications for Early Error Detection , 2008, 2008 14th IEEE Pacific Rim International Symposium on Dependable Computing.

[9]  Stewart Robinson,et al.  Simulation model verification and validation: increasing the users' confidence , 1997, WSC '97.

[10]  Guangtian Liu,et al.  Efficient Run-time Monitoring Of Timing Constraints , 1997, Proceedings Third IEEE Real-Time Technology and Applications Symposium.

[11]  Mary Shaw,et al.  Software Engineering for Self-Adaptive Systems: A Research Roadmap , 2009, Software Engineering for Self-Adaptive Systems.

[12]  Hermann Streich,et al.  Checking timing constraints in distributed object-oriented programs , 1996, OOPS.

[13]  Dennis M. Ritchie,et al.  The complexity of loop programs , 1967, ACM National Conference.

[14]  Sudheendra Hangal,et al.  Tracking down software bugs using automatic anomaly detection , 2002, ICSE '02.

[15]  Richard C. Waters,et al.  A Method for Analyzing Loop Programs , 1979, IEEE Transactions on Software Engineering.

[16]  Midori Sugaya,et al.  A Lightweight Anomaly Detection System for Information Appliances , 2009, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

[17]  Li-Yan Yuan,et al.  Loop checks for logic programs with functions , 2001, Theor. Comput. Sci..

[18]  David Kaeli,et al.  Runtime predictability of loops , 2001 .

[19]  Koushik Sen,et al.  Looper: Lightweight Detection of Infinite Loops at Runtime , 2009, 2009 IEEE/ACM International Conference on Automated Software Engineering.