SCRUB: a tool for code reviews-Reference-Cited by-同舟云学术

SCRUB: a tool for code reviews

Published:2010-08-06 Issue:4 Volume:6 Page:311-318
ISSN:1614-5046
Container-title:Innovations in Systems and Software Engineering
language:en
Short-container-title:Innovations Syst Softw Eng

Author:

Holzmann Gerard J.

Publisher

Springer Science and Business Media LLC

Subject

Software

Link

http://link.springer.com/content/pdf/10.1007/s11334-010-0136-x.pdf

Reference9 articles.

1. Fagan ME: Design and Code inspections to reduce errors in program develop-ment. IBM Syst J 15(3), 182–211 (1976)

2. Fagan ME: Advances in software inspections. IEEE Trans Softw Eng 12(7), 744–751 (1986)

3. Holzmann GJ (2002) Static source code checking for user-defined properties. In: Proceedings of conference on integrated design & process technology (IDPT), Pasadena, CA, USA. http://spinroot.com/uno/

4. Holzmann GJ: The spin model checker: primer and reference manual. Addison-Wesley, Reading, MA (2004)

5. Holzmann GJ: The power of ten: rules for developing safety critical code. IEEE Computer 39(6), 95–97 (2006)

Cited by 11 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Modern Code Reviews—Survey of Literature and Practice;ACM Transactions on Software Engineering and Methodology;2023-05-26

2. A Static Analysis Platform for Investigating Security Trends in Repositories;2023 IEEE/ACM 1st International Workshop on Software Vulnerability (SVM);2023-05

3. Mars Project Software Systems Engineering Improvements;2023 IEEE Aerospace Conference;2023-03-04

4. An Eye-Tracking Study on the Use of Split/Unified Code Change Views for Bug Detection;IEEE Access;2023

5. Categorizing Code Review Comments Using Machine Learning;Proceedings of Sixth International Congress on Information and Communication Technology;2021-10-27