Test-case generation for concurrent programs with the testing criteria using interaction sequences

Tetsuro Katayama, Eisuke Itoh, Zengo Furukawa, Kazuo Ushijima

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    24 Citations (Scopus)

    Fingerprint

    Dive into the research topics of 'Test-case generation for concurrent programs with the testing criteria using interaction sequences'. Together they form a unique fingerprint.

    Engineering & Materials Science