Databases Reference
In-Depth Information
[23] M.D. Ernst, J. Cockrell, W.G. Griswold, and D. Notkin. Dynamically
discovering likely program invariants to support program evolution. In
Proceedings of ACM/IEEE International Conference on Software Engi-
neering, pages 213{224, 1999.
[24] M.D. Ernst, J. Cockrell, W.G. Griswold, and D. Notkin. Dynamically
discovering likely program invariants to support program evolution. IEEE
Transactions on Software Enginering, 27(2):99{123, 2001.
[25] M.D. Ernst, A. Czeisler, W.G. Griswold, and D. Notkin. Quickly detect-
ing relevant program invariants. In Proceedings of ACM/IEEE Interna-
tional Conference on Software Engineering, pages 449{458, 2000.
[26] M.D. Ernst, J.H. Perkins, P.J. Guo, S. McCamant, C. Pacheco, M.S.
Tschantz, and C. Xiao. The Daikon system for dynamic detection of
likely invariants. Science of Computer Programming, 1-3:35{45, 2007.
[27] R. Fjeldstad and W. Hamlen. Application program maintenance-report
to our respondents. In G. Parikh and N. Zvegintzov, editors, Tutorial
on Software Maintenance, pages 13{27. IEEE Computer Society Press,
1983.
[28] M. Gabel and Z. Su. Online inference and enforcement of temporal prop-
erties. In Proceeding of IEEE/ACM International Conference on Software
Engineering, pages 15{24, 2010.
[29] M. Gabel and Z. Su. Javert: fully automatic mining of general tem-
poral properties from dynamic traces. In Proceedings of ACM Interna-
tional Symposium on Foundations of Software Engineering, pages 339{
349, 2008.
[30] M. Gabel and Z. Su. Symbolic mining of temporal specifications. In
Proceedings of ACM/IEEE International Conference on Software Engi-
neering, pages 51{60, 2008.
[31] T.A. Henzinger, R. Jhala, and R. Majumdar. Permissive interfaces. In
Proceedings of Joint Meeting of the European Software Engineering Con-
ference and the ACM International Symposium on the Foundations of
Software Engineering, pages 31{40, 2005.
[32] A. Heydarnoori, K. Czarnecki, and T.T. Bartolomei. Supporting frame-
work use via automatically extracted concept-implementation templates.
In Proceedings of European Conference on Object-Oriented Programming,
pages 344{368, 2009.
[33] ITU-T. ITU-T Recommendation Z.120: Message Sequence Chart (MSC).
1999.
Search WWH ::
Custom Search