Software Process Simulation Modeling: Facts, Trends and Directions

  • Authors:
  • He Zhang;Barbara Kitchenham;Dietmar Pfahl

  • 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 ...