Software Engineering and Management: Volume 18 by Roger Lee (.ePUB)+
File Size: 46.2 MB
Software Engineering and Management: Theory and Applications: Volume 18 (Studies in Computational Intelligence) by Roger Lee
Requirements: .ePUB, .PDF reader, 46.2 MB | True PDF, True EPUB
Overview: The main purpose of this book is to seek peer-reviewed original research papers on the foundations and new developments in Software Engineering. The focus will also be on publishing in a timely manner, the results of applying new and emerging technologies originating from research in Software Engineering. Software Engineering should be applied to a variety of areas, and applications can range across many fields. This book published original papers on both theory and practice that address foundations, state-of-the-art problems and solutions, and crucial challenges. The widespread adoption of the Go programming language in infrastructure backends and blockchain projects has heightened the need for improved security measures. Established techniques such as unit testing, static analysis, and program fuzzing provide foundational protection mechanisms. Although symbolic execution tools have made significant contributions, opportunities remain to address the complexities of Go’s runtime and concurrency model. In this work, we present Zorya, a novel methodology leveraging concrete and symbolic (concolic) execution to evaluate Go programs comprehensively.
Genre: Non-Fiction > Tech & Devices
Free Download links: