Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection.

Wenhua Li Quang Loc Le Yahui Song Wei-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