Generation of Test-Based Traces for Automated Partial Software Specifications Extraction

von Egorova, Inga
Veröffentlicht in TMPA (5. : 2019 : Tiflis) Tools and methods of program analysis (2021)