Debugging UML Designs with Model Checking

  title={Debugging UML Designs with Model Checking},
  author={Mar{\'i}a-del-Mar Gallardo and Pedro Merino and Ernesto Pimentel},
  journal={Journal of Object Technology},
Model Checking is currently one of the most exciting techniques to improve the quality of complex software systems. It is a computer aided verification method that, in many cases, has discovered design bugs in early development steps, thus saving time and costs to produce the final code. Although this technique is successfully applied to many formal description techniques, it is not commonly used by the object oriented programming community, in general, nor by UML developers, in particular. In… CONTINUE READING
Highly Cited
This paper has 64 citations. REVIEW CITATIONS
42 Citations
12 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 42 extracted citations

64 Citations

Citations per Year
Semantic Scholar estimates that this publication has 64 citations based on the available data.

See our FAQ for additional information.


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

Use-Case Tree, Journal of Object Oriented Programming

  • J. Barnard
  • 2001

A Practical Method to Integrate Abstractions into SDL and MSC based Tools

  • M. M. Gallardo, P. Merino
  • 5th International ERCIM Workshop on Formal…
  • 2000

A Framework for Automatic Construction of Abstract PROMELA Models

  • M. GallardoM., P Merino
  • Theoretical and Practical Aspects of SPIN Model…
  • 1999

The Unified Modelling Language

  • G. Booch, J. Rumbagugh, I. Jacobson
  • User Guide, Addison Wesley,
  • 1998

Similar Papers

Loading similar papers…