Æȷοì
Gregor v. Bochmann
Gregor v. Bochmann
site.uottawa.caÀÇ À̸ÞÀÏ È®ÀÎµÊ - ȨÆäÀÌÁö
Á¦¸ñ
Àοë
Àοë
¿¬µµ
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
9451991
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
4001980
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
3551994
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
3461994
Semantic evaluation from left to right
GV Bochmann
Communications of the ACM 19 (2), 55-62, 1976
3151976
A test design methodology for protocol testing
B Sarikaya, G Bochmann, E Cerny
IEEE Transactions on Software Engineering, 518-531, 1987
2141987
Hardware specification with temporal logic: An example
Bochmann
IEEE Transactions on Computers 100 (3), 223-231, 1982
2071982
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
1551995
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
1531996
A sampler of formal definitions
M Marcotty, H Ledgard, GV Bochmann
ACM Computing Surveys (CSUR) 8 (2), 191-276, 1976
1451976
A general transition model for protocols and communication services
G Bochmann
IEEE Transactions on Communications 28 (4), 643-650, 1980
1441980
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
1271996
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
1241991
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
1122017
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
1031986
Fault models for testing in context
A Petrenko, N Yevtushenko, G Bochmann
Formal Description Techniques IX: Theory, Application and Tools, 163-178, 1996
1001996
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20