FSM-based incremental conformance testing methods
EI-Fakih, K., Yevtushenko, N., Bochmann, Gv
Published in IEEE transactions on software engineering (01.07.2004)
Published in IEEE transactions on software engineering (01.07.2004)
Get full text
Journal Article
Test selection based on finite state models
Fujiwara, S., v. Bochmann, G., Khendek, F., Amalou, M., Ghedamsi, A.
Published in IEEE transactions on software engineering (01.06.1991)
Published in IEEE transactions on software engineering (01.06.1991)
Get full text
Journal Article
Personal and service mobility in ubiquitous computing environments
El-Khatib, K., Zhang, Zhen E., Hadibi, N., Bochmann, G. v.
Published in Wireless communications and mobile computing (01.09.2004)
Published in Wireless communications and mobile computing (01.09.2004)
Get full text
Journal Article
Submodule Construction for Extended State Machine Models
Daou, Bassel, Bochmann, Gregor V.
Published in Formal Techniques for Networked and Distributed Systems - FORTE 2005 (2005)
Published in Formal Techniques for Networked and Distributed Systems - FORTE 2005 (2005)
Get full text
Book Chapter
Conference Proceeding
Software testing based on SDL specifications with save
Luo, G., Das, A., Bochmann, G.v.
Published in IEEE transactions on software engineering (01.01.1994)
Published in IEEE transactions on software engineering (01.01.1994)
Get full text
Journal Article
Trace analysis for conformance and arbitration testing
Bochmann, G.V., Dssouli, R., Zhao, J.R.
Published in IEEE transactions on software engineering (01.11.1989)
Published in IEEE transactions on software engineering (01.11.1989)
Get full text
Journal Article
Robust optical burst switching
Maach, A., Bochmann, Gv, Mouftah, H.
Published in 11th International Telecommunications Network Strategy and Planning Symposium. NETWORKS 2004 (2004)
Published in 11th International Telecommunications Network Strategy and Planning Symposium. NETWORKS 2004 (2004)
Get full text
Conference Proceeding
A framework for conformance testing of systems communicating through rendezvous
Tan, Q.M., Petrenko, A., von Bochmann, G.
Published in Digest of papers - International Symposium on Fault-Tolerant Computing (1979) (1996)
Published in Digest of papers - International Symposium on Fault-Tolerant Computing (1979) (1996)
Get full text
Conference Proceeding
Journal Article
Semiautomatic Implementation of Communication Protocols
Bochmann, G.v., Gerber, G.W., Serre, J.-M.
Published in IEEE transactions on software engineering (01.09.1987)
Published in IEEE transactions on software engineering (01.09.1987)
Get full text
Journal Article