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.
Abstract State Machines 2003: Advances in Theory and Practice [[electronic resource] ] : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings / / edited by Egon Börger, Angelo Gargantini, Elvinia Riccobene
| Abstract State Machines 2003: Advances in Theory and Practice [[electronic resource] ] : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings / / edited by Egon Börger, Angelo Gargantini, Elvinia Riccobene |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XII, 436 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Computer logic Computer science Software engineering Programming languages (Electronic computers) Mathematical logic Theory of Computation Logics and Meanings of Programs Computer Science, general Software Engineering Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
| ISBN | 3-540-36498-6 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Software Testing Research and Practice -- Abstract State Processes -- Recent Advances in Refinement -- Partial Updates Exploration II -- Experiments with Test Case Generation and Runtime Analysis -- A Framework for Proving Contract-Equipped Classes -- Mobile UNITY Schemas for Agent Coordination -- UML and Concurrency -- Research Papers -- A Unified Formal Specification and Analysis of the New Java Memory Models -- Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines -- Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks -- Remarks on Turbo ASMs for Functional Equations and Recursion Schemes -- Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanism of UML State Machines -- The Hidden Computation Steps of Turbo Abstract State Machines -- Using Spin to Generate Tests from ASM Specifications -- Interfacing ASM with the MDG Tool -- ASMs versus Natural Semantics: A Comparison with New Insights -- Quantum Computing and Abstract State Machines -- Consistent Integration for Sequential Abstract State Machines -- Deciding the Verification Problem for Abstract State Machines -- An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions -- Privacy, Abstract Encryption and Protocols: An ASM Model - Part I -- A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines -- Extended Abstracts -- Using AsmL for Runtime Verification -- Modeling Information Services on the Basis of ASM Semantics -- Designing the Parlay Call-Control Using ASMs -- Test Case Generation from AsmL Specifications -- Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education -- Using ASM Specifications for Compiler Testing -- ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction -- AsmL Specification of a Ptolemy II Scheduler -- ASM Specification of Database Systems -- The Computable Kernel of ASM -- A Non-standard Approach to Operational Semantics for Timed Systems -- Parallelism versus Nondeterminism — On the Semantics of Abstract State Machines. |
| Record Nr. | UNISA-996465645203316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Abstract State Machines 2003: Advances in Theory and Practice : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings / / edited by Egon Börger, Angelo Gargantini, Elvinia Riccobene
| Abstract State Machines 2003: Advances in Theory and Practice : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings / / edited by Egon Börger, Angelo Gargantini, Elvinia Riccobene |
| Edizione | [1st ed. 2003.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
| Descrizione fisica | 1 online resource (XII, 436 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Computers
Computer logic Computer science Software engineering Programming languages (Electronic computers) Logic, Symbolic and mathematical Theory of Computation Logics and Meanings of Programs Computer Science, general Software Engineering Programming Languages, Compilers, Interpreters Mathematical Logic and Formal Languages |
| ISBN | 3-540-36498-6 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Papers -- Software Testing Research and Practice -- Abstract State Processes -- Recent Advances in Refinement -- Partial Updates Exploration II -- Experiments with Test Case Generation and Runtime Analysis -- A Framework for Proving Contract-Equipped Classes -- Mobile UNITY Schemas for Agent Coordination -- UML and Concurrency -- Research Papers -- A Unified Formal Specification and Analysis of the New Java Memory Models -- Modelling Conditional Knowledge Discovery and Belief Revision by Abstract State Machines -- Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks -- Remarks on Turbo ASMs for Functional Equations and Recursion Schemes -- Integrating UML Static and Dynamic Views and Formalizing the Interaction Mechanism of UML State Machines -- The Hidden Computation Steps of Turbo Abstract State Machines -- Using Spin to Generate Tests from ASM Specifications -- Interfacing ASM with the MDG Tool -- ASMs versus Natural Semantics: A Comparison with New Insights -- Quantum Computing and Abstract State Machines -- Consistent Integration for Sequential Abstract State Machines -- Deciding the Verification Problem for Abstract State Machines -- An ASM Semantics of UML Derived from the Meta-model and Incorporating Actions -- Privacy, Abstract Encryption and Protocols: An ASM Model - Part I -- A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines -- Extended Abstracts -- Using AsmL for Runtime Verification -- Modeling Information Services on the Basis of ASM Semantics -- Designing the Parlay Call-Control Using ASMs -- Test Case Generation from AsmL Specifications -- Teaching ASMs, Teaching with ASMs: Opportunities in Undergraduate Education -- Using ASM Specifications for Compiler Testing -- ASMs as Integration Platform towards Verification and Validation of Distributed Production Control Systems at Multiple Levels of Abstraction -- AsmL Specification of a Ptolemy II Scheduler -- ASM Specification of Database Systems -- The Computable Kernel of ASM -- A Non-standard Approach to Operational Semantics for Timed Systems -- Parallelism versus Nondeterminism — On the Semantics of Abstract State Machines. |
| Record Nr. | UNINA-9910143882103321 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Rigorous State-Based Methods : 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings / / edited by Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra
| Rigorous State-Based Methods : 10th International Conference, ABZ 2024, Bergamo, Italy, June 25–28, 2024, Proceedings / / edited by Silvia Bonfanti, Angelo Gargantini, Michael Leuschel, Elvinia Riccobene, Patrizia Scandurra |
| Autore | Bonfanti Silvia |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (404 pages) |
| Disciplina | 005.131 |
| Altri autori (Persone) |
GargantiniAngelo
LeuschelMichael RiccobeneElvinia ScandurraPatrizia |
| Collana | Lecture Notes in Computer Science |
| Soggetto topico |
Machine theory
Computer engineering Computer networks Application software Logic programming Compilers (Computer programs) Formal Languages and Automata Theory Computer Engineering and Networks Computer and Information Systems Applications Logic in AI Compilers and Interpreters |
| ISBN | 3-031-63790-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | 1 Invited Talk -- Formal Methods and Tools Applied in the Railway Domain -- 2 Research Papers -- Formal Modeling and Analysis of Apache Kafka in Alloy 6 -- Event-B Development of Modelling Human Intervention Request in Self- Driving Vehicle Systems -- Alloy Goes Fuzzy -- Transpilation of Petri-nets into B: Shallow and Deep Embeddings -- A Lean Reflective Abstract State Machine Definition -- Loose Observation in Event-B -- Modal Extensions of the Logic of Abstract State Machines -- An Analysis of the Impact of Field-Value Instance Navigation in Alloy’s Model Finding -- From Concept to Code: Unveiling a Tool for Translating Abstract State Machines into Java Code -- 3 Short Research Papers -- An Event-B Formal Model for Access Control and Resource Management of Serverless Apps -- Property Ownership Formal Modelling Using Event-B and iUML-B -- A Modeling and Verification Framework for Ethereum Smart Contracts -- Semantics Formalisation – From Event-B Contexts to Theories -- Using Symbolic Execution to Transform Turbo Abstract State Machines into Basic Abstract State Machines -- Multi-model Animation with Jeb -- Meta-Programming Event-B: Advancing Tool Support and Language Extensions -- Event-B as DSL in Isabelle and HOL -- ThoR: An Alloy5-based DSL for Interactive Theorem Proving in Coq -- Verifying HyperLTL properties in Event-B -- Small Step Incremental Verification of Compilers -- Designing Exception Handling using Event-B -- 4 Case Study -- The Mechanical Lung Ventilator Case Study -- Real-Time CCSL: Application to the Mechanical Lung Ventilator -- An Event-B Model of a Mechanical Lung Ventilator -- Modelling the Mechanical Lung Ventilation System using TASTD -- Modelling and Analysing a Mechanical Lung Ventilator in mCRL2 -- FRETting and Formal Modelling: A Mechanical Lung Ventilator -- 5 Doctoral Symposium -- From Event-B to Lambdapi -- Proof Construction and Checking on Evolving Abstract State Machines . |
| Record Nr. | UNINA-9910866586803321 |
Bonfanti Silvia
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Testing Software and Systems : 35th IFIP WG 6. 1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings / / Silvia Bonfanti, Angelo Gargantini, and Paolo Salvaneschi, editors
| Testing Software and Systems : 35th IFIP WG 6. 1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings / / Silvia Bonfanti, Angelo Gargantini, and Paolo Salvaneschi, editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] |
| Descrizione fisica | 1 online resource (297 pages) |
| Disciplina | 004.62 |
| Collana | Lecture Notes in Computer Science Series |
| Soggetto topico |
Computer software - Testing
Software engineering |
| ISBN | 3-031-43240-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Failure Analysis in CPS Simulink Models (Keynotes) -- Contents -- Test Case Generation -- A Rapid Review on Fuzz Security Testing for Software Protocol Implementations -- 1 Introduction -- 2 Related Works -- 3 Rapid Review -- 3.1 Research Questions -- 3.2 Data Source and Search Strategy -- 3.3 Analysis Criteria -- 3.4 Limitations of the Study -- 4 Results -- 5 Final Remarks -- References -- Enhancing Synthetic Test Data Generation with Language Models Using a More Expressive Domain-Specific Language -- 1 Introduction -- 2 Case Study -- 2.1 Abstract Data Model -- 2.2 Conceptual Model of Event Generator and Event Specification -- 3 Domain Specific Language Design and Comparison -- 3.1 Domain Specific Formal Language - Steve132 -- 3.2 Domain Specifical Language - Steveflex -- 3.3 Historical Dimension in Expressiveness -- 3.4 Higher Information Capacity -- 4 Evaluation Framework -- 5 Experiment, Result and Comparison -- 5.1 Result and Comparison -- 5.2 Experimental Setup -- 6 Related Work -- 7 Conclusion -- A Steve132 constraints -- B Steveflex constraints -- References -- On the Evaluation of Photometric Stereo Applications Testing Using Image Modifications -- 1 Introduction -- 2 The System Under Test -- 3 Experiments -- 4 Conclusions -- References -- Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites -- 1 Overview -- 2 The Method -- 2.1 Falsifying a Code Block -- 2.2 Block Variables -- 3 Correctness -- 3.1 Definitions and Assumptions -- 3.2 Proof of Correctness -- 3.3 Correctness in Practice -- 4 Implementation -- 5 Evaluation and Comparison with Dynamic Techniques -- 5.1 Comparison Criteria and Overview of the Results -- 5.2 Detailed Results -- 6 Limitations and Threats to Validity -- 7 Related Work -- 8 Conclusions and Future Work -- References -- Test Automation and Design.
Automated Testing of Systems of Systems -- 1 Introduction -- 2 Related Work -- 3 The Approach and Implementation -- 4 Motivating Example from the Industry -- 5 Conclusion and Future Work -- References -- Empirical Verification of TQED - A New Test Design Heuristic Technique -- 1 Introduction -- 2 TQED and Effectiveness of Test Design Techniques -- 3 TQED Model -- 4 Experiment -- 5 Conclusions -- References -- How Do Different Types of Testing Goals Affect Test Case Design? -- 1 Introduction -- 2 Background -- 3 Related Work -- 4 Methodology -- 4.1 Population and Sampling -- 4.2 Data Collection -- 4.3 Data Analysis -- 5 Results and Discussion -- 5.1 Goals and Goal Importance -- 5.2 Quantitative Relationship Between Goal Types and Tests -- 5.3 Influence of Goals on Test Design -- 6 Threats to Validity -- 7 Conclusion -- References -- Multi-device, Robust, and Integrated Android GUI Testing: A Conceptual Framework -- 1 Introduction -- 2 Mobile GUI Testing: State of the Art and Practice -- 3 Conceptualization of the GEM Framework -- 3.1 Test Generation and Translation -- 3.2 Test Execution -- 3.3 Test Maintenance and Repair -- 4 Discussion -- 5 Call to Action -- 6 Conclusions -- References -- RQCODE: Security Requirements Formalization with Testing -- 1 Introduction -- 1.1 Importance of Security by Design -- 1.2 Importance of Security Testing -- 2 Related Work -- 3 The ReQuirements as CODE Approach (RQCODE) -- 3.1 RQCODE Definition and Concepts -- 3.2 RQCODE Example -- 3.3 Use Case of Security Technology Implementation Guide -- 4 Discussion -- 4.1 Background Needed -- 4.2 Security Testing -- 5 Conclusion and Future Work -- References -- Understanding Problem Solving in Software Testing: An Exploration of Tester Routines and Behavior -- 1 Introduction -- 2 Background and Related Work -- 3 Method -- 3.1 Survey Development. 3.2 Survey Population and Sampling -- 3.3 Thematic Analysis -- 4 Results and Discussions -- 4.1 Survey Results -- 4.2 The Extended Problem Solving Model -- 5 Discussion -- 5.1 Threats to Validity -- 6 Conclusions -- References -- Who Is Afraid of Test Smells? Assessing Technical Debt from Developer Actions -- 1 Introduction -- 2 Related Work -- 3 Methodology -- 3.1 The Evaluation Context -- 3.2 Mean Time to Removal -- 3.3 Data Collection -- 3.4 Data Analysis -- 4 Results and Discussion -- 4.1 Under-Represented Test Smells -- 4.2 Rapidly Removed Test Smells -- 4.3 Slowly Removed Test Smells -- 4.4 Mid Range Test Smells -- 5 Threats to Validity -- 6 Conclusions and Future Work -- References -- Model Based Testing -- A Systematic Literature Review on Prioritizing Software Test Cases Using Markov Chains -- 1 Extended Abstract -- References -- Complete Property-Oriented Module Testing -- 1 Introduction -- 2 Theoretical Foundations -- 2.1 Black Box Checking -- 2.2 Equivalence Class Construction for SFSM -- 3 Optimisation of the Test Method -- 4 Tool Support: libfsmtest and libsfsmtest -- 5 Experiments -- 6 Conclusion -- References -- Compositionality in Model-Based Testing -- 1 Introduction -- 2 Preliminaries -- 3 Motivating Example: A Parking System -- 4 Mutual Acceptance -- 5 Compositionalility for Uioco -- 6 The Parking System Revisited -- 7 Component Substitution and Diagnosis -- 8 Related Work -- 9 Future Work -- 10 Conclusion -- References -- Prioritizing Test Cases with Markov Chains: A Preliminary Investigation -- 1 Introduction -- 2 Related Work -- 3 Background -- 3.1 Test Case Prioritization -- 3.2 Markov Chains -- 4 Markov Chains Applied in TCP -- 5 Experimental Analysis -- 5.1 Metrics Definition -- 5.2 Description of Case Studies -- 5.3 Results and Analysis -- 6 Discussion and Conclusion -- References. Probabilistic Approach for Minimizing Checking Sequences for Non-deterministic FSMs -- 1 Introduction -- 2 Preliminaries -- 3 Non-initialized Probabilistic FSMs -- 4 Minimizing a Checking Sequence with a Level of P-Exhaustiveness -- 5 Conclusion -- References -- AI and Smart Contracts Testing -- Applying Pairwise Combinatorial Testing to Large Language Model Testing -- 1 Introduction -- 2 Related Work -- 3 Instantiating the Combinatorial Testing Process for Testing of LLMs -- 3.1 A Combinatorial Sentence Model via an IPM -- 3.2 Generation of t-Way Sentence Test Sets -- 3.3 Sentence Test Set Translation and Execution -- 3.4 Test Oracle -- 4 Outline of Experimental Evaluation -- 5 Lessons Learned and Threats to Validity -- 6 Summary and Future Work -- References -- CATANA: Replay Testing for the Ethereum Blockchain -- 1 Introduction -- 2 Background -- 3 Methodology -- 4 Experimental Evaluation -- 5 Related Work -- 6 Conclusions and Future Work -- References -- GResilience: Trading Off Between the Greenness and the Resilience of Collaborative AI Systems*-1pc -- 1 Introduction -- 2 Related Work -- 3 Approach - GResilience -- 4 Conclusion and Future Work -- References -- Testing Quality of Training in QoE-Aware SFC Orchestration Based on DRL Approach*-1pc -- 1 Introduction -- 2 Reinforcement Learning -- 2.1 RL Agent -- 2.2 Training (Learning), Testing and Evaluation in RL -- 2.3 Convergence-Performance Trade-Off in Training RL Algorithms -- 3 DRL Implementation via Double DQN -- 3.1 DQN -- 3.2 Double DQN -- 4 DRL Approach for SFC Orchestration in SDN/NFV Environments -- 4.1 SFC Orchestration -- 4.2 SFC Orchestration Based on DRL Approach -- 4.3 Reward Design -- 5 Simulation Results -- 6 Conclusion -- References -- Author Index. |
| Record Nr. | UNISA-996550556003316 |
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Testing Software and Systems : 35th IFIP WG 6. 1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings / / Silvia Bonfanti, Angelo Gargantini, and Paolo Salvaneschi, editors
| Testing Software and Systems : 35th IFIP WG 6. 1 International Conference, ICTSS 2023, Bergamo, Italy, September 18-20, 2023, Proceedings / / Silvia Bonfanti, Angelo Gargantini, and Paolo Salvaneschi, editors |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] |
| Descrizione fisica | 1 online resource (297 pages) |
| Disciplina | 004.62 |
| Collana | Lecture Notes in Computer Science Series |
| Soggetto topico |
Computer software - Testing
Software engineering |
| ISBN | 3-031-43240-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Intro -- Preface -- Organization -- Failure Analysis in CPS Simulink Models (Keynotes) -- Contents -- Test Case Generation -- A Rapid Review on Fuzz Security Testing for Software Protocol Implementations -- 1 Introduction -- 2 Related Works -- 3 Rapid Review -- 3.1 Research Questions -- 3.2 Data Source and Search Strategy -- 3.3 Analysis Criteria -- 3.4 Limitations of the Study -- 4 Results -- 5 Final Remarks -- References -- Enhancing Synthetic Test Data Generation with Language Models Using a More Expressive Domain-Specific Language -- 1 Introduction -- 2 Case Study -- 2.1 Abstract Data Model -- 2.2 Conceptual Model of Event Generator and Event Specification -- 3 Domain Specific Language Design and Comparison -- 3.1 Domain Specific Formal Language - Steve132 -- 3.2 Domain Specifical Language - Steveflex -- 3.3 Historical Dimension in Expressiveness -- 3.4 Higher Information Capacity -- 4 Evaluation Framework -- 5 Experiment, Result and Comparison -- 5.1 Result and Comparison -- 5.2 Experimental Setup -- 6 Related Work -- 7 Conclusion -- A Steve132 constraints -- B Steveflex constraints -- References -- On the Evaluation of Photometric Stereo Applications Testing Using Image Modifications -- 1 Introduction -- 2 The System Under Test -- 3 Experiments -- 4 Conclusions -- References -- Seeding Contradiction: A Fast Method for Generating Full-Coverage Test Suites -- 1 Overview -- 2 The Method -- 2.1 Falsifying a Code Block -- 2.2 Block Variables -- 3 Correctness -- 3.1 Definitions and Assumptions -- 3.2 Proof of Correctness -- 3.3 Correctness in Practice -- 4 Implementation -- 5 Evaluation and Comparison with Dynamic Techniques -- 5.1 Comparison Criteria and Overview of the Results -- 5.2 Detailed Results -- 6 Limitations and Threats to Validity -- 7 Related Work -- 8 Conclusions and Future Work -- References -- Test Automation and Design.
Automated Testing of Systems of Systems -- 1 Introduction -- 2 Related Work -- 3 The Approach and Implementation -- 4 Motivating Example from the Industry -- 5 Conclusion and Future Work -- References -- Empirical Verification of TQED - A New Test Design Heuristic Technique -- 1 Introduction -- 2 TQED and Effectiveness of Test Design Techniques -- 3 TQED Model -- 4 Experiment -- 5 Conclusions -- References -- How Do Different Types of Testing Goals Affect Test Case Design? -- 1 Introduction -- 2 Background -- 3 Related Work -- 4 Methodology -- 4.1 Population and Sampling -- 4.2 Data Collection -- 4.3 Data Analysis -- 5 Results and Discussion -- 5.1 Goals and Goal Importance -- 5.2 Quantitative Relationship Between Goal Types and Tests -- 5.3 Influence of Goals on Test Design -- 6 Threats to Validity -- 7 Conclusion -- References -- Multi-device, Robust, and Integrated Android GUI Testing: A Conceptual Framework -- 1 Introduction -- 2 Mobile GUI Testing: State of the Art and Practice -- 3 Conceptualization of the GEM Framework -- 3.1 Test Generation and Translation -- 3.2 Test Execution -- 3.3 Test Maintenance and Repair -- 4 Discussion -- 5 Call to Action -- 6 Conclusions -- References -- RQCODE: Security Requirements Formalization with Testing -- 1 Introduction -- 1.1 Importance of Security by Design -- 1.2 Importance of Security Testing -- 2 Related Work -- 3 The ReQuirements as CODE Approach (RQCODE) -- 3.1 RQCODE Definition and Concepts -- 3.2 RQCODE Example -- 3.3 Use Case of Security Technology Implementation Guide -- 4 Discussion -- 4.1 Background Needed -- 4.2 Security Testing -- 5 Conclusion and Future Work -- References -- Understanding Problem Solving in Software Testing: An Exploration of Tester Routines and Behavior -- 1 Introduction -- 2 Background and Related Work -- 3 Method -- 3.1 Survey Development. 3.2 Survey Population and Sampling -- 3.3 Thematic Analysis -- 4 Results and Discussions -- 4.1 Survey Results -- 4.2 The Extended Problem Solving Model -- 5 Discussion -- 5.1 Threats to Validity -- 6 Conclusions -- References -- Who Is Afraid of Test Smells? Assessing Technical Debt from Developer Actions -- 1 Introduction -- 2 Related Work -- 3 Methodology -- 3.1 The Evaluation Context -- 3.2 Mean Time to Removal -- 3.3 Data Collection -- 3.4 Data Analysis -- 4 Results and Discussion -- 4.1 Under-Represented Test Smells -- 4.2 Rapidly Removed Test Smells -- 4.3 Slowly Removed Test Smells -- 4.4 Mid Range Test Smells -- 5 Threats to Validity -- 6 Conclusions and Future Work -- References -- Model Based Testing -- A Systematic Literature Review on Prioritizing Software Test Cases Using Markov Chains -- 1 Extended Abstract -- References -- Complete Property-Oriented Module Testing -- 1 Introduction -- 2 Theoretical Foundations -- 2.1 Black Box Checking -- 2.2 Equivalence Class Construction for SFSM -- 3 Optimisation of the Test Method -- 4 Tool Support: libfsmtest and libsfsmtest -- 5 Experiments -- 6 Conclusion -- References -- Compositionality in Model-Based Testing -- 1 Introduction -- 2 Preliminaries -- 3 Motivating Example: A Parking System -- 4 Mutual Acceptance -- 5 Compositionalility for Uioco -- 6 The Parking System Revisited -- 7 Component Substitution and Diagnosis -- 8 Related Work -- 9 Future Work -- 10 Conclusion -- References -- Prioritizing Test Cases with Markov Chains: A Preliminary Investigation -- 1 Introduction -- 2 Related Work -- 3 Background -- 3.1 Test Case Prioritization -- 3.2 Markov Chains -- 4 Markov Chains Applied in TCP -- 5 Experimental Analysis -- 5.1 Metrics Definition -- 5.2 Description of Case Studies -- 5.3 Results and Analysis -- 6 Discussion and Conclusion -- References. Probabilistic Approach for Minimizing Checking Sequences for Non-deterministic FSMs -- 1 Introduction -- 2 Preliminaries -- 3 Non-initialized Probabilistic FSMs -- 4 Minimizing a Checking Sequence with a Level of P-Exhaustiveness -- 5 Conclusion -- References -- AI and Smart Contracts Testing -- Applying Pairwise Combinatorial Testing to Large Language Model Testing -- 1 Introduction -- 2 Related Work -- 3 Instantiating the Combinatorial Testing Process for Testing of LLMs -- 3.1 A Combinatorial Sentence Model via an IPM -- 3.2 Generation of t-Way Sentence Test Sets -- 3.3 Sentence Test Set Translation and Execution -- 3.4 Test Oracle -- 4 Outline of Experimental Evaluation -- 5 Lessons Learned and Threats to Validity -- 6 Summary and Future Work -- References -- CATANA: Replay Testing for the Ethereum Blockchain -- 1 Introduction -- 2 Background -- 3 Methodology -- 4 Experimental Evaluation -- 5 Related Work -- 6 Conclusions and Future Work -- References -- GResilience: Trading Off Between the Greenness and the Resilience of Collaborative AI Systems*-1pc -- 1 Introduction -- 2 Related Work -- 3 Approach - GResilience -- 4 Conclusion and Future Work -- References -- Testing Quality of Training in QoE-Aware SFC Orchestration Based on DRL Approach*-1pc -- 1 Introduction -- 2 Reinforcement Learning -- 2.1 RL Agent -- 2.2 Training (Learning), Testing and Evaluation in RL -- 2.3 Convergence-Performance Trade-Off in Training RL Algorithms -- 3 DRL Implementation via Double DQN -- 3.1 DQN -- 3.2 Double DQN -- 4 DRL Approach for SFC Orchestration in SDN/NFV Environments -- 4.1 SFC Orchestration -- 4.2 SFC Orchestration Based on DRL Approach -- 4.3 Reward Design -- 5 Simulation Results -- 6 Conclusion -- References -- Author Index. |
| Record Nr. | UNINA-9910746290703321 |
| Cham, Switzerland : , : Springer Nature Switzerland AG, , [2023] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Tests and Proofs [[electronic resource] ] : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings / / edited by Gordon Fraser, Angelo Gargantini
| Tests and Proofs [[electronic resource] ] : 4th International Conference, TAP 2010, Málaga, Spain, July 1-2, 2010, Proceedings / / edited by Gordon Fraser, Angelo Gargantini |
| Edizione | [1st ed. 2010.] |
| Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 |
| Descrizione fisica | 1 online resource (174 p. 60 illus.) |
| Disciplina | 005.14 |
| Collana | Programming and Software Engineering |
| Soggetto topico |
Computer programming
Software engineering Programming languages (Electronic computers) Computer logic Mathematical logic Programming Techniques Software Engineering/Programming and Operating Systems Programming Languages, Compilers, Interpreters Logics and Meanings of Programs Software Engineering Mathematical Logic and Formal Languages |
| ISBN |
1-280-38754-8
9786613565464 3-642-13977-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Invited Talks -- How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback -- Myths in Software Engineering: From the Other Side -- Specifications from Testing -- QuickSpec: Guessing Formal Specifications Using Testing -- Testing Proofs -- Testing First-Order Logic Axioms in Program Verification -- Proving and Visualizing OCL Invariant Independence by Automatically Generated Test Cases -- Proof Process Evaluation with Mutation Analysis -- Test Generation Using Proof Techniques -- Generating Regression Unit Tests Using a Combination of Verification and Capture & Replay -- DyGen: Automatic Generation of High-Coverage Tests via Mining Gigabytes of Dynamic Traces -- Combining Static Analysis and Test Generation for C Program Debugging -- Generating High-Quality Tests for Boolean Circuits by Treating Tests as Proof Encoding -- Theorem Proving and Testing -- Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing for Rewriting-Logic Specifications -- Abstraction -- Syntactic Abstraction of B Models to Generate Tests -- Building a Test-Ready Abstraction of a Behavioral Model Using CLP. |
| Record Nr. | UNISA-996465588703316 |
| Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||