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
8401991
Finite state description of communication protocols
GV Bochmann
Computer Networks (1976) 2 (4-5), 361-372, 1978
4741978
Formal methods in communication protocol design
G Bochmann, C Sunshine
IEEE transactions on Communications 28 (4), 624-631, 1980
3411980
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
3271994
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
3151994
Semantic evaluation from left to right
GV Bochmann
Communications of the ACM 19 (2), 55-62, 1976
2971976
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
1981983
A test design methodology for protocol testing
B Sarikaya, G Bochmann, E Cerny
IEEE Transactions on Software Engineering, 518-531, 1987
1941987
Synchronization and specification issues in protocol testing
B Sarikaya, GV Bochmann
IEEE Transactions on Communications 32 (4), 389-395, 1984
1811984
Hardware specification with temporal logic: An example
GV Bochmann
IEEE Computer Architecture Letters 31 (03), 223-231, 1982
1761982
Testing deterministic implementations from nondeterministic FSM specifications
A Petrenko, N Yevtushenko, G Bochmann
Testing of Communicating Systems, 125-140, 1996
1441996
Selecting test sequences for partially-specified nondeterministic finite state machines
G Luo, A Petrenko, G Bochmann
Protocol Test Systems, 95-110, 1995
1391995
A general transition model for protocols and communication services
G Bochmann
IEEE Transactions on Communications 28 (4), 643-650, 1980
1261980
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
1241996
A sampler of formal definitions
M Marcotty, H Ledgard, GV Bochmann
ACM Computing Surveys (CSUR) 8 (2), 191-276, 1976
1241976
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
1161991
Deriving protocol specifications from service specifications
G von Bochmann, R Gotzhein
ACM SIGCOMM Computer Communication Review 16 (3), 148-156, 1986
1021986
Towards Videotex Standards
GV Bochmann, J Gecsei
Viewdata & Videotext 81, 253-262, 1980
961980
Usage of protocol development tools: The results of a survey
G Bochmann
Proceedings of the IFIP WG6. 1 Seventh International Conference on Protocol …, 1987
951987
Specifications of a simplified transport protocol using different formal description techniques
GV Bochmann
Computer Networks and ISDN systems 18 (5), 335-377, 1990
931990
The system can't perform the operation now. Try again later.
Articles 1–20