Author:
Szenkovits Annamária,Gaskó Noémi,Jahier Erwan
Publisher
Springer International Publishing
Reference22 articles.
1. Beizer, B.: Software Testing Techniques, 2nd edn. Van Nostrand Reinhold Co., New York (1990)
2. Ammann, P., Offutt, J.: Introduction to Software Testing, 1st edn. Cambridge University Press, New York (2008)
3. Raymond, P., Roux, Y., Jahier, E.: Lutin: a language for specifying and executing reactive scenarios. EURASIP J. Embed. Syst. 2008, 1–11 (2008)
4. Dormoy, F.X.: Scade 6 a model based solution for safety critical software development. In: ERTS 2008 (2013)
5. Lecture Notes in Computer Science;P McMinn,2003
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献