Login / Signup
Ali Y. Duale
Publication Activity (10 Years)
Years Active: 2000-2007
Publications (10 Years): 0
</>
Publications
</>
Ali Y. Duale
,
Mark H. Decker
,
Hans-Georg Zipperer
,
Merav Aharoni
,
Theodore J. Bohizic
Decimal floating-point in z9: An implementation and testing perspective.
IBM J. Res. Dev.
51 (1/2) (2007)
Ali Y. Duale
,
Theodore J. Bohizic
,
Dennis W. Wittig
Pseudo-Random System Testing: Coverage Estimation and Enhancement.
Software Engineering Research and Practice
(2005)
Ali Y. Duale
,
M. Ümit Uyar
A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models.
IEEE Trans. Computers
53 (5) (2004)
Ali Y. Duale
,
Theodore J. Bohizic
,
Dennis W. Wittig
Architectural Verification of Large Multiprocessor Computers.
PDPTA
(2004)
Mariusz A. Fecko
,
M. Ümit Uyar
,
Ali Y. Duale
Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers.
FORTE
(2003)
M. Ümit Uyar
,
Mariusz A. Fecko
,
Ali Y. Duale
,
Paul D. Amer
,
Adarshpal S. Sethi
Experience in developing and testing network protocol software using FDTs.
Inf. Softw. Technol.
45 (12) (2003)
Mariusz A. Fecko
,
M. Ümit Uyar
,
Ali Y. Duale
,
Paul D. Amer
A technique to generate feasible tests for communications systems with multiple timers.
IEEE/ACM Trans. Netw.
11 (5) (2003)
Ali Y. Duale
,
M. Ümit Uyar
Generation of Feasible Test Sequences for EFSM Models.
TestCom
(2000)
Mariusz A. Fecko
,
Paul D. Amer
,
M. Ümit Uyar
,
Ali Y. Duale
Test Generation in the Presence of Conflicting Timers.
TestCom
(2000)