Author:
Elberzhager Frank,Münch Jürgen,Nha Vi Tran Ngoc
Subject
Computer Science Applications,Information Systems,Software
Reference74 articles.
1. T.F. Chang, A. Danylyzsn, S. Norimatsu, J. Rivera, D. Shepard, A. Lattanze, J. Tomayko, “Continuous verification” in mission critical software development, in: Proceedings of the Thirtieth Hawaii International Conference on System Sciences, 1997, pp. 273–284.
2. A Handbook of Software and Systems Engineering;Endres,2003
3. Y. Chen, S. Liu, W.E Wong, A method combining review and testing for verifying software systems, in: Proceedings of the 2008 International Conference on BioMedical Engineering and Informatics, 2008, pp. 827–831.
4. A. Hanna, H.Z. Ling, X. Yang, M. Debbabi, A synergy between static and dynamic analysis for the detection of software security vulnerabilities, in: Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part II, 2009, pp. 815–832.
5. D.M. Zimmerman, J.R. Kiniry, A verification-centric software development process for Java, in: Proceedings of the 9th International Conference on Quality Software, 2009, pp. 76–85.
Cited by
57 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献