Lightweight Mining of Object Usage - Mining Software Specifications: Methodologies and Applications - page 430

Bibliography
[1] Glenn Ammons, Rastislav Bod k, and James R. Larus. Mining specica-
tions. In POPL 2002: Proceedings of the 29th ACM SIGPLAN-SIGACT
Symposium on Principles of Programming Languages, pages 4{16, ACM
Press, New York, 2002.
[2] Bernhard Ganter and Rudolf Wille. Formal Concept Analysis: Mathemat-
ical Foundations. Springer-Verlag, Berlin, 1999.
[3] Natalie Gruska. Language-Independent Sequential Constraint Mining.
Bachelor thesis, Saarland University, 2009.
[4] Natalie Gruska, Andrzej Wasylkowski, and Andreas Zeller. Learn-
ing from 6,000 projects: lightweight cross-project anomaly de-
tection. In ISSTA 2010: Proceedings of the Nineteenth Inter-
national Symposium on Software Testing and Analysis, pages
119{130, AC, New York, 2010. DOI=10.1145/1831708.1831723.
http://doi.acm.org/10.1145/1831708.1831723.
[5] Daniel Norbert Gotzmann. Formale Begrisanalyse in Java: Entwurf
und Implementierung ezienter Algorithmen. Bachelor thesis, Saar-
land University, 2007. Available from http://code.google.com/p/
colibri-java/ (accessed 6 April 2010).
[6] Christian Lindig. Mining Patterns and Violations Using Concept Anal-
ysis. Technical report, Saarland University, Software Engineering Chair,
2007. Available from http://www.st.cs.uni-sb.de/publications/ ; the
software is available from http://code.google.com/p/colibri-ml/ (ac-
cessed 6 April 2010).
[7] Andrzej Wasylkowski and Andreas Zeller. Mining temporal specifications
from object usage. In ASE 2009: Proceedings of the 24th IEEE/ACM
International Conference on Automated Software Engineering, pages 295{
306, IEEE Computer Society, Los Alamitos, CA, 2009.
[8] Andrzej Wasylkowski, Andreas Zeller, and Christian Lindig. Detecting ob-
ject usage anomalies. In Proceedings of the 6th Joint Meeting of the Eu-
ropean Software Engineering Conference and the ACM SIGSOFT Sym-
posium on the Foundations of Software Engineering (ESEC-FSE '07),
pages 35{44, ACM, New York, 2007. DOI=10.1145/1287624.1287632.
http://doi.acm.org/10.1145/1287624.1287632.
[9] Andrzej Wasylkowski and Andreas Zeller. Mining temporal specifications
from object usage. In Proceedings of the 2009 IEEE/ACM International