Ali Y. Duale

发表

A method enabling feasible conformance test sequence generation for EFSM models

M. Ümit Uyar, Ali Y. Duale, A. Y. Duale, 2004, IEEE Transactions on Computers.

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

Ali Y. Duale, Mark H. Decker, Hans-Georg Zipperer, 2007, IBM J. Res. Dev..

Feasible test generation by elimination of inconsistencies in efsm models of computer and communication systems

M. Umit Uyar, Ali Y. Duale, 2000 .

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

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

Resolving inconsistencies in EFSM-modeled specifications

Ali Y. Duale, M. U. Uyar, M. U. Uyar, 1999, MILCOM 1999. IEEE Military Communications. Conference Proceedings (Cat. No.99CH36341).

Testing of Communicating Systems: 18th IFIP TC 6/WG 6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings (Lecture Notes in Computer Science)

Mariusz A. Fecko, M. Umit Uyar, Ali Y. Duale, 2006 .

Refining VHDL Specifications Through Conformance Testing: Case Study of an Adaptive Computing Architecture

M. Umit Uyar, Ali Y. Duale, Bruce D. McClure, 1999 .

Experience in developing and testing network protocol software using FDTs

Paul D. Amer, Adarshpal S. Sethi, M. Ümit Uyar, 2003, Inf. Softw. Technol..

Pseudo-Random System Testing: Coverage Estimation and Enhancement

Ali Y. Duale, Theodore J. Bohizic, Dennis W. Wittig, 2005, Software Engineering Research and Practice.

Architectural Verification of Large Multiprocessor Computers

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

Test Generation in the Presence of Conflicting Timers

Paul D. Amer, M. Ümit Uyar, Mariusz A. Fecko, 2000, TestCom.

Generation of Feasible Test Sequences for EFSM Models

M. Ümit Uyar, Ali Y. Duale, 2000, TestCom.

Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems

M. Umit Uyar, Ali Y. Duale, Mariusz A. Fecko, 2006 .

Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, TestCom 2006, New York, NY, USA, May 16-18, 2006, Proceedings

Ifip Tc, M. Umit Uyar, Ali Y. Duale, 2006, TestCom.

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

Paul D. Amer, M. Ümit Uyar, Mariusz A. Fecko, 2003, TNET.

Efficient test generation for army network protocols with conflicting timers

Paul D. Amer, Mariusz A. Fecko, Ali Y. Duale, 2000, MILCOM 2000 Proceedings. 21st Century Military Communications. Architectures and Technologies for Information Superiority (Cat. No.00CH37155).

Test generation for EFSM models of complex army protocols with inconsistencies

Ali Y. Duale, M. U. Uyar, 2000, MILCOM 2000 Proceedings. 21st Century Military Communications. Architectures and Technologies for Information Superiority (Cat. No.00CH37155).