Abstract: Current orchestration platforms are more than ca-pable of scheduling microservices but the scheduling Service Function Chains (SFC) of network service are not well addressed. In this paper, ...

Abstract: Path coverage is of critical importance in software testing and verification. Furthermore, path explosion is a well-known challenge for automatic software analysis techniques like symbolic ...