Applied Computational Intelligence and Soft Computing

Research Article

Testing Automation of Context-Oriented Programs Using Separation Logic

Algorithm 4

The assertion language.
     
     
           
             −*  .