Follow
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
9531991
Finite state description of communication protocols
GV Bochmann
Computer Networks (1976) 2 (4-5), 361-372, 1978
5271978
Formal methods in communication protocol design
G Bochmann, C Sunshine
IEEE transactions on Communications 28 (4), 624-631, 1980
3961980
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
3571994
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
3521994
Semantic evaluation from left to right
GV Bochmann
Communications of the ACM 19 (2), 55-62, 1976
3161976
A test design methodology for protocol testing
B Sarikaya, G Bochmann, E Cerny
IEEE Transactions on Software Engineering, 518-531, 1987
2121987
Hardware specification with temporal logic: An example
Bochmann
IEEE Transactions on Computers 100 (3), 223-231, 1982
2091982
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
2051983
Synchronization and specification issues in protocol testing
B Sarikaya, GV Bochmann
IEEE Transactions on Communications 32 (4), 389-395, 1984
1951984
Selecting test sequences for partially-specified nondeterministic finite state machines
G Luo, A Petrenko, G v Bochmann
Protocol Test Systems: 7th workshop 7th IFIP WG 6.1 international workshop …, 1995
1611995
Testing deterministic implementations from nondeterministic FSM specifications
A Petrenko, N Yevtushenko, G v Bochmann
Testing of Communicating Systems: IFIP TC6 9th International Workshop on …, 1996
1581996
A sampler of formal definitions
M Marcotty, H Ledgard, GV Bochmann
ACM Computing Surveys (CSUR) 8 (2), 191-276, 1976
1491976
A general transition model for protocols and communication services
G Bochmann
IEEE Transactions on Communications 28 (4), 643-650, 1980
1461980
On fault coverage of tests for finite state specifications
A Petrenko, GV Bochmann, M Yao
Computer Networks and ISDN Systems 29 (1), 81-106, 1996
1281996
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
1251991
Tracking phishing attacks over time
Q Cui, GV Jourdan, GV Bochmann, R Couturier, IV Onut
Proceedings of the 26th International Conference on World Wide Web, 667-676, 2017
1172017
Usage of protocol development tools: the results of a survey
G Bochmann
Proceedings of the IFIP WG6. 1 Seventh International Conference on Protocol …, 1987
1061987
Deriving protocol specifications from service specifications
G von Bochmann, R Gotzhein
ACM SIGCOMM Computer Communication Review 16 (3), 148-156, 1986
1021986
Fault models for testing in context
A Petrenko, N Yevtushenko, G Bochmann
Formal Description Techniques IX: Theory, Application and Tools, 163-178, 1996
1011996
The system can't perform the operation now. Try again later.
Articles 1–20