SA@Work A Field Study of Software Architecture and Software Quality at Work

  • Authors:
  • Kari Rye Schougaard;Klaus Marius Hansen;Henrik Bærbak Christensen

  • Affiliations:
  • -;-;-

  • Venue:
  • APSEC '08 Proceedings of the 2008 15th Asia-Pacific Software Engineering Conference
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

Temporal specifications can describe the legal call sequences of API libraries. With these specifications, verification tools can find defects in existing clients automatically. However, temporal specifications are often not provided due to the high ...