Validating System Requirements by Functional Decomposition and Dynamic Analysis.

Kaizhi Yue

Browse the full ICSE paper archive.