Improving the performance of OCL constraint solving with novel heuristics for logical operations: a search-based approach

@article{Ali2015ImprovingTP,
  title={Improving the performance of OCL constraint solving with novel heuristics for logical operations: a search-based approach},
  author={Shaukat Ali and Muhammad Zohaib Z. Iqbal and Maham Khalid and Andrea Arcuri},
  journal={Empirical Software Engineering},
  year={2015},
  volume={21},
  pages={2459-2502}
}
A common practice to specify constraints on the Unified Modeling Language (UML) models is using the Object Constraint Language (OCL). Such constraints serve various purposes, ranging from simply providing precise meaning to the models to supporting complex verification and validation activities. In many applications, these constraints have to be solved to obtain values satisfying the constraints, for example, in the case of model-based testing (MBT) to generate test data for the purpose of… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-10 of 52 references

Similar Papers

Loading similar papers…