A formalization method to process structured natural language to logic expressions to detect redundant specification and test statements B Walter, J Hammes, M Piechotta, S Rudolph 2017 IEEE 25th International Requirements Engineering Conference (RE), 263-272, 2017 | 19 | 2017 |
From Manual to Machine-executable Model-based Systems Engineering via Graph-based Design Languages. B Walter, D Kaiser, S Rudolph MODELSWARD, 201-208, 2019 | 7 | 2019 |
Executable State Machines Derived from Structured Textual Requirements-Connecting Requirements and Formal System Design. B Walter, J Martin, J Schmidt, H Dettki, S Rudolph MODELSWARD, 193-200, 2019 | 7 | 2019 |
Improving test execution efficiency through clustering and reordering of independent test steps B Walter, M Schilling, M Piechotta, S Rudolph 2018 IEEE 11th International Conference on Software Testing, Verification …, 2018 | 6 | 2018 |
Machine-Executable Model-Based Systems Engineering with Graph-Based Design Languages B Walter, D Kaiser, S Rudolph Complex Systems Design & Management: Proceedings of the Ninth International …, 2019 | 3 | 2019 |
A Method to Automatically Derive the System State Machine from Structured Natural Language Requirements through Requirements Formalization B Walter, J Martin, S Rudolph EMEASEC - TDSE 2018, 2018 | 3 | 2018 |
Formal knowledge representations for textual automotive system requirements and tests B Walter | 2 | 2021 |