Login / Signup

On the Need for a Common API for Abstract Domains of Object-Oriented Programs.

Gianluca AmatoMaria Chiara MeoFrancesca Scozzari
Published in: FTfJP@ECOOP (2022)
Keyphrases
  • object oriented programs
  • integration testing
  • impact analysis
  • specification languages
  • source code
  • high level
  • real world
  • artificial intelligence
  • object oriented
  • open source
  • software engineering
  • first order logic