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
3/9/2018
0
Applying Graph Kernels to Model-Driven Engineering Problems
We propose to employ graph kernels for clustering software modeling artifacts. Among other benefits, this would
23/8/2018
2
Smart bounded verification for UML / OCL models
Correctness of UML diagrams annotated with OCL constraints can be checked using bounded verification. We show
18/12/2017
0