Concepedia

Kassem Saleh

KS

21

Publications

600

Citations

14

H-Index

1991

Active since

Affiliations

Kuwait University(Current)

American University of Sharjah

University of Ottawa

Alfaisal University

Kassem Saleh is an author at Kuwait University specializing in engineering, formal methods, and systems engineering.

Top concepts

EngineeringFormal MethodsSystems EngineeringComputer ScienceSoftware DesignFormal VerificationSoftware EngineeringSoftware AnalysisProgram AnalysisSoftware Testing

Publications per year

1991–2021

21

Publications

21

Synthesis of communication protocols: survey and assessment

Robert L. Probert, Kassem Saleh · IEEE Transactions on Computers · 1991 · 95 citations

Engineering, Synthesis Methods, Verification +19

Compiler test case generation methods: a survey and assessment

A.S. Boujarwah, Kassem Saleh · Information and Software Technology · 1997 · 81 citations

Engineering, Program Analysis, Software Testing +10

Test development for communication protocols: towards automation

Rachida Dssouli, Kassem Saleh, E.M. Aboulhamid et al. · Computer Networks · 1999 · 71 citations

Engineering, System Testing, Test Development +10

Test generation based on control and data dependencies within system specifications in SDL

Hasan Ural, Kassem Saleh, Alan Williams · Computer Communications · 2000 · 52 citations

Engineering, Data Dependencies, Verification +17

Synthesis of communications protocols

Kassem Saleh · ACM SIGCOMM Computer Communication Review · 1996 · 36 citations · Full text

Engineering, Verification, Software Engineering +19

Rows per page

1–5 of 21