Ali Y. Duale

According to our database, Ali Y. Duale authored at least 9 papers between 2000 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Decimal floating-point in z9: An implementation and testing perspective.

Ali Y. Duale, Mark H. Decker, Hans-Georg Zipperer, Merav Aharoni, Theodore J. Bohizic

IBM J. Res. Dev., 2007

2005

Pseudo-Random System Testing: Coverage Estimation and Enhancement.

Ali Y. Duale, Theodore J. Bohizic, Dennis W. Wittig

Proceedings of the International Conference on Software Engineering Research and Practice, 2005

2004

A Method Enabling Feasible Conformance Test Sequence Generation for EFSM Models.

Ali Y. Duale, M. Ümit Uyar

IEEE Trans. Computers, 2004

Architectural Verification of Large Multiprocessor Computers.

Ali Y. Duale, Theodore J. Bohizic, Dennis W. Wittig

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2004

2003

A technique to generate feasible tests for communications systems with multiple timers.

Mariusz A. Fecko, M. Ümit Uyar, Ali Y. Duale, Paul D. Amer

IEEE/ACM Trans. Netw., 2003

Experience in developing and testing network protocol software using FDTs.

M. Ümit Uyar, Mariusz A. Fecko, Ali Y. Duale, Paul D. Amer, Adarshpal S. Sethi

Inf. Softw. Technol., 2003

Towards Testing SDL Specifications: Models and Fault Coverage for Concurrent Timers.

Mariusz A. Fecko, M. Ümit Uyar, Ali Y. Duale

Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

2000

Test Generation in the Presence of Conflicting Timers.

Mariusz A. Fecko, Paul D. Amer, M. Ümit Uyar, Ali Y. Duale

Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13^th International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000

Generation of Feasible Test Sequences for EFSM Models.

Ali Y. Duale, M. Ümit Uyar

Proceedings of the Testing of Communicating Systems: Tools and Techniques, IFIP TC6/WG6.1 13^th International Conference on Testing Communicating Systems (TestCom 2000), August 29, 2000