Information Technology Reference
In-Depth Information
23. Postel, J.: Transmission control protocol. Technical Report 793, DDN Network
Information Center, SRI International, RFC (September 1981)
24. Ostrand, T., Balcer, M.: The category-partition method for specifying and gener-
ating functional tests. Communications of the ACM 31(6), 676-686 (1988)
25. Damas, C., Lambeau, B., Dupont, P., van Lamsweerde, A.: Generating Annotated
Behavior Models from End-User Scenarios. IEEE Transactions on Software Engi-
neering 31(12), 1056-1073 (2005)
26. Lorenzoli, D., Mariani, L., Pezze, M.: Automatic generation of software behavioral
models. In: Proceedings of the 30th international conference on Software engineer-
ing, ICSE 2008, pp. 501-510. ACM, New York (2008)
27. Ernst, M., Cockrell, J., Griswold, W., Notkin, D.: Dynamically Discovering Likely
Program Invariants to Support Program Evolution. Transactions on Software En-
gineering 27(2), 1-25 (2001)
28. Bongard, J.C., Lipson, H.: Nonlinear system identification using coevolution of
models and tests. IEEE Trans. Evolutionary Computation 9(4), 361-384 (2005)
29. Cornelissen, B., Zaidman, A., Holten, D., Moonen, L., van Deursen, A., van Wijk,
J.: Execution trace analysis through massive sequence and circular bundle views.
Journal of Systems and Software 81(12), 2252-2268 (2008)
30. Afshan, S., McMinn, P., Walkinshaw, N.: Using dictionary compression algorithms
to identify phases in program traces. Technical Report CS-10-01, Department of
Computer Science, The University of Sheeld (2010)
31. Walkinshaw, N., Afshan, S., McMinn, P.: Using compression algorithms to support
the comprehension of program traces. In: Proceedings of the Eighth International
Workshop on Dynamic Analysis (WODA 2010). ACM, New York (2010)
32. Nevill-Manning, C., Witten, I.: Compression and explanation using hierarchical
grammars. Computer Journal 40(2/3), 103-116 (1997)
