Egorova, I., Itsykson, V.: Review of Dynamic Methods for Ex tra c tio n of Partial So ftwa re Library Specification. Information and Control Systems(2), 67-75 (2018). doi:10.15217/issn1684-8853.2018.2.67