Abstract
Recent advances in software validation and verification make it possible to widely automate whether a specification is satisfied. This progress is hampered, though, by the persistent difficulty of writing specifications. Are we facing a “specification crisis”? In this paper, I show how to alleviate the burden of writing specifications by reusing and extending specifications as mined from existing software and give an overview on the state of the art in specification mining, its origins, and its potential.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Dallmeier, V., Knopp, N., Mallon, C., Hack, S., Zeller, A.: Generating test cases for specification mining. In: ISSTA ’10: Proceedings of the 2010 International Conference on Software Testing and Analysis. pp. 65–96. ACM, New York, NY, USA (July 2010)
Ernst, M.D., Cockrell, J., Griswold, W.G., Notkin, D.: Dynamically discovering likely program invariants to support program evolution. In: ICSE ’99: Proceedings of the 21st international conference on Software engineering. pp. 213–224. ACM, New York, NY, USA (1999)
Gruska, N., Wasylkowski, A., Zeller, A.: Learning from 6,000 projects: Lightweight cross-project anomaly detection. In: ISSTA ’10: Proceedings of the 2010 International Conference on Software Testing and Analysis. pp. 119–130. ACM, New York, NY, USA (July 2010)
Jacky, J.: The way of Z: practical programming with formal methods. Cambridge University Press, New York, NY, USA (1996)
Meyer, B.: Eiffel: An introduction. In: Florentin, J. (ed.) Object-Oriented Programming Systems, Tools and Applications, pp. 149–182. Chapman & Hall (1991)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Zeller, A. (2011). Mining Specifications: A Roadmap. In: Nanz, S. (eds) The Future of Software Engineering. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15187-3_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-15187-3_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-15186-6
Online ISBN: 978-3-642-15187-3
eBook Packages: Computer ScienceComputer Science (R0)