Ordered sequence testing criteria for concurrent programs and the support tool.

Eisuke Itoh Yutaka Kawaguchi Zengo Furukawa Kazuo Ushijima

Published in: APSEC (1994)

Keyphrases

concurrent programs
tool support
artificial intelligence
end users
knowledge based systems
information systems
expert systems
knowledge management
web applications