Ivannikov Institute for System Programming of the RAS


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

Authors

Ilya Shchepetkov

Full text of the paper in pdf (in Russian)

Keywords

static verification, specification of rule for correct usage of API

Edition

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