Black-Box Test Generation from State Machine Specifications via Mutation and Model Checking.

Futa Oda, Tatsuhiro Tsuchiya

Browse the full ICST paper archive.