Timed Wp-method: testing real-time systems von En-Nouaary, A., Dssouli, R., Khendek, F.

Volltext

Ambient network composition von Belqasmi, F., Glitho, R., Dssouli, R.

Volltext

Test development for communication protocols: towards automation von Dssouli, R., Saleh, K., Aboulhamid, E., En-Nouaary, A., Bourhfir, C.

Volltext

Change impact analysis for requirement evolution using use case maps von Hassine, J., Rilling, J., Hewitt, J., Dssouli, R.

Volltext

Test cases selection from SDL specifications von Bourhfir, C., Aboulhamid, E., Khendek, F., Dssouli, R.

Volltext

A test case generation approach for conformance testing of SDL systems von Bourhfir, C., Aboulhamid, E., Dssouli, R., Rico, N.

Volltext

Composition of Use Cases Using Synchronization and Model Checking von Mizouni, R., Salah, A., Kolahi, S., Dssouli, R.

Volltext

Implicit integration of scenarios into a reduced timed automaton von Salah, A., Dssouli, R., Lapalme, G.

Volltext

Control-level call differentiation in IMS-based 3G core networks von El Barachi, May, Glitho, R, Dssouli, R

Volltext

A Model-Based Approach for Robustness Testing von Fernandez, Jean-Claude, Mounier, Laurent, Pachon, Cyril

Volltext

Service-Oriented Architecture for High-Dimensional Private Data Mashup von Fung, B. C. M., Trojer, T., Hung, P. C. K., Li Xiong, Al-Hussaeni, K., Dssouli, R.

Volltext

A service creation environment based on scenarios von Dssouli, R., Somé, S., Vaucher, J., Salah, A.

Volltext

Communications software design for testability: specification transformations and testability measures von Dssouli, R, Karoui, K, Saleh, K, Cherkaoui, O

Volltext

An Expressive and Implementable Formal Framework for Testing Real-Time Systems von Krichen, Moez, Tripakis, Stavros

Volltext

Testing of Communicating Systems: 17th IFIP TC 6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005, Proceedings von Khendek, Ferhat, Dssouli, Rachida

Volltext

Eliminating Redundant Tests in a Checking Sequence von Chen, Jessica, Hierons, Robert M., Ural, Hasan, Yenigun, Husnu

Volltext

Coping with Nondeterminism in Network Protocol Testing von Miller, R. E., Chen, D. -L., Lee, D., Hao, R.

Volltext

A Guided Method for Testing Timed Input Output Automata von En-Nouaary, Abdeslam, Dssouli, Rachida

Volltext

State Identification Problems for Timed Automata von Krichen, Moez, Tripakis, Stavros

Volltext

The Epistemology of Validation and Verification Testing von Maibaum, T. S. E.

Volltext