Login / Signup

Universe-Type-Based Verification Techniques for Mutable Static Fields and Methods.

Alexander J. SummersSophia DrossopoulouPeter Müller
Published in: J. Object Technol. (2009)
Keyphrases
  • significant improvement
  • computational cost
  • benchmark datasets
  • neural network
  • classification method
  • database
  • data sets
  • databases
  • markov random field
  • diverse fields