Testing of Communicating Systems
IFIP TC6 10th International Workshop on Testing of Communicating Systems, 8–10 September 1997, Cheju Island, Korea
Page
%P
411 Result(s)
within
Myung** Kim
English
-
Article
HPLC post column derivatization of aromatic amines usingN-methyl-9-chloroacridinium triflate
An HPLC post column chemical derivatization procedure based on the interaction between an acridinium triflate and amines to form highly colored derivatives on-line is described for the determination of aromati...
-
Article
Mass transfer studies on multiple emulsion as a controlled mass release system
A novel type of multiple emulsions which contain a microemulsion in macrodroplets, was prepared by a two-step emulsification procedure. Mineral oil was used as the oil phase with a mixture of Aerosol OT and Sp...
-
Chapter
Optimizing Potential for Adventitious Shoot Organogenesis in Hybrid Populus Explants In Vitro with Wound Treatment and Micro-Cross Sections
In vitro adventitious bud formation was investigated in 3 hybrid Populus clones with varying degrees of regeneration potential. Longitudinal and transverse wounding treatment of 1.0 cm leaf midvein and petiole ex...
-
Article
SEM and Auger studies of a PLZT thin film
The microstructure and the composition profile of lead lanthanum zirconate titanate thin film fabricated using the sol-gel method were analyzed using the scanning electron microscope and scanning Auger microsc...
-
Article
Identification of higenamine and its metabolites in rat by gas chromatography/mass spectrometry
(±)-Higenamine is known as a cardiotonic principle of aconite root (root ofAconitum spp., Ranunculaceae). A simple and sensitive detection method for higenamine was developed by using gas chromatography-mass spec...
-
Chapter
An approach for testing asynchronous communicating systems
This paper studies the problem of testing concurrent systems as blackboxes described in asynchronous Communicating Finite State Machines. We present an approach to derive test cases in a succinct and formal way f...
-
Chapter
Test sequence generation for adaptive interoperability testing
When testing communicating systems, nondeterminism makes it a more difficult and evasive process. Adaptive testing is an efficient approach to testing nondeterministic systems. In this paper, we develop an int...
-
Chapter
Design for testability of protocols based on formal specifications
In this paper, we propose a generic scheme which instruments a formal protocol specification automatically to enhance the testability of the implementation. This approach is a special case of design for testab...
-
Article
Association oftet gene with partial sequence of IS431mec in tetracycline resistance plasmid pKH1
-
Article
Determination of niflumic acid in human urine by gas chromatography/negative chemical ionization mass spectrometry
A sensitive method has been developed for the detection and determination of niflumic acid (NA) in human urine. Samples were extracted with diethylether. Flunixin (FN) was added to the sample prior to extraction ...
-
Chapter
An approach to dynamic protocol testing
Protocol conformance testing aims at checking if a protocol implementation conforms to the standard (or specification) it is supposed to support. The results of testing can be classified into global verdict sh...
-
Chapter
Interoperability Test Suite Derivation for Symmetric Communication Protocols
Communication protocols are commonly designed in such a way that implementations of the same protocol can be used as peers for communication. Such a protocol is said to be symmetric. When two or more entities ...
-
Chapter
A weighted random walk approach for conformance testing of a system specified as communicating finite state machines
It is very important to test protocol implementations to verify conformance to their specifications (standards) in order to promote interoperability between them. This kind of testing is referred to as conform...
-
Book
-
Chapter
Development and Application of ATM Protocol Conformance Test System
This paper presents development and application of ATM Conformance Test Sys-tem (ACTS), an automated test system for ATM protocols. ACTS is a test system that checks conformance of ATM terminal and network equ...
-
Chapter
Conformance Testing of Multi-Protocol IUTs
To declare conformance of multi-protocol Implementation Under Test (IUT), every layer of the multi-protocol IUT should be tested. According to ISO9646, single-layer test method is applied to testing the highes...
-
Chapter
An enhanced model for testing asynchronous communicating systems
This paper studies the problem of testing concurrent systems considered as blackboxes and specified using asynchronous Communicating Finite State Machines. In our previous work [Kim 96], an approach to derive ...
-
Chapter and Conference Paper
Adaptive Scheduling for Task Farming with Grid Middleware
Scheduling in metacomputing environments is an active field of research as the vision of a Computational Grid becomes more concrete. An important class of Grid applications are long-running parallel computatio...
-
Chapter
Interoperability Test Suite Derivation for the TCP
A test derivation method suitable for testing interoperability for the class of communication protocols like the ATMB-ISDN signaling protocol was proposed in [KanK 97]. Up to now, there is no work implementing...
-
Article
Identification of IY81149 and its metabolites in the rat plasma using the on-line HPLC/ESI mass spectrometry
Reversed-phase high-performance liquid chromatography/mass spectrometry (HPLC/MS) with an electrospray ionization (ESI) interface was applied to the identification of metabolites of IY 81149 in the rat plasma....
