تحليل البرنامج الساكن (Arabic Wikipedia)

Analysis of information sources in references of the Wikipedia article "تحليل البرنامج الساكن" in Arabic language version.

refsWebsite

Global rank Arabic rank

14web.archive.org

1^st place

3doi.org

2^nd place

5^th place

2arxiv.org

69^th place

207^th place

1liu.se

9,195^th place

low place

1see.asso.fr

low place

1microsoft.com

153^rd place

250^th place

1fda.gov

447^th place

393^rd place

1nationalarchives.gov.uk

744^th place

719^th place

1hse.gov.uk

8,579^th place

7,459^th place

1faa.gov

1,009^th place

2,254^th place

1parasoft.com

low place

1ieee.org

652^nd place

834^th place

1brucker.ch

low place

1omg.org

8,204^th place

low place

1inria.fr

4,903^rd place

low place

1kroening.com

low place

1embedded.com

low place

1slideshare.net

2,161^st place

1,515^th place

1archives-ouvertes.fr

1,031^st place

1,622^nd place

archives-ouvertes.fr

hal.archives-ouvertes.fr

Monperrus، Martin؛ Mezini، Mira (2013). "Detecting missing method calls as violations of the majority rule". ACM Transactions on Software Engineering and Methodology. ج. 22 ع. 1: 1–25. arXiv:1306.0762. DOI:10.1145/2430536.2430541. مؤرشف من الأصل في 2019-04-26.

arxiv.org

Bartel، Alexandre؛ Klein، Jacques؛ Monperrus، Martin؛ Le Traon، Yves (1 يونيو 2014). "Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges and Solutions for Analyzing Android". IEEE Transactions on Software Engineering. ج. 40 ع. 6: 617–632. arXiv:1408.3976. DOI:10.1109/tse.2014.2322867. مؤرشف من الأصل في 2020-05-17.
Monperrus، Martin؛ Mezini، Mira (2013). "Detecting missing method calls as violations of the majority rule". ACM Transactions on Software Engineering and Methodology. ج. 22 ع. 1: 1–25. arXiv:1306.0762. DOI:10.1145/2430536.2430541. مؤرشف من الأصل في 2019-04-26.

brucker.ch

Achim D. Brucker and Uwe Sodan. Deploying Static Application Security Testing on a Large Scale نسخة محفوظة 2014-10-21 على موقع واي باك مشين.. In GI Sicherheit 2014. Lecture Notes in Informatics, 228, pages 91-101, GI, 2014. "Archived copy" (PDF). مؤرشف (PDF) من الأصل في 2014-10-21. اطلع عليه بتاريخ 2015-05-20.{{استشهاد ويب}}: صيانة الاستشهاد: الأرشيف كعنوان (link)

doi.org

Bartel، Alexandre؛ Klein، Jacques؛ Monperrus، Martin؛ Le Traon، Yves (1 يونيو 2014). "Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges and Solutions for Analyzing Android". IEEE Transactions on Software Engineering. ج. 40 ع. 6: 617–632. arXiv:1408.3976. DOI:10.1109/tse.2014.2322867. مؤرشف من الأصل في 2020-05-17.
Oh، Hakjoo؛ Yang، Hongseok؛ Yi، Kwangkeun (2015). "Learning a strategy for adapting a program analysis via bayesian optimisation". Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2015. ص. 572–588. DOI:10.1145/2814270.2814309. ISBN:9781450336895.
Monperrus، Martin؛ Mezini، Mira (2013). "Detecting missing method calls as violations of the majority rule". ACM Transactions on Software Engineering and Methodology. ج. 22 ع. 1: 1–25. arXiv:1306.0762. DOI:10.1145/2430536.2430541. مؤرشف من الأصل في 2019-04-26.

embedded.com

embeddeddsp.embedded.com

Jones، Paul (9 فبراير 2010). "A Formal Methods-based verification approach to medical device software analysis". Embedded Systems Design. مؤرشف من الأصل في 2011-07-10. اطلع عليه بتاريخ 2010-09-09. {{استشهاد ويب}}: |archive-date= / |archive-url= timestamp mismatch (مساعدة)

faa.gov

Position Paper CAST-9. Considerations for Evaluating Safety Engineering Approaches to Software Assurance نسخة محفوظة 2013-10-06 على موقع واي باك مشين. // FAA, Certification Authorities Software Team (CAST), January, 2002: "Verification. A combination of both static and dynamic analyses should be specified by the applicant/developer and applied to the software."

fda.gov

FDA (8 سبتمبر 2010). "Infusion Pump Software Safety Research at FDA". Food and Drug Administration. مؤرشف من الأصل في 2010-09-01. اطلع عليه بتاريخ 2010-09-09.

hse.gov.uk

Computer based safety systems - technical guidance for assessing software aspects of digital computer based protection systems, "Computer based safety systems" (PDF). مؤرشف من الأصل (PDF) في 2013-01-04. اطلع عليه بتاريخ 2013-05-15.

ieee.org

ieeexplore.ieee.org

Prause, Christian R., René Reiners, and Silviya Dencheva. "Empirical study of tool support in highly distributed research projects." Global Software Engineering (ICGSE), 2010 5th IEEE International Conference on. IEEE, 2010 http://ieeexplore.ieee.org/ielx5/5581168/5581493/05581551.pdf نسخة محفوظة 2020-10-07 على موقع واي باك مشين.

inria.fr

hal.inria.fr

Bartel، Alexandre؛ Klein، Jacques؛ Monperrus، Martin؛ Le Traon، Yves (1 يونيو 2014). "Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges and Solutions for Analyzing Android". IEEE Transactions on Software Engineering. ج. 40 ع. 6: 617–632. arXiv:1408.3976. DOI:10.1109/tse.2014.2322867. مؤرشف من الأصل في 2020-05-17.

kroening.com

Vijay D’Silva؛ وآخرون (2008). "A Survey of Automated Techniques for Formal Software Verification" (PDF). Transactions On CAD. مؤرشف من الأصل (PDF) في 2016-03-04. اطلع عليه بتاريخ 2015-05-11.

liu.se

ida.liu.se

Wichmann، B. A.؛ Canning، A. A.؛ Clutterbuck، D. L.؛ Winsbarrow، L. A.؛ Ward، N. J.؛ Marsh، D. W. R. (مارس 1995). "Industrial Perspective on Static Analysis" (PDF). Software Engineering Journal: 69–75. مؤرشف من الأصل (PDF) في 2011-09-27.

microsoft.com

Improving Software Security with Precise Static and Runtime Analysis نسخة محفوظة 2011-06-05 على موقع واي باك مشين. (PDF), Benjamin Livshits, section 7.3 "Static Techniques for Security". Stanford doctoral thesis, 2006.

nationalarchives.gov.uk

webarchive.nationalarchives.gov.uk

Computer based safety systems - technical guidance for assessing software aspects of digital computer based protection systems, "Computer based safety systems" (PDF). مؤرشف من الأصل (PDF) في 2013-01-04. اطلع عليه بتاريخ 2013-05-15.

omg.org

"Archived copy". مؤرشف (PDF) من الأصل في 2013-12-28. اطلع عليه بتاريخ 2013-10-18.{{استشهاد ويب}}: صيانة الاستشهاد: الأرشيف كعنوان (link)

parasoft.com

VDC Research (1 فبراير 2012). "Automated Defect Prevention for Embedded Software Quality". VDC Research. مؤرشف من الأصل في 2012-04-11. اطلع عليه بتاريخ 2012-04-10.

see.asso.fr

web1.see.asso.fr

"Software Quality Objectives for Source Code" نسخة محفوظة 2015-06-04 على موقع واي باك مشين. (PDF). Proceedings: Embedded Real Time Software and Systems 2010 Conference, ERTS2010.org, Toulouse, France: Patrick Briand, Martin Brochet, Thierry Cambois, Emmanuel Coutenceau, Olivier Guetta, Daniel Mainberte, Frederic Mondot, Patrick Munier, Loic Noury, Philippe Spozio, Frederic Retailleau.

slideshare.net

"Learning from other's mistakes: Data-driven code analysis". www.slideshare.net (بالإنجليزية). Archived from the original on 2017-01-15.

web.archive.org

Wichmann، B. A.؛ Canning، A. A.؛ Clutterbuck، D. L.؛ Winsbarrow، L. A.؛ Ward، N. J.؛ Marsh، D. W. R. (مارس 1995). "Industrial Perspective on Static Analysis" (PDF). Software Engineering Journal: 69–75. مؤرشف من الأصل (PDF) في 2011-09-27.
"Software Quality Objectives for Source Code" نسخة محفوظة 2015-06-04 على موقع واي باك مشين. (PDF). Proceedings: Embedded Real Time Software and Systems 2010 Conference, ERTS2010.org, Toulouse, France: Patrick Briand, Martin Brochet, Thierry Cambois, Emmanuel Coutenceau, Olivier Guetta, Daniel Mainberte, Frederic Mondot, Patrick Munier, Loic Noury, Philippe Spozio, Frederic Retailleau.
Improving Software Security with Precise Static and Runtime Analysis نسخة محفوظة 2011-06-05 على موقع واي باك مشين. (PDF), Benjamin Livshits, section 7.3 "Static Techniques for Security". Stanford doctoral thesis, 2006.
FDA (8 سبتمبر 2010). "Infusion Pump Software Safety Research at FDA". Food and Drug Administration. مؤرشف من الأصل في 2010-09-01. اطلع عليه بتاريخ 2010-09-09.
Position Paper CAST-9. Considerations for Evaluating Safety Engineering Approaches to Software Assurance نسخة محفوظة 2013-10-06 على موقع واي باك مشين. // FAA, Certification Authorities Software Team (CAST), January, 2002: "Verification. A combination of both static and dynamic analyses should be specified by the applicant/developer and applied to the software."
VDC Research (1 فبراير 2012). "Automated Defect Prevention for Embedded Software Quality". VDC Research. مؤرشف من الأصل في 2012-04-11. اطلع عليه بتاريخ 2012-04-10.
Prause, Christian R., René Reiners, and Silviya Dencheva. "Empirical study of tool support in highly distributed research projects." Global Software Engineering (ICGSE), 2010 5th IEEE International Conference on. IEEE, 2010 http://ieeexplore.ieee.org/ielx5/5581168/5581493/05581551.pdf نسخة محفوظة 2020-10-07 على موقع واي باك مشين.
Achim D. Brucker and Uwe Sodan. Deploying Static Application Security Testing on a Large Scale نسخة محفوظة 2014-10-21 على موقع واي باك مشين.. In GI Sicherheit 2014. Lecture Notes in Informatics, 228, pages 91-101, GI, 2014. "Archived copy" (PDF). مؤرشف (PDF) من الأصل في 2014-10-21. اطلع عليه بتاريخ 2015-05-20.{{استشهاد ويب}}: صيانة الاستشهاد: الأرشيف كعنوان (link)
"Archived copy". مؤرشف (PDF) من الأصل في 2013-12-28. اطلع عليه بتاريخ 2013-10-18.{{استشهاد ويب}}: صيانة الاستشهاد: الأرشيف كعنوان (link)
Bartel، Alexandre؛ Klein، Jacques؛ Monperrus، Martin؛ Le Traon، Yves (1 يونيو 2014). "Static Analysis for Extracting Permission Checks of a Large Scale Framework: The Challenges and Solutions for Analyzing Android". IEEE Transactions on Software Engineering. ج. 40 ع. 6: 617–632. arXiv:1408.3976. DOI:10.1109/tse.2014.2322867. مؤرشف من الأصل في 2020-05-17.
Vijay D’Silva؛ وآخرون (2008). "A Survey of Automated Techniques for Formal Software Verification" (PDF). Transactions On CAD. مؤرشف من الأصل (PDF) في 2016-03-04. اطلع عليه بتاريخ 2015-05-11.
Jones، Paul (9 فبراير 2010). "A Formal Methods-based verification approach to medical device software analysis". Embedded Systems Design. مؤرشف من الأصل في 2011-07-10. اطلع عليه بتاريخ 2010-09-09. {{استشهاد ويب}}: |archive-date= / |archive-url= timestamp mismatch (مساعدة)
"Learning from other's mistakes: Data-driven code analysis". www.slideshare.net (بالإنجليزية). Archived from the original on 2017-01-15.
Monperrus، Martin؛ Mezini، Mira (2013). "Detecting missing method calls as violations of the majority rule". ACM Transactions on Software Engineering and Methodology. ج. 22 ع. 1: 1–25. arXiv:1306.0762. DOI:10.1145/2430536.2430541. مؤرشف من الأصل في 2019-04-26.