Uncovering Business Logic Bugs via Semantics-Driven Unit Test Generation

Chen Yang, Junjie Chen

Business logic bugs violate intended business semantics and are particularly prevalent in enterprise software. Yet most existing unit test generation techniques are code-centric, m…