Detecting Error-Handling Bugs without Error Specification Input.

Zhouyang Jia Shanshan Li Tingting Yu Xiangke Liao Ji Wang Xiaodong Liu Yunhuai Liu

Published in: ASE (2019)

Keyphrases

error handling
data abstraction
high level
information systems
source code
software systems
data access
data model
distributed systems
client server
visual basic
formal specification