Travelled to:1 × Canada
1 × The Netherlands
Collaborated with:A.R.Cavalli P.Maigron
Talks about:protocol (2) generat (2) conform (2) test (2) system (1) specif (1) rewrit (1) method (1) formal (1) graph (1)
Person: Sung Un Kim
DBLP: Kim:Sung_Un
Contributed to:
19921991Wrote 2 papers:
- IWPTS-1992-CavalliMK #automation #consistency #formal method #generative #protocol #specification #testing
- Automated Protocol Conformance Test Generation Based on Formal Methods for LOTOS Specifications (ARC, PM, SUK), pp. 237–248.
- IWPTS-1991-CavalliK #consistency #generative #graph grammar #protocol #term rewriting #testing #using
- Protocol Conformance Test Generation Using a Graph Rewriting System (ARC, SUK), pp. 285–288.