Publications - Electrical and Computer Engineering

Explore 3916 publications

CONFERENCE PAPER

Theoretical validation of object-oriented lack-of-cohesion metrics

Aldallal.J

Computer Science Department

December 31st, 2008

CONFERENCE PAPER

A novel technique for synthesizing distributed and concurrent protocol specifications

Aldallal.J

Computer Science Department

December 31st, 2007

JOURNAL ARTICLE

Adequacy of Object-Oriented Framework System-Based Testing Techniques

Aldallal.J

Computer Science Department

December 31st, 2007

JOURNAL ARTICLE

An Efficient Algorithm for Computing all Program Forward Static Slices

Aldallal.J

Computer Science Department

December 31st, 2007

JOURNAL ARTICLE

Efficient Program Slicing Algorithms for Measuring Functional Cohesion and Parallelism

Aldallal.J

Computer Science Department

December 31st, 2007

JOURNAL ARTICLE

Estimating the coverage of the framework application reusable cluster-based test cases

Aldallal.J

Computer Science Department

December 31st, 2007

JOURNAL ARTICLE

Generating Class-Based Test Cases for Interface Classes of Object-Oriented Black Box Frameworks

Aldallal.J

Computer Science Department

December 31st, 2007

JOURNAL ARTICLE

Generating Class-Based Test Cases for Interface Classes of Object-Oriented Gray-Box Frameworks

Aldallal.J

Computer Science Department

December 31st, 2007

JOURNAL ARTICLE

Generating State-Based Testing Models for Object-Oriented Framework Interface Classes

Aldallal.J

Computer Science Department

December 31st, 2007

CONFERENCE PAPER

Integrated object-oriented framework-based testing environment

Aldallal.J

Computer Science Department

December 31st, 2007

CONFERENCE PAPER

Integrating Hook-Based Object-Oriented Framework Testing Techniques

Aldallal.J

Computer Science Department

December 31st, 2007

JOURNAL ARTICLE

Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications

Aldallal.J

Computer Science Department

December 31st, 2007

JOURNAL ARTICLE

Testing software assets of framework-based product families during application engineering stage

Aldallal.J

Computer Science Department

December 31st, 2007

JOURNAL ARTICLE

The Coverage of the Object-Oriented Framework Application Class-Based Test Cases

Aldallal.J

Computer Science Department

December 31st, 2007

JOURNAL ARTICLE

A Design-Based Cohesion Metric For Object-Oriented Classes

Aldallal.J

Computer Science Department

October 20th, 2007

CONFERENCE PAPER

Using computing-all-slices algorithm in measuring functional cohesion

Aldallal.J

Computer Science Department

December 31st, 2006

JOURNAL ARTICLE

Automatic synthesis of timed protocol specifications from service specifications

Aldallal.J

Computer Science Department

December 31st, 2005

JOURNAL ARTICLE

An efficient algorithm for computing all program static slices

Aldallal.J

Computer Science Department

December 31st, 2004

JOURNAL ARTICLE

Reusing class-based test cases for testing object-oriented framework interface classes

Aldallal.J

Computer Science Department

December 31st, 2004

CONFERENCE PAPER

Using distance measurement for software functional cohesion

Aldallal.J

Computer Science Department

December 31st, 2004

CONFERENCE PAPER

Generating reusable cluster-based test cases for framework applications: Is it worth it?

Aldallal.J

Computer Science Department

December 31st, 2003

CONFERENCE PAPER

Automatic construction of a class state-based testing model using method specifications

Aldallal.J

Computer Science Department

December 31st, 2002

CONFERENCE PAPER

System testing for object-oriented frameworks using hook technology

Aldallal.J

Computer Science Department

December 31st, 2001

JOURNAL ARTICLE

Anomaly detection in concurrent Java programs using dynamic data flow analysis

Aldallal.J

Computer Science Department

December 31st, 2000

JOURNAL ARTICLE

Anomaly detection in concurrent Java programs using dynamic data flow analysis

Aldallal.J

Computer Science Department

December 31st, 2000

JOURNAL ARTICLE

Virtual time scheduling in HFC networks with support for priority implementation

Aldallal.J

Computer Science Department

September 30th, 2000

JOURNAL ARTICLE

Dynamic data flow analysis for Java programs

Aldallal.J

Computer Science Department

August 31st, 2000

JOURNAL ARTICLE

Dynamic data flow analysis for Java programs

Aldallal.J

Computer Science Department

December 31st, 1999

CONFERENCE PAPER

Testing Java programs using dynamic data flow analysis

Aldallal.J

Computer Science Department

December 31st, 1999

JOURNAL ARTICLE

Virtual time scheduling in HFC networks with support for priority implementation

Aldallal.J

Computer Science Department

December 31st, 1999

JOURNAL ARTICLE

Testing syntax and semantic coverage of Java language compilers

Aldallal.J

Computer Science Department

January 31st, 1999

JOURNAL ARTICLE

Testing syntax and semantic coverage of Java language compilers

Aldallal.J

Computer Science Department

December 31st, 1998

OTHER

System testing for object-oriented frameworks using hook technology

Aldallal.J

Computer Science Department

December 31st, 1899

JOURNAL ARTICLE

Stress Mindset: Evolution, Current Developments, and Future Directions

Raghid Al Hajj

John G. Vongas

Michel Zaitouni

Ahmed R. ElMelegy

Review of General Psychology

Business Administration Dept

October 7th, 2025

OTHER

Digital Self-Guided Mental Health Interventions to Prevent Workplace Burnout & Enhance Psychological Wellness: Protocol for a Systematic Review (Preprint)

Ehsan Etezad

John Edward Fiset

Raghid Al Hajj

Business Administration Dept

July 9th, 2025

About Department

Department Programs

Discover GUST Scientific Papers and Publications

Explore 3916 publications

Theoretical validation of object-oriented lack-of-cohesion metrics

A novel technique for synthesizing distributed and concurrent protocol specifications

Adequacy of Object-Oriented Framework System-Based Testing Techniques

An Efficient Algorithm for Computing all Program Forward Static Slices

Efficient Program Slicing Algorithms for Measuring Functional Cohesion and Parallelism

Estimating the coverage of the framework application reusable cluster-based test cases

Generating Class-Based Test Cases for Interface Classes of Object-Oriented Black Box Frameworks

Generating Class-Based Test Cases for Interface Classes of Object-Oriented Gray-Box Frameworks

Generating State-Based Testing Models for Object-Oriented Framework Interface Classes

Integrated object-oriented framework-based testing environment

Integrating Hook-Based Object-Oriented Framework Testing Techniques

Service-Oriented Synthesis of Distributed and Concurrent Protocol Specifications

Testing software assets of framework-based product families during application engineering stage

The Coverage of the Object-Oriented Framework Application Class-Based Test Cases

A Design-Based Cohesion Metric For Object-Oriented Classes

Using computing-all-slices algorithm in measuring functional cohesion

Automatic synthesis of timed protocol specifications from service specifications

An efficient algorithm for computing all program static slices

Reusing class-based test cases for testing object-oriented framework interface classes

Using distance measurement for software functional cohesion

Generating reusable cluster-based test cases for framework applications: Is it worth it?

Automatic construction of a class state-based testing model using method specifications

System testing for object-oriented frameworks using hook technology

Anomaly detection in concurrent Java programs using dynamic data flow analysis

Anomaly detection in concurrent Java programs using dynamic data flow analysis

Virtual time scheduling in HFC networks with support for priority implementation

Dynamic data flow analysis for Java programs

Dynamic data flow analysis for Java programs

Testing Java programs using dynamic data flow analysis

Virtual time scheduling in HFC networks with support for priority implementation

Testing syntax and semantic coverage of Java language compilers

Testing syntax and semantic coverage of Java language compilers

System testing for object-oriented frameworks using hook technology

Stress Mindset: Evolution, Current Developments, and Future Directions

Digital Self-Guided Mental Health Interventions to Prevent Workplace Burnout & Enhance Psychological Wellness: Protocol for a Systematic Review (Preprint)

Get a real feel of GUST with Majors of College of Arts & Sciences, College of Business and College of Engineering & Architecture.