Ivannikov Institute for System Programming of the RAS

Generation of Test Data for Paths Cover in Formal Specification of System of Commands

Artem Kotsynyak. Starts at March 19, 2014.

The presentation of the report can be found here.

The seminar of the research group

Software Engineering

Back to the list of seminars of ISP RAS