Extensive Validation of OCL Models by Integrating SAT Solving into USE

@inproceedings{Kuhlmann2011ExtensiveVO,
  title={Extensive Validation of OCL Models by Integrating SAT Solving into USE},
  author={Mirco Kuhlmann and Lars Hamann and Martin Gogolla},
  booktitle={TOOLS},
  year={2011}
}

Topic

Statistics

0102020112012201320142015201620172018
Citations per Year

98 Citations

Semantic Scholar estimates that this publication has 98 citations based on the available data.

See our FAQ for additional information.