Sign in

Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection.

Wenhua LiQuang Loc LeYahui SongWei-Ngan Chin
Published in: APLAS (2023)
Keyphrases
  • object oriented programs
  • integration testing
  • specification languages
  • object oriented
  • impact analysis
  • black box
  • formal specification
  • artificial intelligence
  • software testing
  • database
  • knowledge base
  • case study