Microsoft Technology Licensing, LLC

University of Illinois

Feng Chen

Wolfram Schulte

Nikolai Tillmann

Wolfgang Grieskamp

Grigore Rosu

Patrick O Meredith

A program trace is obtained and events of the program trace are traversed. For each event identified in traversing the program trace, a trace slice of which the identified event is a part is identified based on the parameter instance of the identified event. For each trace slice of which the identified event is a part, the identified event is added to an end of a record of the trace slice. These parametric trace slices can be used in a variety of different manners, such as for monitoring, mining, and predicting.

Parametric trace slicing

A computerized method receives an implementation comprising a modifier method and an observer method of a class implementing an abstract data type. The method symbolically executes the modifier method to obtain constrained states, and applies the observer method in constrained states to obtain specialized axioms. The method then creates a specification from the obtained specialized axioms based on generalizing, merging and simplifying the specialized axioms.

Specification generation from implementations

Growing community of inventors

Urbana, IL, United States of America

Feng Chen