1. Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. 20(4), 14 (2011)
2. Cao, T.-D., Félix, P., Castanet, R., Berrada, I.: Online testing framework for web services. In: Third International Conference on Software Testing, Verification and Validation, pp. 363–372 (2010)
3. Che, X., Lalanne, F., Maag, S.: A logic-based passive testing approach for the validation of communicating protocols. In: Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering, Wroclaw, Poland, pp. 53–64 (2012)
4. Che, X., Maag, S.: A formal passive performance testing approach for distributed communication systems. In: ENASE 2013 - Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering, Angers, France, 4–6 July, 2013, pp. 74–84 (2013)
5. Dumitrescu, C., Raicu, I., Ripeanu, M., Foster, I.: DiPerF: an automated distributed performance testing framework. In: 5th International Workshop in Grid Computing, pp. 289–296. IEEE Computer Society (2004)