Author:
Andrés César,Llana Luis,Rodríguez Ismael
Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference28 articles.
1. C. Andrés, L. Llana, I. Rodríguez, Formally comparing user and implementer model-based testing methods, in: IEEE International Conference on Software Testing Verification and Validation Workshop, ICSTW’08, 4th Workshop on Advances in Model Based Testing, A-MOST 2008, IEEE Computer Society Press, 2008, pp. 1–10.
2. C. Andrés, L. Llana, I. Rodríguez, Formally transforming user-model testing problems into implementer-model testing problems and viceversa: complete running example, 2008. .
3. A passive testing approach based on invariants: application to the WAP;Bayse;Comput. Netw.,2005
4. Efficiency of mutation operators and selective mutation strategies: an empirical study;Bottaci;Softw. Test. Verif. Reliab.,1999
5. J. Bouchet, L. Madani, L. Nigay, C. Oriat, I. Parissis, Formal testing of multimodal interactive systems, in: Engineering Interactive Systems, EIS’07, 2007.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献