DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» Hussein Zedan
Hussein Zedan
A Specification-Oriented Semantics for the Refinement of Real-Time Systems
Removing Redundant Refusals: Minimal Complete Test Suites for Failure Trace Semantics
A Comprehensive Survey of Trends in Oracles for Software Testing
Interval Temporal Logic
Issue 2005 2 June 2005
Interval Temporal Logic
Community Engagement
June 2005 a C T S
Formal Specification of Scientific Applications Using Interval
The Developer Factor in Software Privacy
A Model-Driven Architecture Based Evolution Method and Its Application in an Electronic Learning System
Set-Based Models for Cryptocurrency Software
Learning-Based Testing for Automotive Embedded Systems
The Oracle Problem in Software Testing: a Survey Earl T
Genetic Improvement of Software for Multiple Objectives
Arxiv:Cs/0601008V2 [Cs.LO] 5 Jan 2006 GR/K25922
Research Leadership and Creating Capacity in Research Workshop
Specification and Verification of an Attribute-Based Usage Control Approach for Open and Dynamic Computing Environments
Top View
Compositional Framework for the Guided Evolution of Time-Critical Systems
Business Rules Based Legacy System Evolution Towards Service
Coverage Criteria for Set-Based Specifications
Formality, Agility, Security, and Evolution in Software Development
Mark Harman's CV Summary
Visual Occam: High Level Visualization and Design of Process Networks
Program for the 33Rd Annual IEEE International Computers, Software and Applications Conference
Research Leadership and Creating Capacity in Research Workshop Report
The Oracle Problem in Software Testing: a Survey Earl T
Sixth Workshop on Software Quality Analysis, Monitoring, Improvement, and Applications
Specificating and Verifying an Attribute-Based Usage Control Approach Regarding Open and Dynamic Computing Environments
A Refinement Calculus for the Development of Real-Time Systems
Zbornik Radova