Accueil › Annuaire des chercheurs › Nafi Diallo
Nafi Diallo
Affiliation : New Jersey Institute of Technology · Monmouth University
- 10Publications (affiliation américaine)
- 16Publications au total
- 70Citations
- 5Indice h
Profil de recherche
Nafi Diallo compte 10 publications référencées (2015–2018). Ses travaux paraissent principalement dans « Journal of Logical and Algebraic Methods in Programming », « Innovations in Systems and Software Engineering » et « Science of Computer Programming ». Son article le plus cité, « Debugging without Testing » (2016), a été cité 14 fois. 7 de ces publications datent des trois dernières années d’activité. Ses travaux sont cosignés avec au moins 1 chercheur.
C’est vous ? Faites connaître vos travaux
Créez gratuitement votre profil DzCademia et ajoutez vos articles : ils apparaîtront plus facilement sur Google et dans les assistants d’IA comme ChatGPT. Plus de personnes pourront vous lire et vous citer.
Créer mon profil gratuit Ajouter mes publicationsDomaines de recherche
- Logic, programming, and type systems
- Formal Methods in Verification
- Software Testing and Debugging Techniques
- Software Engineering Research
- Natural Language Processing Techniques
Publications (10)
- Convergence: Integrating termination and abort-freedom
- What is a fault? and why does it matter?
- Projecting programs on specifications: Definition and implications
- Debugging without Testing
- Relative correctness: A bridge between testing and proving
- Software Evolution by Correctness Enhancement
- Program Repair by Stepwise Correctness Enhancement
- Relational Mathematics for Relative Correctness
- Correctness and relative correctness
- Correctness and Relative Correctness
Revues de publication
- 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
Publications par année
- 20181
- 20172
- 20164
- 20153
Co-auteurs
Données bibliographiques issues d’OpenAlex (base ouverte).
Pourquoi choisir Dzcademia ?
Pour donner à vos travaux plus de chances d’être découverts et recommandés par les IA. Profils, articles et communications : donnez à votre recherche une présence publique structurée. Les métadonnées intégrées aident les moteurs de recherche et les assistants IA à identifier vos travaux et à comprendre leurs références.
Commenter avec Google
Connecte-toi avec Google pour commenter directement sur cette page.