Databases Reference
In-Depth Information
[10] H. Foster, S. Uchitel, J. Magee, and J. Kramer. Ltsa-ws: a tool for model-
based verification of web service compositions and choreography. In Pro-
ceedings of the 28th International Conference on Software Engineering.
ACM Press, 2006.
[11] G. Friedman, A. Hartman, K. Nagin, and T. Shiran. Projected state
machine coverage for software testing. In Proceedings of the 2002 ACM
SIGSOFT International Symposium on Software Testing and Analysis.
ACM Press, 2002.
[12] C. Ghezzi, A. Mocci, and M. Monga. Synthesizing intensional behav-
ior models by graph transformation. In Proceedings of the International
Conference on Software Engineering, 2009.
[13] Sudheendra Hangal and Monica S. Lam. Tracking down software bugs
using automatic anomaly detection. In Proceedings of the International
Conference on Software Engineering (ICSE). ACM Press, 2002.
[14] J.G. Hosking.
Visualisation of object oriented program execution.
In
Proceedings of the IEEE Symposium on Visual Languages, 1996.
[15] J. Henkel and A. Diwan. Discovering algebraic specifications from java
classes. In Proceedings of the European Conference on Object Oriented
Programming, 2003.
[16] D. Lo, S.-C. Khoo, and C. Liu. Ecient mining of iterative patterns for
software specification discovery. In ACM SIGKDD International Confer-
ence on Knowledge Discovery and Data Mining, 2007.
[17] D. Lo, S.-C. Khoo, and C. Liu. Mining temporal rules for software main-
tenance. In Journal of Software Maintenance and Evolution: Research
and Practice, volume 20, pages 227{247, 2008.
[18] D. Lo, L. Mariani, and M. Pezze. Automatic steering of behavioral model
inference. In Proceedings of the 7th Joint Meeting of the European Soft-
ware Engineering Conference (ESEC) and the ACM SIGSOFT Sympo-
sium on the Foundations of Software Engineering (FSE), 2009.
[19] Davide Lorenzoli, Leonardo Mariani, and Mauro Pezze. Automatic gen-
eration of software behavioral models. In 30th International Conference
on Software Engineering (ICSE). IEEE Computer Society, May 2008.
[20] L. Mariani and M. Pezze. Dynamic detection of COTS components in-
compatibility. IEEE Software, 24(5):76{85, September/October 2007.
[21] Leonardo Mariani and Fabrizio Pastore. Automated identification of fail-
ure causes in system logs (issre). In Proceedings of the International
Symposium on Software Reliability Engineering. IEEE Computer Soci-
ety, 2008.
Search WWH ::
Custom Search