Author Archive

Fixing defects in integrity constraints via constraint mutation

Defining the right constraints for any system is a challenging task that risks over-constraining or under-constraining

Applying Graph Kernels to Model-Driven Engineering Problems

We propose to employ graph kernels for clustering software modeling artifacts. Among other benefits, this would

Smart bounded verification for UML / OCL models

Correctness of UML diagrams annotated with OCL constraints can be checked using bounded verification. We show

Pin It on Pinterest