الرئيسية › دليل الباحثين › Nafi Diallo

Nafi Diallo

الانتماء : New Jersey Institute of Technology · Monmouth University

• 10منشورات (انتماء أمريكي)
• 16مجموع المنشورات
• 70الاستشهادات
• 5مؤشر h

OpenAlex

مجالات البحث

• Logic, programming, and type systems
• Formal Methods in Verification
• Software Testing and Debugging Techniques
• Software Engineering Research
• Natural Language Processing Techniques

المنشورات (10)

• Convergence: Integrating termination and abort-freedom
  2018 · Journal of Logical and Algebraic Methods in Programming · استُشهد به 4 مرة
• What is a fault? and why does it matter?
  2017 · Innovations in Systems and Software Engineering · استُشهد به 5 مرة
• Projecting programs on specifications: Definition and implications
  2017 · Science of Computer Programming · استُشهد به 2 مرة
• Debugging without Testing
  2016 · IEEE International Conference on Software Testing, Verification and Validation (ICST) · استُشهد به 14 مرة
• Relative correctness: A bridge between testing and proving
  2016 · استُشهد به 5 مرة
• Software Evolution by Correctness Enhancement
  2016 · Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering · استُشهد به 3 مرة
• Program Repair by Stepwise Correctness Enhancement
  2016 · Electronic Proceedings in Theoretical Computer Science · استُشهد به 3 مرة
• Relational Mathematics for Relative Correctness
  2015 · Lecture notes in computer science · استُشهد به 12 مرة
• Correctness and relative correctness
  2015 · استُشهد به 11 مرة
• Correctness and Relative Correctness
  2015 · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · استُشهد به 9 مرة

مجلات النشر

• Journal of Logical and Algebraic Methods in Programming × 1
• Innovations in Systems and Software Engineering × 1
• Science of Computer Programming × 1
• IEEE International Conference on Software Testing, Verification and Validation (ICST) × 1
• Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering × 1
• Electronic Proceedings in Theoretical Computer Science × 1

المنشورات حسب السنة

• 20181
• 20172
• 20164
• 20153

المؤلفون المشاركون

• Ali Mili

البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).