Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Advances and Trends in Artificial Intelligence. From Theory to Practice [[electronic resource] ] : 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings / / edited by Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov, Moonis Ali
| Advances and Trends in Artificial Intelligence. From Theory to Practice [[electronic resource] ] : 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings / / edited by Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov, Moonis Ali |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXIII, 865 p. 653 illus., 201 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computers Computer organization Computer science—Mathematics Data protection Artificial Intelligence Information Systems and Communication Service Computer Systems Organization and Communication Networks Theory of Computation Mathematics of Computing Security |
| ISBN | 3-030-22999-8 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | AI for Estimation and Prediction -- Applied Neural Networks -- Autonomous Systems and Automated Driving -- Data Science and Security -- Decision Support Systems and Recommender Systems -- Fault Detection and Diagnosis -- Intelligent Information Storage and Retrieval -- Intelligent Systems in Real-Life Applications -- Knowledge Representation and Reasoning -- Mobile and Autonomous Robotics -- Natural Language Processing and Sentiment Analysis -- Optimization. |
| Record Nr. | UNISA-996466312703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Advances and Trends in Artificial Intelligence. From Theory to Practice : 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings / / edited by Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov, Moonis Ali
| Advances and Trends in Artificial Intelligence. From Theory to Practice : 32nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2019, Graz, Austria, July 9–11, 2019, Proceedings / / edited by Franz Wotawa, Gerhard Friedrich, Ingo Pill, Roxane Koitz-Hristov, Moonis Ali |
| Edizione | [1st ed. 2019.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
| Descrizione fisica | 1 online resource (XXIII, 865 p. 653 illus., 201 illus. in color.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Computers Computer organization Computer science—Mathematics Data protection Artificial Intelligence Information Systems and Communication Service Computer Systems Organization and Communication Networks Theory of Computation Mathematics of Computing Security |
| ISBN | 3-030-22999-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | AI for Estimation and Prediction -- Applied Neural Networks -- Autonomous Systems and Automated Driving -- Data Science and Security -- Decision Support Systems and Recommender Systems -- Fault Detection and Diagnosis -- Intelligent Information Storage and Retrieval -- Intelligent Systems in Real-Life Applications -- Knowledge Representation and Reasoning -- Mobile and Autonomous Robotics -- Natural Language Processing and Sentiment Analysis -- Optimization. |
| Record Nr. | UNINA-9910337852903321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Industrial Artificial Intelligence Technologies and Applications
| Industrial Artificial Intelligence Technologies and Applications |
| Autore | Vermesan Ovidiu |
| Edizione | [1st ed.] |
| Pubbl/distr/stampa | Milton : , : River Publishers, , 2023 |
| Descrizione fisica | 1 online resource (242 pages) |
| Disciplina | 006.3 |
| Altri autori (Persone) |
WotawaFranz
NavaMario Diaz DebaillieBjö |
| Soggetto topico | Intel·ligència artificial |
| ISBN |
1-000-85203-2
1-00-337738-6 1-000-85205-9 1-003-37738-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Cover -- Half Title -- Series Page -- Title Page -- Copyright Page -- Dedication -- Acknowledgement -- Table of Contents -- Preface -- List of Figures -- List of Tables -- List of Contributors -- Chapter 1: Benchmarking Neuromorphic Computing for Inference -- 1.1: Introduction -- 1.2: State of the art in Benchmarking -- 1.2.1: Machine Learning -- 1.2.2: Hardware -- 1.3: Guidelines -- 1.3.1: Fair and Unfair Benchmarking -- 1.3.2: Combined KPIs and Approaches for Benchmarking -- 1.3.3: Outlook : Use-case Based Benchmarking -- 1.4: Conclusion -- References -- Chapter 2: Benchmarking the Epiphany Processor as a Reference Neuromorphic Architecture -- 2.1: Introduction and Background -- 2.2: Comparison with a Few Well-Known Digital Neuromorphic Platforms -- 2.3: Major Challenges in Neuromorphic Architectures -- 2.3.1: Memory Allocation -- 2.3.2: Efficient Communication -- 2.3.3: Mapping SNN onto Hardware -- 2.3.4: On-chip Learning -- 2.3.5: Idle Power Consumption -- 2.4: Measurements from Epiphany -- 2.5: Conclusion -- References -- Chapter 3: Temporal Delta Layer: Exploiting Temporal Sparsity in Deep Neural Networks for Time-Series Data -- 3.1: Introduction -- 3.2: Related Works -- 3.3: Methodology -- 3.3.1: Delta Inference -- 3.3.2: Sparsity Induction Using Activation Quantization -- 3.3.2.1: Fixed Point Quantization -- 3.3.2.2: Learned Step-Size Quantization -- 3.3.3: Sparsity Penalty -- 3.4: Experiments and Results -- 3.4.1: Baseline -- 3.4.2: Experiments -- 3.4.3: Result Analysis -- 3.5: Conclusion -- References -- Chapter 4: An End-to-End AI-based Automated Process for Semiconductor Device Parameter Extraction -- 4.1: Introduction -- 4.2: Semantic Segmentation -- 4.2.1: Proof of Concept and Architecture Overview -- 4.2.2: Implementation Details and Result Overview -- 4.3: Parameter Extraction -- 4.4: Conclusion -- 4.5: Future Work -- References.
Chapter 5: AI Machine Vision System for Wafer Defect Detection -- 5.1: Introduction and Background -- 5.2: Machine Vision-based System Description -- 5.3: Conclusion -- References -- Chapter 6: Failure Detection in Silicon Package -- 6.1: Introduction and Background -- 6.2: Dataset Description -- 6.2.1: Data Collection & -- Labelling -- 6.3: Development and Deployment -- 6.4: Transfer Learning and Scalability -- 6.5: Result and Discussion -- 6.6: Conclusion and Outlooks -- References -- Chapter 7: S2ORC-SemiCause: Annotating and Analysing Causality in the Semiconductor Domain -- 7.1: Introduction -- 7.2: Dataset Creation -- 7.2.1: Corpus -- 7.2.2: Annotation Guideline -- 7.2.3: Annotation Methodology -- 7.2.4: Dataset Statistics -- 7.2.5: Causal Cue Phrases -- 7.3: Baseline Performance -- 7.3.1: Train-Test Split -- 7.3.2: Causal Argument Extraction -- 7.3.3: Error Analysis -- 7.4: Conclusions -- References -- Chapter 8: Feasibility of Wafer Exchange for European Edge AI Pilot Lines -- 8.1: Introduction -- 8.2: Technical Details and Comparison -- 8.2.1: Comparison TXRF and VPD-ICPMS Equipment for Surface Analysis -- 8.2.2: VPD-ICPMS Analyses on Bevel -- 8.3: Cross-Contamination Check-Investigation -- 8.3.1: Example for the Comparison of the Institutes -- 8.4: Conclusiion -- References -- Chapter 9: A Framework for Integrating Automated Diagnosis into Simulation -- 9.1: Introduction -- 9.2: Model-based Diagnosis -- 9.3: Simulation and Diagnosis Framework -- 9.3.1: FMU Simulation Tool -- 9.3.2: ASP Diagnose Tool -- 9.4: Experiment -- 9.5: Conclusion -- References -- Chapter 10: Deploying a Convolutional Neural Network on Edge MCU and Neuromorphic Hardware Platforms -- 10.1: Introduction -- 10.2: Related Work -- 10.3: Methods -- 10.3.1: Neural Network Deployment -- 10.3.1.1: Task and Model -- 10.3.1.2: Experimental Setup -- 10.3.1.3: Deployment. 10.3.2: Measuring the Ease of Deployment -- 10.4: Results -- 10.4.1: Inference Results -- 10.4.2: Perceived Effort -- 10.5: Conclusion -- References -- Chapter 11: Efficient Edge Deployment Demonstrated on YOLOv5 and Coral Edge TPU -- 11.1: Introduction -- 11.2: Related Work -- 11.3: Experimental Setup -- 11.3.1: Google Coral Edge TPU -- 11.3.2: YOLOv5 -- 11.4: Performance Considerations -- 11.4.1: Graph Optimization -- 11.4.1.1: Incompatible Operations -- 11.4.1.2: Tensor Transformations -- 11.4.2: Performance Evaluation -- 11.4.2.1: Speed-Accuracy Comparison -- 11.4.2.2: USB Speed Comparison -- 11.4.3: Deployment Pipeline -- 11.5: Conclusion and Future Work -- References -- Chapter 12: Embedded Edge Intelligent Processing for End-To-End Predictive Maintenance in Industrial Applications -- 12.1: Introduction and Background -- 12.2: Machine and Deep Learning for Embedded Edge Predictive Maintenance -- 12.3: Approaches for Predictive Maintenance -- 12.3.1: Hardware and Software Platforms -- 12.3.2: Motor Classification Use Case -- 12.4: Experimental Setup -- 12.4.1: Signal Data Acquisition and Pre-processing -- 12.4.2: Feature Extraction, ML/DL Model Selection and Training -- 12.4.3: Optimisation and Tuning Performance -- 12.4.4: Testing -- 12.4.5: Deployment -- 12.4.6: Inference -- 12.5: Discussion and Future Work -- References -- Chapter 13: AI-Driven Strategies to Implement a Grapevine Downy Mildew Warning System -- 13.1: Introduction -- 13.2: Research Material and Methodology -- 13.2.1: Datasets -- 13.2.2: Labelling Methodology -- 13.3: Machine Learning Models -- 13.4: Results -- 13.4.1: Primary Mildew Infection Alerts -- 13.4.2: Secondary Mildew Infection Alerts -- 13.5: Discussion -- 13.6: Conclusion -- References -- Chapter 14: On the Verification of Diagnosis Models -- 14.1: Introduction -- 14.2: The Model Testing Challenge -- 14.3: Use Case. 14.4: Open Issues and Challenges -- 14.5: Conclusion -- References -- Index -- About the Editors. |
| Record Nr. | UNINA-9910741396003321 |
Vermesan Ovidiu
|
||
| Milton : , : River Publishers, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
KI 2016: Advances in Artificial Intelligence [[electronic resource] ] : 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings / / edited by Gerhard Friedrich, Malte Helmert, Franz Wotawa
| KI 2016: Advances in Artificial Intelligence [[electronic resource] ] : 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings / / edited by Gerhard Friedrich, Malte Helmert, Franz Wotawa |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIV, 318 p. 73 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Information storage and retrieval Computer simulation User interfaces (Computer systems) Mathematical logic Application software Artificial Intelligence Information Storage and Retrieval Simulation and Modeling User Interfaces and Human Computer Interaction Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) |
| ISBN | 3-319-46073-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-996465982803316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
KI 2016: Advances in Artificial Intelligence : 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings / / edited by Gerhard Friedrich, Malte Helmert, Franz Wotawa
| KI 2016: Advances in Artificial Intelligence : 39th Annual German Conference on AI, Klagenfurt, Austria, September 26-30, 2016, Proceedings / / edited by Gerhard Friedrich, Malte Helmert, Franz Wotawa |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XIV, 318 p. 73 illus.) |
| Disciplina | 006.3 |
| Collana | Lecture Notes in Artificial Intelligence |
| Soggetto topico |
Artificial intelligence
Information storage and retrieval Computer simulation User interfaces (Computer systems) Mathematical logic Application software Artificial Intelligence Information Storage and Retrieval Simulation and Modeling User Interfaces and Human Computer Interaction Mathematical Logic and Formal Languages Information Systems Applications (incl. Internet) |
| ISBN | 3-319-46073-0 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-9910483370103321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Testing Software and Systems [[electronic resource] ] : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings / / edited by Franz Wotawa, Mihai Nica, Natalia Kushik
| Testing Software and Systems [[electronic resource] ] : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings / / edited by Franz Wotawa, Mihai Nica, Natalia Kushik |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVIII, 257 p. 62 illus.) |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Programming languages (Electronic computers) Special purpose computers Computer logic Management information systems Computer science Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN | 3-319-47443-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Conformance Testing in Respect to Partial-Order Specifications -- Back-to-Back Testing of Self-Organization Mechanisms -- Test Generation by Constraint Solving and FSM Mutant Killing -- Risk-based Interoperability Testing Using Reinforcement Learning -- A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing -- Controllability Through Non-determinism in Distributed Testing -- Parallelizing Heuristics for Generating Synchronizing Sequences -- Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness -- On-the-fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications -- Mutation-Based Test Generation for PLC Embedded Software Using Model Checking -- STIPI: Using Search to Prioritize Test Cases Based on Multi-Objectives Derived from Industrial Practice -- From Simulation Data to Test Cases for Fully Automated Driving and ADAS -- Searching Critical Values for Floating-point Programs -- UTTOS: A Tool for Testing UEFI Code in OS Environment -- Towards Model Construction Based on Test Cases and GUI Extraction -- Set-based Algorithms for Combinatorial Test Set Generation -- Another Experience with Test* in Industry: Automated Localization Testing -- Distribution Visualization for User Behavior Analysis on LTE Network. . |
| Record Nr. | UNISA-996465313703316 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Testing Software and Systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings / / edited by Franz Wotawa, Mihai Nica, Natalia Kushik
| Testing Software and Systems : 28th IFIP WG 6.1 International Conference, ICTSS 2016, Graz, Austria, October 17-19, 2016, Proceedings / / edited by Franz Wotawa, Mihai Nica, Natalia Kushik |
| Edizione | [1st ed. 2016.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 |
| Descrizione fisica | 1 online resource (XVIII, 257 p. 62 illus.) |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Software engineering
Computer communication systems Programming languages (Electronic computers) Special purpose computers Computer logic Management information systems Computer science Software Engineering Computer Communication Networks Programming Languages, Compilers, Interpreters Special Purpose and Application-Based Systems Logics and Meanings of Programs Management of Computing and Information Systems |
| ISBN | 3-319-47443-X |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Conformance Testing in Respect to Partial-Order Specifications -- Back-to-Back Testing of Self-Organization Mechanisms -- Test Generation by Constraint Solving and FSM Mutant Killing -- Risk-based Interoperability Testing Using Reinforcement Learning -- A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing -- Controllability Through Non-determinism in Distributed Testing -- Parallelizing Heuristics for Generating Synchronizing Sequences -- Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness -- On-the-fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications -- Mutation-Based Test Generation for PLC Embedded Software Using Model Checking -- STIPI: Using Search to Prioritize Test Cases Based on Multi-Objectives Derived from Industrial Practice -- From Simulation Data to Test Cases for Fully Automated Driving and ADAS -- Searching Critical Values for Floating-point Programs -- UTTOS: A Tool for Testing UEFI Code in OS Environment -- Towards Model Construction Based on Test Cases and GUI Extraction -- Set-based Algorithms for Combinatorial Test Set Generation -- Another Experience with Test* in Industry: Automated Localization Testing -- Distribution Visualization for User Behavior Analysis on LTE Network. . |
| Record Nr. | UNINA-9910485049603321 |
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2016 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tests and proofs : 15th international conference, TAP 2021, held as part of STAF 2021, virtual event, June 21-22, 2021 : proceedings / / edited by Frédéric Loulergue and Franz Wotawa
| Tests and proofs : 15th international conference, TAP 2021, held as part of STAF 2021, virtual event, June 21-22, 2021 : proceedings / / edited by Frédéric Loulergue and Franz Wotawa |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (117 pages) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer software - Testing
Software engineering |
| ISBN | 3-030-79379-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Abstracts of Invited Events -- Learning About the Change: An Adaptive Approach to Automata Learning -- Testing, Runtime Verification and Automata Learning -- Contents -- Learning, Test Resource Allocation and Benchmarks -- Use Case Testing: A Constrained Active Machine Learning Approach -- 1 Introduction -- 2 Background and Problem Statement -- 2.1 Use Case Modeling -- 2.2 Active Automaton Learning -- 2.3 Problem Statement: Scalable ML -- 3 Constrained Active Machine Learning (CAML) -- 3.1 Use Case Testing: An Example -- 3.2 A Parallel Distributed CAML Architecture -- 4 A Use Case Modeling Language for CAML -- 4.1 Input/Output Declaration -- 4.2 Sequencing, Static and Dynamic Constraints -- 4.3 Automated Test Verdict Construction -- 5 Evaluation and Benchmarking -- 5.1 ROBOTest: A CAML Implementation -- 5.2 Integration of ROBOTest and ASM -- 5.3 ACC Use Case Descriptions -- 5.4 ACC Test Objectives -- 6 Results -- 7 Related Work -- 8 Conclusions and Future Work -- References -- Architecture-Guided Test Resource Allocation via Logic -- 1 Introduction -- 1.1 Related Work -- 2 Quantitative Confidence Logic -- 2.1 Syntax and Proof Rules of QCL -- 2.2 Interpretation as Random Variables -- 3 Translating System Architectures to Proofs -- 4 Solving the Test Resource Allocation Problem -- 4.1 Confidence Functions -- 4.2 The Optimisation Problem -- 5 Experimental Results -- 5.1 RQ1: Theoretical Evaluation -- 5.2 RQ2: Empirical Evaluation -- 5.3 Evaluation Results -- 6 Conclusion and Future Work -- References -- A Benchmarks Library for Extended Parametric Timed Automata -- 1 Introduction -- 2 Related Libraries -- 3 Parametric Timed Automata -- 4 The Benchmarks Library -- 4.1 Organization -- 4.2 Distribution -- 4.3 Benchmarks Classification -- 4.4 Properties -- 4.5 Unsolvable Benchmarks -- 4.6 Expected Performances.
5 Perspectives -- References -- Testing -- Generating Timed UI Tests from Counterexamples -- 1 Introduction -- 2 Preliminaries -- 3 Scratch Error Witnesses -- 3.1 User Inputs -- 3.2 Mocks -- 4 Witness Generation -- 4.1 Concrete Program Trace from an Abstract Reachability Graph -- 4.2 Error Witness from a Concrete Program Trace -- 5 Evaluation -- 5.1 Experiment Setup -- 5.2 Witness Replay and Validation (Effectiveness) -- 5.3 Sequential Tool Combination (Efficiency) -- 6 Related Work -- 7 Conclusions -- References -- Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs -- 1 Introduction -- 2 Related Work -- 3 JMLKelinci -- 4 Experimental Study -- 5 Conclusion -- References -- FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs -- 1 Introduction -- 2 Preliminaries -- 2.1 Fuzzing -- 2.2 Symbolic Execution -- 2.3 Types of Vulnerabilities -- 3 FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs -- 3.1 Analyze C Code -- 3.2 Inject Labels -- 3.3 Produce Counterexamples -- 3.4 Create Graphml -- 3.5 Produce Test Cases -- 3.6 Selective Fuzzer -- 3.7 Test Validator -- 4 Evaluation -- 4.1 Description of Benchmarks and Setup -- 4.2 Objectives -- 4.3 Results -- 5 Related Work -- 6 Conclusions and Future Work -- A Appendix -- A.1 Artifact -- A.2 Tool Availability -- A.3 Tool Setup -- References -- Author Index. |
| Record Nr. | UNISA-996464523903316 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Tests and proofs : 15th international conference, TAP 2021, held as part of STAF 2021, virtual event, June 21-22, 2021 : proceedings / / edited by Frédéric Loulergue and Franz Wotawa
| Tests and proofs : 15th international conference, TAP 2021, held as part of STAF 2021, virtual event, June 21-22, 2021 : proceedings / / edited by Frédéric Loulergue and Franz Wotawa |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
| Descrizione fisica | 1 online resource (117 pages) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computer software - Testing
Software engineering |
| ISBN | 3-030-79379-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Abstracts of Invited Events -- Learning About the Change: An Adaptive Approach to Automata Learning -- Testing, Runtime Verification and Automata Learning -- Contents -- Learning, Test Resource Allocation and Benchmarks -- Use Case Testing: A Constrained Active Machine Learning Approach -- 1 Introduction -- 2 Background and Problem Statement -- 2.1 Use Case Modeling -- 2.2 Active Automaton Learning -- 2.3 Problem Statement: Scalable ML -- 3 Constrained Active Machine Learning (CAML) -- 3.1 Use Case Testing: An Example -- 3.2 A Parallel Distributed CAML Architecture -- 4 A Use Case Modeling Language for CAML -- 4.1 Input/Output Declaration -- 4.2 Sequencing, Static and Dynamic Constraints -- 4.3 Automated Test Verdict Construction -- 5 Evaluation and Benchmarking -- 5.1 ROBOTest: A CAML Implementation -- 5.2 Integration of ROBOTest and ASM -- 5.3 ACC Use Case Descriptions -- 5.4 ACC Test Objectives -- 6 Results -- 7 Related Work -- 8 Conclusions and Future Work -- References -- Architecture-Guided Test Resource Allocation via Logic -- 1 Introduction -- 1.1 Related Work -- 2 Quantitative Confidence Logic -- 2.1 Syntax and Proof Rules of QCL -- 2.2 Interpretation as Random Variables -- 3 Translating System Architectures to Proofs -- 4 Solving the Test Resource Allocation Problem -- 4.1 Confidence Functions -- 4.2 The Optimisation Problem -- 5 Experimental Results -- 5.1 RQ1: Theoretical Evaluation -- 5.2 RQ2: Empirical Evaluation -- 5.3 Evaluation Results -- 6 Conclusion and Future Work -- References -- A Benchmarks Library for Extended Parametric Timed Automata -- 1 Introduction -- 2 Related Libraries -- 3 Parametric Timed Automata -- 4 The Benchmarks Library -- 4.1 Organization -- 4.2 Distribution -- 4.3 Benchmarks Classification -- 4.4 Properties -- 4.5 Unsolvable Benchmarks -- 4.6 Expected Performances.
5 Perspectives -- References -- Testing -- Generating Timed UI Tests from Counterexamples -- 1 Introduction -- 2 Preliminaries -- 3 Scratch Error Witnesses -- 3.1 User Inputs -- 3.2 Mocks -- 4 Witness Generation -- 4.1 Concrete Program Trace from an Abstract Reachability Graph -- 4.2 Error Witness from a Concrete Program Trace -- 5 Evaluation -- 5.1 Experiment Setup -- 5.2 Witness Replay and Validation (Effectiveness) -- 5.3 Sequential Tool Combination (Efficiency) -- 6 Related Work -- 7 Conclusions -- References -- Using a Guided Fuzzer and Preconditions to Achieve Branch Coverage with Valid Inputs -- 1 Introduction -- 2 Related Work -- 3 JMLKelinci -- 4 Experimental Study -- 5 Conclusion -- References -- FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs -- 1 Introduction -- 2 Preliminaries -- 2.1 Fuzzing -- 2.2 Symbolic Execution -- 2.3 Types of Vulnerabilities -- 3 FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs -- 3.1 Analyze C Code -- 3.2 Inject Labels -- 3.3 Produce Counterexamples -- 3.4 Create Graphml -- 3.5 Produce Test Cases -- 3.6 Selective Fuzzer -- 3.7 Test Validator -- 4 Evaluation -- 4.1 Description of Benchmarks and Setup -- 4.2 Objectives -- 4.3 Results -- 5 Related Work -- 6 Conclusions and Future Work -- A Appendix -- A.1 Artifact -- A.2 Tool Availability -- A.3 Tool Setup -- References -- Author Index. |
| Record Nr. | UNINA-9910485602103321 |
| Cham, Switzerland : , : Springer, , [2021] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||