{"product_id":"software-fault-prevention-verification-and-validation-ebook","title":"Software Fault Prevention, Verification, and Validation","description":"\u003cp\u003e.-  Software Analysis.\u003c\/p\u003e\n\u003cp\u003e.- Impact of IEEE Computer Society in Advancing Technologies,\u003cbr\u003e including AI SE based on Modeling with Patterns and MLOps.\u003c\/p\u003e\n\u003cp\u003e.- Can Generative AI Enhance the Effectiveness of N-Version Programming?.\u003c\/p\u003e\n\u003cp\u003e.-  QRAT: A Reachability Analysis Tool for Quantum Programs.\u003c\/p\u003e\n\u003cp\u003e.- An Empirical Study on Software Defect Prediction Based on Neural\u003cbr\u003e Network DeepDebugger Technique.\u003c\/p\u003e\n\u003cp\u003e.- Fuzzing the Solidity Compiler Solc with Fuzz4All.\u003c\/p\u003e\n\u003cp\u003e.- Diagnosing and Repairing Field Access Hallucinations in LLM-Based\u003cbr\u003e Test Generation.\u003c\/p\u003e\n\u003cp\u003e.-  Data-driven and Scenario-based Risk Analysis Considering Uncertainty\u003cbr\u003e in Machine Learning Systems.\u003c\/p\u003e\n\u003cp\u003e.- Similarity Evaluation between Queries and Chunks in RAG Systems.\u003c\/p\u003e\n\u003cp\u003e.- A Support Tool for Verification of Simulation Relations between State\u003cbr\u003e Machines with Maude.\u003c\/p\u003e\n\u003cp\u003e.-  Design and Implementation of a Software Tool to Support Agile-SOFL.\u003c\/p\u003e\n\u003cp\u003e.-  Model Checking the Two-Phase Commit Protocol for Distributed\u003cbr\u003e Database Systems.\u003c\/p\u003e\n\u003cp\u003e.-  FormalVerificationofMeasurement-basedQuantumComputationin\u003cbr\u003e Maude.\u003c\/p\u003e","brand":"Yuting Chen","offers":[{"title":"Default Title","offer_id":53627943354695,"sku":"9789819560325","price":69.54,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0920\/5455\/2903\/files\/software-fault-prevention-verification-and-validat-ebook.webp?v=1775012242","url":"https:\/\/www.cinebuch.de\/products\/software-fault-prevention-verification-and-validation-ebook","provider":"CineBuch","version":"1.0","type":"link"}