Concepedia

Wided Ghardallou

WG

Statistics

Publications

3

Citations

33

H-Index

3

Active since

2012

Affiliations

Tunis El Manar University(Current)

New Jersey Institute of Technology

Wided Ghardallou is an author at Tunis El Manar University specializing in computer science, software analysis, and engineering.

Top concepts

EngineeringComputer ScienceProgram AnalysisSoftware AnalysisVerificationFormal MethodsSoftware TestingFormal VerificationSoftware EngineeringSoftware Verification

Publications per year

2012–2016

3

Publications

3

Debugging without Testing

Wided Ghardallou, Nafi Diallo, Ali Mili et al. · 2016 · 13 citations

Program Checking, Engineering, Verification +18

Correctness and relative correctness

Nafi Diallo, Wided Ghardallou, Ali Mili · International Conference on Software Engineering · 2015 · 10 citations

Software Maintenance, Paraconsistent Logic, Engineering +25

A versatile concept for the analysis of loops

Wided Ghardallou, Olfa Mraihi, Asma Louhichi et al. · The Journal of Logic and Algebraic Programming · 2012 · 10 citations

Mathematical Programming, Computational Complexity Theory, Engineering +7

1–3 of 3