Login / Signup

Abstract interpretation: testing at scale without testing at scale.

Nakul JindalJunmin YangVictor LotrichJason ByrdBeverly A. Sanders
Published in: SE-HPCCSE@SC (2014)
Keyphrases
  • abstract interpretation
  • information systems
  • test cases
  • model checking
  • integrity constraints
  • software testing