Index Terms
- What went wrong?
Recommendations
What went wrong: explaining counterexamples
SPIN'03: Proceedings of the 10th international conference on Model checking softwareOne of the chief advantages of model checking is the production of counterexamples demonstrating that a system does not satisfy a specification. However, it may require a great deal of human effort to extract the essence of an error from even a detailed ...
What went right and what went wrong: an analysis of 155 postmortems from game development
ICSE '16: Proceedings of the 38th International Conference on Software Engineering CompanionIn game development, software teams often conduct postmortems to reflect on what went well and what went wrong in a project. The postmortems are shared publicly on gaming sites or at developer conferences. In this paper, we present an analysis of 155 ...
Comments