Abstract: Internal short circuit (ISC) fault diagnosis of battery packs in electric vehicles is of great significance for the effective and safe operation of battery systems. This article presents a ...
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 ...