Mining specifications: A roadmap

The Future of Software Engineering

Volumn , Issue , 2011, Pages 173-182

  Zeller, Andreas ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

formal methods; mining; software verification and testing; specifications

Indexed keywords

EID: 84892298504     PISSN: None     EISSN: None     Source Type: Book    
DOI: 10.1007/978-3-642-15187-3_13     Document Type: Chapter

References (5)

1. 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)
2. 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)
3. 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)
4. Jacky, J.: The way of Z: practical programming with formal methods. Cambridge University Press, New York, NY, USA (1996)
5. Meyer, B.: Eiffel: An introduction. In: Florentin, J. (ed.) Object-Oriented Programming Systems, Tools and Applications, pp. 149-182. Chapman & Hall (1991)