Information Technology Reference
In-Depth Information
analysis could be used to reduce the runtime overhead of the data flow tracking.
Another interesting path to consider is how the runtime analysis could be e-
ciently implemented in presence of concurrency. Lastly, modelling of protocols
opens other interesting questions, including how models, especially input sym-
bols, should be specified, and how they are mapped to the program execution.
Acknowledgements.
The research leading to these results was partly con-
ducted in the European ITEA2 project DIAMONDS which was partially funded
by TEKES - the Finnish Funding Agency for Technology and Innovation.
References
1. Strom, R.E., Yemini, S.: Typestate: A programming language concept for enhancing
software reliability. IEEE Trans. Software Eng. 12(1), 157-171 (1986)
2. Dwyer, M.B., Purandare, R.: Residual dynamic typestate analysis exploiting static
analysis: results to reformulate and reduce the cost of dynamic analysis. In: Stire-
walt, R.E.K., Egyed, A., Fischer, B. (eds.) ASE, pp. 124-133. ACM (2007)
3. Bodden, E.: Ecient hybrid typestate analysis by determining continuation-
equivalent states. In: Kramer, J., Bishop, J., Devanbu, P.T., Uchitel, S. (eds.) ICSE,
vol. 1, pp. 5-14. ACM (2010)
4. Nethercote, N., Seward, J.: Valgrind: a framework for heavyweight dynamic binary
instrumentation. In: Ferrante, J., McKinley, K.S. (eds.) PLDI, pp. 89-100. ACM
(2007)
5. Yoo, S., Harman, M.: Regression testing minimization, selection and prioritization:
a survey. Softw. Test., Verif. Reliab. 22(2), 67-120 (2012)
