On the use of executable assertions in structured programs

Ali Mili, Sihem Guemara, Ali Jaoua, Paul Torrés

Research output: Contribution to journalArticlepeer-review

2 Scopus citations


Because they are natural and easy to use, executable assertions are a common way to validate programs. In this paper, we discuss the analysis, verification, and design of programs containing executable assertions.

Original languageEnglish (US)
Pages (from-to)15-28
Number of pages14
JournalThe Journal of Systems and Software
Issue number1
StatePublished - Mar 1987
Externally publishedYes

All Science Journal Classification (ASJC) codes

  • Software
  • Information Systems
  • Hardware and Architecture

Cite this