Sign in

Detecting Error-Handling Bugs without Error Specification Input.

Zhouyang JiaShanshan LiTingting YuXiangke LiaoJi WangXiaodong LiuYunhuai 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