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]
Abstract is missing.