Applied Computational Intelligence and Soft Computing

Research Article

Testing Automation of Context-Oriented Programs Using Separation Logic

Algorithm 2

Semantics of J-COP expressions.