Author:
Dashti Mohammad Torabi,Basin David
Publisher
Springer International Publishing
Reference31 articles.
1. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering, 1st edn. Cambridge University Press, New York (2010)
2. Ammann, P., Offutt, J.: Introduction to Software Testing. Cambridge University Press, New York (2008)
3. Basin, D.A., Capkun, S.: The research value of publishing attacks. Commun. ACM 55(11), 22–24 (2012)
4. Beizer, B.: Software Testing Techniques, 2nd edn. Van Nostrand Reinhold, New York (1990)
5. Texts in Theoretical Computer Science. An EATCS Series;D Bjorner,2006
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献