Noriyasu Arakawa, Terunao Soneoka. A Test Case Generation Method for Concurrent Programs. In Jan Kroon, Rudolf Jan Heijink, Ed Brinksma, editors, Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991. Volume C-3 of IFIP Transactions, pages 95-106, North-Holland, 1991.
@inproceedings{ArakawaS91, title = {A Test Case Generation Method for Concurrent Programs}, author = {Noriyasu Arakawa and Terunao Soneoka}, year = {1991}, tags = {testing}, researchr = {https://researchr.org/publication/ArakawaS91}, cites = {0}, citedby = {0}, pages = {95-106}, booktitle = {Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, Leidschendam, The Netherlands, 15-17 October, 1991}, editor = {Jan Kroon and Rudolf Jan Heijink and Ed Brinksma}, volume = {C-3}, series = {IFIP Transactions}, publisher = {North-Holland}, isbn = {0-444-89517-5}, }