Author:
dos Santos Luciana Brasil Rebelo,de Santiago Júnior Valdivino Alexandre,Freitas Albino Vieira
Publisher
Springer International Publishing
Reference30 articles.
1. Sjøberg, D.I.K., Hannay, J.E., Hansen, O., ByKampenes, V., Karahasanovic, A., Liborg, N.-K., Rekdal, A.C.: A survey of controlled experiments in software engineering. IEEE Trans. Softw. Eng. 31(9), 733–753 (2005)
2. Zannier, C., Melnik, G., Maurer, F.: On the success of empirical studies in the international conference on software engineering. In: Proceedings of the 28th International Conference on Software Engineering, pp. 341–350. ACM (2006)
3. Lemos, O.A.L., Ferrari, F.C., Eler, M.M., Maldonado, J.C., Masiero, P.C.: Evaluation studies of software testing research in Brazil and in the world: a survey of two premier software engineering conferences. J. Syst. Softw. 86(4), 951–969 (2013)
4. Travassos, G.H.: Forrest Shull, Jeffrey Carver, and Victor Basili. Reading techniques for OO design inspections. Technical report (2002)
5. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)