Behavioural validation of software engineering artefacts

  • Caso G
  • 26


    Mendeley users who have this article in their library.
  • 0


    Citations of this article.


Software engineering artefacts that define behaviour tend to be of a fragmented nature in order to facilitate their construction, modification, and modular reasoning (e.g. modular code, pre/post-conditions specifications). However, fragmentation makes the validation of global behaviour difficult. Typically synthesis techniques that yield global representations of large or infinite states are used in combination with simulation or partial explorations, techniques which necessarily lose the global view of system behaviour. I am working on the development of abstraction-for-validation techniques that automatically produce finite state abstractions that are sufficiently small to support validating the emergent behaviour of a fragmented description "at a glance".

Author-supplied keywords

  • behaviour models
  • code understanding
  • contract conformance

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document


  • Guido De Caso

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free