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.
AI-Driven Software Testing : Transforming Software Testing with Artificial Intelligence and Machine Learning / / by Srinivasa Rao Bittla
| AI-Driven Software Testing : Transforming Software Testing with Artificial Intelligence and Machine Learning / / by Srinivasa Rao Bittla |
| Autore | Bittla Srinivasa Rao |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2025 |
| Descrizione fisica | 1 online resource (391 pages) |
| Disciplina | 005.1/4 |
| Collana | Professional and Applied Computing Series |
| Soggetto topico |
Artificial intelligence
Machine learning Computer programs - Testing Software engineering Artificial Intelligence Machine Learning Software Testing Software Engineering |
| ISBN | 979-88-6881-829-5 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part 1 -- Chapter 1: The Role of AI and ML in Modern Software Testing -- Chapter 2: Software Testing from Manual to AI-Driven Automation -- Chapter 3: Quality Engineering in the Age of AI -- Chapter 4: Comparing Traditional and AI-Driven Testing -- Chapter 5: SDLC vs STLC Understanding the Basics -- Chapter 6: The Testing Pyramid in Traditional and AI-Driven Testing -- Part 2 -- Chapter 7: Revolutionizing Test Planning and Execution with AI/ML -- Chapter 8: Intelligent Test Case Development with AI/ML -- Chapter 9: AI/ML-Driven Test Setup and Management -- Chapter 10: AI/ML in Smart Defect Management and Resolution -- Chapter 11: Test Closure with AI/ML Reporting and Continuous Feedback -- Chapter 12: Eliminating Testing Gaps with AI/ML Precision -- Part 3 -- Chapter 13: Scaling Software Testing with AI/ML -- Chapter 14: Enhancing CI/CD Pipelines with AI/ML Driven Testing -- Chapter 15: AI/ML for Real-Time Test Execution Monitoring -- Chapter 16: Predicting Failures with AI/ML Analytics -- Chapter 17: The Future of QE with AI-Driven Testing -- Chapter 18. Next Steps to Implementing AI-Driven QE. |
| Record Nr. | UNINA-9911034954603321 |
Bittla Srinivasa Rao
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Appium Insights : Strategies for Successful Platform Agnostic Test Automation / / by Sai Krishna V
| Appium Insights : Strategies for Successful Platform Agnostic Test Automation / / by Sai Krishna V |
| Autore | Krishna V Sai |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2025 |
| Descrizione fisica | 1 online resource (165 pages) |
| Disciplina | 005.3 |
| Collana | Professional and Applied Computing Series |
| Soggetto topico |
Open source software
Mobile computing Internet programming Computer programs - Testing Open Source Mobile Computing Web Development Software Testing |
| ISBN | 979-88-6881-703-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1 - Introduction to Appium 2.0 -- Chapter 2 - Getting started with Appium -- Chapter 3 - Real Device Configuration -- Chapter 4 - All about Desired Capabilities -- Chapter 5 - How to Inspect Elements -- Chapter 6 - Writing First Test -- Chapter 7 - Understand Appium Logs -- Chapter 8 - All you need to know on Gestures -- Chapter 9 - Build Appium Plugin -- Chapter 10 - Optimizing and Troubleshooting Appium Tests -- Chapter 11 - Contribute to Appium -- Chapter 12- Running Appium Tests in CI. |
| Record Nr. | UNINA-9911034858103321 |
|
Krishna V Sai
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Balancing Software Innovation and Regulatory Compliance : 17th International Conference on Software Quality, SWQD 2025, Munich, Germany, May 20–22, 2025, Proceedings / / edited by Jannik Fischbach, Rudolf Ramler, Dietmar Winkler, Johannes Bergsmann
| Balancing Software Innovation and Regulatory Compliance : 17th International Conference on Software Quality, SWQD 2025, Munich, Germany, May 20–22, 2025, Proceedings / / edited by Jannik Fischbach, Rudolf Ramler, Dietmar Winkler, Johannes Bergsmann |
| Edizione | [1st ed. 2025.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 |
| Descrizione fisica | 1 online resource (XII, 125 p. 31 illus., 28 illus. in color.) |
| Disciplina | 005.1 |
| Collana | Lecture Notes in Business Information Processing |
| Soggetto topico |
Software engineering
Computer programs - Testing Artificial intelligence Blockchains (Databases) Software Engineering Software Testing Artificial Intelligence Blockchain |
| ISBN | 3-031-89277-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Keynote -- Why Digitalization Will Kill Your Company Too -- Model-Based Software Testing -- Model-Based Test Design in SysML for System Requirements Verification and Validation (Full Paper) -- Effective Black Box Testing of Sentiment Analysis Classification Networks (Short Paper) -- Machine Learning and Large Language Models -- Automating Invariant Filtering: Leveraging LLMs to Streamline Test Oracle Generation (Full Paper) -- Advanced Detection of Source Code Clones via an Ensemble of Unsupervised Similarity Measures (Full Paper) -- Security and Compliance -- Trusted Provenance with Blockchain Technology: A Systematic Literature Review (Short Paper) -- Academic-Industry Collaborations -- Experiences Applying Lean R&D in Industry-Academia Collaboration Projects (Full Paper). |
| Record Nr. | UNINA-9910999675203321 |
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2025 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Build Your Own Test Framework : A Practical Guide to Writing Better Automated Tests / / by Daniel Irvine
| Build Your Own Test Framework : A Practical Guide to Writing Better Automated Tests / / by Daniel Irvine |
| Autore | Irvine Daniel |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 |
| Descrizione fisica | 1 online resource (280 pages) |
| Disciplina | 005.14 |
| Soggetto topico |
Computer programs - Testing
Software engineering Programming languages (Electronic computers) Software Testing Software Engineering Programming Language |
| ISBN | 1-4842-9247-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: Creating an NPM Package of My Very Own -- Chapter 2: Building it to Define a Test -- Chapter 3: Grouping Tests with Describe -- Chapter 4: Promoting Conciseness with BeforeEach and AfterEach -- Chapter 5: Improving Legibility with Expect -- Chapter 6: Formatting Expectation Errors -- Chapter 7. Automatically Discovering Test Files -- Chapter 8: Focusing on Tests with It.Only and Describe.Only -- Chapter 9: Supporting Asynchronous Tests -- Chapter 10: Reporting -- Chapter 11: Sharing Behavior with it.BehavesLike -- Chapter 12: Tagging Tests -- Chapter 13 : Skipping Tests -- Chapter 14 : Randomizing Tests -- Chapter 15. Understanding test doubles -- Chapter 16. Module Mocks. |
| Record Nr. | UNINA-9910682594703321 |
|
Irvine Daniel
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Cloud-Native Application Architecture : Microservice Development Best Practice / / by FreeWheel Biz-UI Team
| Cloud-Native Application Architecture : Microservice Development Best Practice / / by FreeWheel Biz-UI Team |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (XXI, 382 p. 1 illus.) |
| Disciplina | 060 |
| Soggetto topico |
Cloud computing
Software engineering - Management Computer programs - Testing Computer programming Open source software Cloud Computing Software Management Software Testing Programming Techniques Open Source |
| ISBN | 981-19-9782-9 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Microservices in the Cloud Native Era -- Chapter 2. Microservice Application Design -- Chapter 3. Service Development and Operation -- Chapter 4. Microservice Traffic Management -- Chapter 5. Distributed Transactions -- Chapter 6. Serverless Architecture -- Chapter 7. Service Observability -- Chapter 8. Quality Assurance Practices -- Chapter 9. Continuous Integration and Continuous Deployment. |
| Record Nr. | UNINA-9910799490103321 |
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
CyberSecurity in a DevOps Environment : From Requirements to Monitoring / / edited by Andrey Sadovykh, Dragos Truscan, Wissam Mallouli, Ana Rosa Cavalli, Cristina Seceleanu, Alessandra Bagnato
| CyberSecurity in a DevOps Environment : From Requirements to Monitoring / / edited by Andrey Sadovykh, Dragos Truscan, Wissam Mallouli, Ana Rosa Cavalli, Cristina Seceleanu, Alessandra Bagnato |
| Autore | Sadovykh Andrey |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (329 pages) |
| Disciplina | 005.10289 |
| Altri autori (Persone) |
TruscanDragos
MallouliWissam CavalliAna Rosa SeceleanuCristina BagnatoAlessandra |
| Soggetto topico |
Software engineering
Data protection Computer programs - Testing Cooperating objects (Computer systems) Software Engineering Data and Information Security Software Testing Cyber-Physical Systems |
| ISBN |
9783031422126
3031422120 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Part I: Security Requirements Engineering -- 1. A Taxonomy of Vulnerabilities, Attacks, and Security Solutions in Industrial PLCs -- 2. Natural Language Processing with Machine Learning for Security Requirements Analysis - Practical Approaches -- 3. Security Requirements Formalisation with RQCODE -- Part II: Prevention at Development Time -- 4. Vulnerability Detection and Response: Current Status and New Approaches -- 5. Metamorphic Testing for Verification and Fault Localization in Industrial Control Systems -- 6. Interactive Application Security Testing with Hybrid Fuzzing and Statistical Estimators -- Part III: Protection at Operations -- 7. CTAM: a tool for Continuous Threat Analysis and Management -- 8. EARLY - a tool for real-time security attack detection -- 9. A Stream-Based Approach to Intrusion Detection -- 10. Towards Anomaly Detection using Explainable AI. . |
| Record Nr. | UNINA-9910770247303321 |
|
Sadovykh Andrey
|
||
| Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Development and Testing of Vehicle Software and its Influence on Sustainable Transport / / edited by Antonio Colmenar-Santos, David Borge-Diez, Pedro-Miguel Ortega-Cabezas
| Development and Testing of Vehicle Software and its Influence on Sustainable Transport / / edited by Antonio Colmenar-Santos, David Borge-Diez, Pedro-Miguel Ortega-Cabezas |
| Autore | Colmenar-Santos Antonio |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (203 pages) |
| Disciplina | 629.2 |
| Altri autori (Persone) |
Borge-DiezDavid
Ortega-CabezasPedro-Miguel |
| Soggetto topico |
Automotive engineering
Computer programs - Testing Transportation engineering Traffic engineering Sustainability Automotive Engineering Software Testing Transportation Technology and Traffic Engineering |
| ISBN |
9783031476303
3031476301 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Macroeconomic impact, reduction of fee deficit and profitability of a sustainable transport model based on electric mobility. Case study: City of León (Spain)2 -- Software validation techniques in the automotive sector -- Driver efficiency and software. Influence on eco-design9 -- Driver efficiency and software. Influence on Vehicle-toBuilding10 -- Contribution of driver efficiency to the European Green Deal12. |
| Record Nr. | UNINA-9910800112603321 |
|
Colmenar-Santos Antonio
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Docs-as-Ecosystem : The Community Approach to Engineering Documentation / / by Alejandra Quetzalli
| Docs-as-Ecosystem : The Community Approach to Engineering Documentation / / by Alejandra Quetzalli |
| Autore | Quetzalli Alejandra |
| Edizione | [1st ed. 2023.] |
| Pubbl/distr/stampa | Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 |
| Descrizione fisica | 1 online resource (XXVI, 242 p. 138 illus., 136 illus. in color.) |
| Disciplina | 929.605 |
| Soggetto topico |
Internet programming
Computer programming Computer programs - Testing Software engineering - Management Open source software Web Development Programming Techniques Software Testing Software Management Open Source |
| ISBN |
9781484293287
1484293282 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1: Accessibility -- Chapter 2: Information Architecture -- Chapter 3: SEO -- Chapter 4: UI Design -- Chapter 5: Documenting APIs -- Chapter 6: Documenting SDKs -- Chapter 7: Integrating your Docs into CI/CD pipelines -- Chapter 8: Make your style guide public -- Chapter 9: Open Source contributions -- Chapter 10: Retrieve customer feedback and analytics -- Chapter 11: Prioritize documentation requests -- Chapter 12: Open community communication channels -- Chapter 13 - ChatGPT and AI -- Appendix A: Engineering Documentation Templates. |
| Record Nr. | UNINA-9910741136903321 |
|
Quetzalli Alejandra
|
||
| Berkeley, CA : , : Apress : , : Imprint : Apress, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Essential Spectrum-based Fault Localization / / by Xiaoyuan Xie, Baowen Xu
| Essential Spectrum-based Fault Localization / / by Xiaoyuan Xie, Baowen Xu |
| Autore | Xie Xiaoyuan |
| Edizione | [1st ed. 2021.] |
| Pubbl/distr/stampa | Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2021 |
| Descrizione fisica | 1 online resource (XII, 172 p. 17 illus.) |
| Disciplina | 005.14 |
| Soggetto topico |
Computer programs - Testing
Software engineering - Management Computer programming Software Testing Software Management Programming Techniques |
| ISBN | 981-336-179-4 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Chapter 1. Introduction -- Chapter 2. A Theoretical Framework for Spectrum-based Fault Localization -- Chapter 3. Theoretical Comparison Among Risk Evaluation Formulas -- Chapter 4. On the Maximality of Spectrum-based Fault Localization -- Chapter 5. A Generalized Theoretical Framework for Hybrid Spectrum-based Fault Localization -- Chapter 6. Practicality of the Theoretical Frameworks -- Chapter 7. Tackling the Oracle Problem in Spectrum-based Fault Localization -- Chapter 8. Spectrum-based Fault Localization for Multiple Faults -- Chapter 9. Conclusion. |
| Record Nr. | UNINA-9910482958703321 |
|
Xie Xiaoyuan
|
||
| Singapore : , : Springer Nature Singapore : , : Imprint : Springer, , 2021 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The French School of Programming / / edited by Bertrand Meyer
| The French School of Programming / / edited by Bertrand Meyer |
| Autore | Meyer Bertrand |
| Edizione | [1st ed. 2024.] |
| Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 |
| Descrizione fisica | 1 online resource (451 pages) |
| Disciplina | 005.1 |
| Altri autori (Persone) | Meyer |
| Soggetto topico |
Software engineering
Computer science Programming languages (Electronic computers) Computer programming Machine theory Computer programs - Testing Software Engineering Theory of Computation Programming Language Programming Techniques Formal Languages and Automata Theory Software Testing |
| ISBN | 9783031345180 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | The French School of Programming: A Personal View -- Part I: Software Engineering -- “Testing can be formal too”: 30 years later -- A Short Visit to Distributed Computing Where Simplicity is Considered a First Class Property -- Modeling: From CASE Tools to SLE and Machine Learning -- At the Confluence of Software Engineering and Human-Computer Interaction: a Personal Account -- Part II: Programming language mechanisms and type systems -- From Procedures, Objects, Actors, Components, Services, to Agents -- Semantics and syntax, between computer science and mathematics -- Some remarks about Dependent Type Theory -- Part III: Theory -- A Personal Historical Perspective on Abstract Interpretation -- Tracking Redexes in the Lambda Calculus -- Confluence of terminating rewriting computations -- Part IV: Language design and programming methodology -- Programming with union, intersection, and negation types -- Right and wrong: ten choices in language design. |
| Record Nr. | UNINA-9910855370303321 |
|
Meyer Bertrand
|
||
| Cham : , : Springer International Publishing : , : Imprint : Springer, , 2024 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
