Gregor v. Bochmann
Gregor v. Bochmann
Verified email at site.uottawa.ca - Homepage
Title
Cited by
Cited by
Year
Test selection based on finite state models
FB Khendek, S Fujiwara, GV Bochmann, F Khendek, M Amalou, ...
IEEE Transactions on software engineering 17 (591-603), 10.1109, 1991
8611991
Finite state description of communication protocols
GV Bochmann
Computer Networks (1976) 2 (4-5), 361-372, 1978
4901978
Formal methods in communication protocol design
G Bochmann, C Sunshine
IEEE transactions on Communications 28 (4), 624-631, 1980
3611980
Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method
G Luo, G von Bochmann, A Petrenko
IEEE Transactions on software Engineering 20 (2), 149-162, 1994
3291994
Protocol testing: review of methods and relevance for software testing
GV Bochmann, A Petrenko
Proceedings of the 1994 ACM SIGSOFT international symposium on Software …, 1994
3201994
Semantic evaluation from left to right
GV Bochmann
Communications of the ACM 19 (2), 55-62, 1976
3061976
On the construction of submodule specifications and communication protocols
P Merlin, GV Bochmann
ACM Transactions on Programming Languages and Systems (TOPLAS) 5 (1), 1-25, 1983
1991983
A test design methodology for protocol testing
B Sarikaya, G Bochmann, E Cerny
IEEE Transactions on Software Engineering, 518-531, 1987
1981987
Hardware specification with temporal logic: An example
GV Bochmann
IEEE Computer Architecture Letters 31 (03), 223-231, 1982
1881982
Synchronization and specification issues in protocol testing
B Sarikaya, GV Bochmann
IEEE Transactions on Communications 32 (4), 389-395, 1984
1841984
Testing deterministic implementations from nondeterministic FSM specifications
A Petrenko, N Yevtushenko, G Bochmann
Testing of Communicating Systems, 125-140, 1996
1461996
Selecting test sequences for partially-specified nondeterministic finite state machines
G Luo, A Petrenko, G Bochmann
Protocol Test Systems, 95-110, 1995
1411995
A sampler of formal definitions
M Marcotty, H Ledgard, GV Bochmann
ACM Computing Surveys (CSUR) 8 (2), 191-276, 1976
1331976
A general transition model for protocols and communication services
G Bochmann
IEEE Transactions on Communications 28 (4), 643-650, 1980
1321980
On fault coverage of tests for finite state specifications
A Petrenko, G Bochmann, M Yao
Computer Networks and ISDN Systems 29 (1), 81-106, 1996
1251996
Fault models in testing
G Bochmann, A Das, R Dssouli, M Dubuc, A Ghedamsi, G Luo
Proceedings of the IFIP TC6/WG6. 1 Fourth International Workshop on Protocol …, 1991
1171991
Deriving protocol specifications from service specifications
G von Bochmann, R Gotzhein
ACM SIGCOMM Computer Communication Review 16 (3), 148-156, 1986
1031986
Towards Videotex Standards
GV Bochmann, J Gecsei
Viewdata & Videotext 81, 253-262, 1980
971980
Specifications of a simplified transport protocol using different formal description techniques
GV Bochmann
Computer Networks and ISDN systems 18 (5), 335-377, 1990
961990
Usage of protocol development tools: The results of a survey
G Bochmann
Proceedings of the IFIP WG6. 1 Seventh International Conference on Protocol …, 1987
961987
The system can't perform the operation now. Try again later.
Articles 1–20