Futa Oda -

Registered user since Sun 17 May 2026

Name:Futa Oda

Country:Japan

Affiliation:Graduate School of Information Science and Technology, Osaka University

Contributions

2026

APSEC

Author of Mutation-Based Test Case Generation from State-Machine Specifications Using Symbolic Model Checking within the Early Research Achievements (ERA)-track

Mutation

Author of Black-Box Test Generation from State Machine Specifications via Mutation and Model Checking within the Mutation 2026-track