verification
3 articles · search the full text for this term
-
Leveraging Generative AI for Test Case Creation in Complex Systems
Abstract: Modern software systems exhibit increasing complexity, demanding sophisticated testing methodologies to ensure reliability and functionality. Traditional manual testing approaches often struggle to keep pace with this complexity, leading to inadequate test coverage and increased risk of unforeseen issues. This study explores the potential of Generative AI (GAI) in revolutionizing test case creation for complex systems. We delve into the practical application of GAI techniques, such as Variational Autoencoders (VAEs) and …
Published in Recent Trends in Programming languages · Vol. 12, Issue 3, 2025 · pp. 16–22 Read article
-
Role of Functional Programming Languages in Blockchain Applications
Abstract: Functional programming (FP) languages play an increasingly influential role in blockchain applications, offering features that address critical challenges such as security, scalability, and reliability. The inherent characteristics of FP—immutability, pure functions, statelessness, and concurrency support—align well with blockchain’s decentralized and deterministic structure, making FP languages a natural fit for developing secure and verifiable smart contracts. Languages like Haskell, OCaml, and Erlang have proven effective in minimizing code errors, enabling formal …
Published in Recent Trends in Programming languages · Vol. 11, Issue 3, 2024 · pp. 21–27 Read article
-
High Strength Bolt Tightening and Verification Techniques for Steel Connections: In-Depth Study and National Survey
Abstract: The current means and methods of verifying that high strength bolts have been properly tightened is very laborious and time consuming. In some cases, the techniques require special equipment and in other cases the verification itself may be somewhat subjective. While some commercially available verification techniques do exist, there are drawbacks such as being costly, time-consuming, and impractical to use in the field. The main objectives of this project were …
Published in Journal of Construction Engineering, Technology & Management Read article