The general technique for dynamically detecting likely invariants, as implemented by Daikon, lacks specific object- oriented support for polymorphism.

The general technique for dynamically detecting likely invariants, as implemented by Daikon, lacks specific object- oriented support for polymorphism.

The general technique for dynamically detecting likely invariants, implemented by Daikon, lacks specific object- oriented support for polymorphism.

The approach presented in this paper extends the technique to consider the runtime type of a polymorphic variable, which may have different declared and runtime ...

The improved accuracy of the dynamically detected specification on the Money example from the JUnit testing framework tutorial is demonstrated and ...

The general technique for dynamically detecting likely invariants, as implemented by Daikon, lacks specific objectoriented support for polymorphism.

Turnip extends Daikon to examine the fields of runtime objects to infer the constraints that likely hold between the variables.

Jul 12, 2015 · Extending Dynamic Constraint Detection with Polymorphic Analysis.

This paper shows how this technique can be extended to detect invariants of object-oriented programs in the presence of polymorphism by examining the runtime ...

Extending Dynamic Constraint Detection with Polymorphic Analysis. ICSEW '07: Proceedings of the 29th International Conference on Software Engineering Workshops.