IDLReasoner

A Java tool for the automated analysis of IDL specifications using constraint programming.

Saman Barakat
Saman Barakat
Ph.D. in Software Engineering