Testing Software and Systems (eBook, PDF)
36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings
Redaktion: Menéndez, Héctor D.; Rodriguez-Fernandez, Victor; Fortz, Sophie; Han, Donggyun; Dash, Santanu; Farahi, Arya; Bautista, John Robert; Barnard, Pepita; Bello-Orgaz, Gema
Alle Infos zum eBook verschenken
Testing Software and Systems (eBook, PDF)
36th IFIP WG 6.1 International Conference, ICTSS 2024, London, UK, October 30 - November 1, 2024, Proceedings
Redaktion: Menéndez, Héctor D.; Rodriguez-Fernandez, Victor; Fortz, Sophie; Han, Donggyun; Dash, Santanu; Farahi, Arya; Bautista, John Robert; Barnard, Pepita; Bello-Orgaz, Gema
- Format: PDF
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
![](https://bilder.buecher.de/images/aktion/tolino/tolino-select-logo.png)
Hier können Sie sich einloggen
![](https://bilder.buecher.de/images/aktion/tolino/tolino-select-logo.png)
Bitte loggen Sie sich zunächst in Ihr Kundenkonto ein oder registrieren Sie sich bei bücher.de, um das eBook-Abo tolino select nutzen zu können.
This book constitutes the refereed proceedings of the 36th IFIP WG 6.1 International Conference on Testing Software and Systems, ICTSS 2024, held in London, UK, during October 30-November 1, 2024. The 17 full papers and 5 short papers included in this book were carefully reviewed and selected from 40 submissions. They were organized in topical sections as follows: Best Paper Award; Industry and Challenge Tracks; Mutation Testing and Code Generation; Advancing Code Vulnerability Detection; Short Papers; Tutorial; Journal First; Health Track; Innovations in Software Testing and AI Compliance;…mehr
- Geräte: PC
- ohne Kopierschutz
- eBook Hilfe
- Größe: 24.09MB
- Fundamentals of Software Engineering (eBook, PDF)40,95 €
- Formal Methods: Foundations and Applications (eBook, PDF)32,95 €
- Engineering Trustworthy Software Systems (eBook, PDF)40,95 €
- Fundamental Approaches to Software Engineering (eBook, PDF)40,95 €
- Fundamental Approaches to Software Engineering (eBook, PDF)40,95 €
- Tests and Proofs (eBook, PDF)40,95 €
- Hardware and Software: Verification and Testing (eBook, PDF)38,95 €
-
-
-
Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.
- Produktdetails
- Verlag: Springer International Publishing
- Seitenzahl: 350
- Erscheinungstermin: 24. Januar 2025
- Englisch
- ISBN-13: 9783031808890
- Artikelnr.: 73134175
- Verlag: Springer International Publishing
- Seitenzahl: 350
- Erscheinungstermin: 24. Januar 2025
- Englisch
- ISBN-13: 9783031808890
- Artikelnr.: 73134175
- Herstellerkennzeichnung Die Herstellerinformationen sind derzeit nicht verfügbar.
.- Estimating Combinatorial t-way Coverage based on Matrix Complexity Metrics.
.- Industry and Challenge Tracks.
.- Enhancing RL Safety with Counterfactual LLM Reasoning.
.- GoNoGo: An Efficient LLM-based Multi-Agent System for Streamlining Automotive Software Release Decision-Making.
.- Test Prioritization based on the Coverage of Recently Modified Source Code: An Industrial Case Study.
.- On the variations of ChatGPT's response quality for generating source code across programming languages.
.- Reevaluating the small-scope testing hypothesis of answer set programs.
.- Advancing Code Vulnerability Detection.
.- Enhancing Vulnerability Detection with Domain Knowledge: a Comparison of Different Mechanisms.
.- LLMs Can Check Their Own Results to Mitigate Hallucinations in Traffic Understanding Tasks.
.- Enhanced Graph Neural Networks for Vulnerability Detection in Java via Advanced Subgraph Construction.
.- Short Papers.
.- Mutating Clingo's AST with clingabomino.
.- Towards a Knowledge Graph based approach for vulnerable code weaknesses identification.
.- Tutorial.
.- Automatic Summarization Evaluation: Methods and Practices.
.- Journal First.
.- Summary of ObfSec: Measuring the security of obfuscations from a testing perspective.
.- Health Track.
.- A trusted friend in the middle of the night: End-user perspectives on Artificial Intelligence informed software systems as a decision-making aid for patients.
.- Binary Classification Optimisation with AI-Generated Data.
.- Responsible MLOps Design Methodology for an Auditing System for AI-based Clinical Decision Support Systems.
.- Innovations in Software Testing and AI Compliance.
.- Software System Testing assisted by Large Language Models: An Exploratory Study.
.- Continuous Auditing Based Conformity Assessment for AI Systems: A Proof-of-Concept Evaluation.
.- Improving Software Testing Reliability.
.- Checking Test Suite Efficacy Through Dual-Channel Techniques.
.- Extending a Flakiness Score for System-Level Tests.
.- Advancements in Testing Methodologies.
.- Autonomous Driving System Testing: Traffic Density Does Matter.
.- Annotation-based input modeling for combinatorial testing.
.- Estimating Combinatorial t-way Coverage based on Matrix Complexity Metrics.
.- Industry and Challenge Tracks.
.- Enhancing RL Safety with Counterfactual LLM Reasoning.
.- GoNoGo: An Efficient LLM-based Multi-Agent System for Streamlining Automotive Software Release Decision-Making.
.- Test Prioritization based on the Coverage of Recently Modified Source Code: An Industrial Case Study.
.- On the variations of ChatGPT's response quality for generating source code across programming languages.
.- Reevaluating the small-scope testing hypothesis of answer set programs.
.- Advancing Code Vulnerability Detection.
.- Enhancing Vulnerability Detection with Domain Knowledge: a Comparison of Different Mechanisms.
.- LLMs Can Check Their Own Results to Mitigate Hallucinations in Traffic Understanding Tasks.
.- Enhanced Graph Neural Networks for Vulnerability Detection in Java via Advanced Subgraph Construction.
.- Short Papers.
.- Mutating Clingo's AST with clingabomino.
.- Towards a Knowledge Graph based approach for vulnerable code weaknesses identification.
.- Tutorial.
.- Automatic Summarization Evaluation: Methods and Practices.
.- Journal First.
.- Summary of ObfSec: Measuring the security of obfuscations from a testing perspective.
.- Health Track.
.- A trusted friend in the middle of the night: End-user perspectives on Artificial Intelligence informed software systems as a decision-making aid for patients.
.- Binary Classification Optimisation with AI-Generated Data.
.- Responsible MLOps Design Methodology for an Auditing System for AI-based Clinical Decision Support Systems.
.- Innovations in Software Testing and AI Compliance.
.- Software System Testing assisted by Large Language Models: An Exploratory Study.
.- Continuous Auditing Based Conformity Assessment for AI Systems: A Proof-of-Concept Evaluation.
.- Improving Software Testing Reliability.
.- Checking Test Suite Efficacy Through Dual-Channel Techniques.
.- Extending a Flakiness Score for System-Level Tests.
.- Advancements in Testing Methodologies.
.- Autonomous Driving System Testing: Traffic Density Does Matter.
.- Annotation-based input modeling for combinatorial testing.