Author:
Lin Lan,Poore Jesse H.,Eschbach Robert,Hierons Robert M.,Robinson-Mallett Christopher
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Bartussek, W., Parnas, D.L.: Using assertions about traces to write abstract specifications for software modules. In: Proceedings of the 2nd Conference of the European Cooperation on Informatics, Venice, Italy, pp. 211–236 (1978)
2. Bauer, T., Beletski, T., Boehr, F., Eschbach, R., Landmann, D., Poore, J.: From requirements to statistical testing of embedded systems. In: Proceedings of the 4th International Workshop on Software Engineering for Automotive Systems, Minneapolis, MN, pp. 3–9 (2007)
3. Book, R.V., Otto, F.: String-Rewriting Systems. Springer, Berlin (1993)
4. Broadfoot, G.H., Broadfoot, P.J.: Academia and industry meet: Some experiences of formal methods in practice. In: Proceedings of the 10th Asia-Pacific Software Engineering Conference, Chiang Mai, Thailand, pp. 49–59 (2003)
5. Brzozowski, J.: Derivatives of regular expressions. Journal of the ACM 11(4), 481–494 (1964)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献