Text this: Testing Automation of Context-Oriented Programs Using Separation Logic