Sign in

Contractor.NET: inferring typestate properties to enrich code contracts.

Edgardo ZoppiVíctor A. BrabermanGuido de CasoDiego GarbervetskySebastián Uchitel
Published in: TOPI@ICSE (2011)
Keyphrases
  • computer vision
  • information technology
  • real time
  • real world
  • information systems
  • case study
  • bayesian networks
  • supply chain
  • software engineering
  • desirable properties
  • evaluation process