Gregor v. Bochmann
Gregor v. Bochmann
Verified email at - Homepage
Cited by
Cited by
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
Finite state description of communication protocols
GV Bochmann
Computer Networks (1976) 2 (4-5), 361-372, 1978
Formal methods in communication protocol design
G Bochmann, C Sunshine
IEEE transactions on Communications 28 (4), 624-631, 1980
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
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
Semantic evaluation from left to right
GV Bochmann
Communications of the ACM 19 (2), 55-62, 1976
A test design methodology for protocol testing
B Sarikaya, G Bochmann, E Cerny
IEEE Transactions on Software Engineering, 518-531, 1987
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
Synchronization and specification issues in protocol testing
B Sarikaya, GV Bochmann
IEEE Transactions on Communications 32 (4), 389-395, 1984
Hardware specification with temporal logic: An example
GV Bochmann
IEEE Transactions on Computers 31 (03), 223-231, 1982
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
A sampler of formal definitions
M Marcotty, H Ledgard, GV Bochmann
ACM Computing Surveys (CSUR) 8 (2), 191-276, 1976
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
A general transition model for protocols and communication services
G Bochmann
IEEE Transactions on Communications 28 (4), 643-650, 1980
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
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
Usage of protocol development tools: The results of a survey
G Bochmann
Proceedings of the IFIP WG6. 1 Seventh International Conference on Protocol …, 1987
Deriving protocol specifications from service specifications
G von Bochmann, R Gotzhein
ACM SIGCOMM Computer Communication Review 16 (3), 148-156, 1986
Towards Videotex Standards
GV Bochmann, J Gecsei
Viewdata & Videotext 81, 253-262, 1980
Fault models for testing in context
A Petrenko, N Yevtushenko, G Bochmann
Formal Description Techniques IX: Theory, Application and Tools, 163-178, 1996
The system can't perform the operation now. Try again later.
Articles 1–20