Ivannikov Institute for System Programming of the RAS

Method for automatic adapting of specifications of rules for correct usage of API.


Ilya Shchepetkov

Full text of the paper in pdf (in Russian)


static verification, specification of rule for correct usage of API


Proceedings of Theses of XXI International Scientific Conference for students, Phd. Students and young scientists “Lomonosov-2014”, pages 124-126.

Research Group

Software Engineering

All publications during 2014 All publications