| |
Reviews about "Software/Program Verification (D.2.4)":
|
 A systematic literature review on automated software vulnerability detection using machine learning
Harzevili N., Belle A., Wang J., Wang S., Jiang Z., Nagappan N. ACM Computing Surveys 57(3): 1-36, 2025. Type: Article
|
Introduction to statistical and machine learning methods for data science
Pinheiro C., Patetta M., SAS Institute Inc., Cary, NC, 2021. Type: Book (1953329608)
|
Predicting the unknown: the history and future of data science and artificial intelligence
Kampakis S., Apress, New York, NY, 2023. 281 pp. Type: Book (1484295048)
|
Statistical methods for data analysis: with applications in particle physics (3rd ed.)
Lista L., Springer International Publishing, Cham, Switzerland, 2023. 334 pp. Type: Book (9783031199332)
|
Metamorphic testing: a review of challenges and opportunities
Chen T., Kuo F., Liu H., Poon P., Towey D., Tse T., Zhou Z. ACM Computing Surveys 51(1): 1-27, 2018. Type: Article
|
Formal methods: an appetizer
Nielson F., Nielson H., Springer International Publishing, New York, NY, 2019. 162 pp. Type: Book (978-3-030051-55-6)
|
Modular product programs
Eilers M., Müller P., Hitz S. ACM Transactions on Programming Languages and Systems 42(1): 1-37, 2019. Type: Article
|
more...
|
|
|
|
