Specification-based Testing with Simulation Relations (S)

Canh Minh Do, Kazuhiro Ogata 0001. Specification-based Testing with Simulation Relations (S). In Angelo Perkusich, editor, The 31st International Conference on Software Engineering and Knowledge Engineering, SEKE 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12, 2019. pages 107-146, KSI Research Inc. and Knowledge Systems Institute Graduate School, 2019. [doi]

Authors

Canh Minh Do

This author has not been identified. Look up 'Canh Minh Do' in Google

Kazuhiro Ogata 0001

This author has not been identified. Look up 'Kazuhiro Ogata 0001' in Google