Zoekresultaten - "software testing"

The Future of Software Quality Assurance

OAPEN Library: download the publication
OAPEN Library: description of the publication

Retraction of published article due to the author's proposal, Vol. 10, pp. 96-106 door Serhiy O. Semerikov

Connect to this object online.

Ernst Denert Award for Software Engineering 2020 Practice Meets Foundations /

Inhoudsopgave: “…-- Open Source Software Governance: Distilling and Applying Industry Best Practices -- Dynamically Scalable Fog Architectures -- Crossing Disciplinary Borders to Improve Requirements Communication -- DevOps Use: A Community-Oriented Methodology for Societal Software Engineering -- Hybrid Differential Software Testing -- Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules -- Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems -- Improving the Model-Based Systems Engineering Process -- Understanding How Pair Programming Actually Works in Industry: Mechanisms, Patterns, and Dynamics.…”
Link to Metadata

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

DOAB: download the publication
DOAB: description of the publication

Mathematics in Software Reliability and Quality Assurance

DOAB: download the publication
DOAB: description of the publication

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

OAPEN Library: download the publication
OAPEN Library: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings,...

Inhoudsopgave: “…TOOLympics 2019: An Overview of Competitions in Formal Methods -- Confluence Competion 2019 -- International Competition on Runtime Verification (CRV) -- The Model Checking Contest (2019) -- The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models -- The Rewrite Engines Competitions: A RECtrospective -- RERS 2019: Combining Synthesis with Real-World Models -- SL-COMP: Competition of Solvers for Separation Logic -- Automatic Verification of C and Java Programs: SV-COMP 2019 -- The Termination and Complexity Competition -- Competition on Software Testing (Test-Comp) -- VerifyThis - Verification Competition with a Human Factor -- SV-COMP 2019 -- CBMC Path: A Symbolic Execution Retrofit of the C Bounded Model Checker (Competition Contribution) -- Extending DIVINE with Symbolic Verification using SMT (Competition Contribution) -- ESBMC v6.0: Verifying C Programs using k-Induction and Invariant Inference (Competition Contribution) -- JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) -- JayHorn: A Java Model Checker (Competition Contribution) -- Java Pathfinder at SV-COMP 2019 -- Pinaka: Symbolic Execution meets Incremental Solving (Competition Contribution) -- PeSCo: Predicting Sequential Combinations of Verifiers (Competition Contribution) -- Symbolic Pathfinder for SV-COMP -- VeriFuzz: Program Aware Fuzzing -- VIAP 1.1 (Competition Contribution).…”
Link to Metadata

Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Inhoudsopgave: “…FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs.…”
Link to Metadata

Fundamental Approaches to Software Engineering 24th International Conference, FASE 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Inhoudsopgave: “…FASE Contributions -- On Benchmarking for Concurrent Runtime Verification -- Certified Abstract Cost Analysis -- Bootstrapping Automated Testing for RESTful Web Services -- A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features -- Finding a Universal Execution Strategy for Model Transformation Networks -- CoVEGI: Cooperative Veri cation via Externally Generated Invariants -- Engineering Secure Self-Adaptive Systems with Bayesian Games -- An Abstract Contract Theory for Programs with Procedures -- Paracosm: A Test Framework for Autonomous Driving Simulations -- Compositional Analysis of Probabilistic Timed Graph Transformation Systems -- Efficient Bounded Model Checking of Heap-Manipulating Programs using Tight Field Bounds -- Effects of Program Representation on Pointer Analyses - An Empirical Study -- Keeping Pace with the History of Evolving Runtime Models -- SpecTest: Specification-Based Compiler Testing -- PASTA: An Efficient Proactive Adaptation Approach Based on Statistical Model Checking for Self-Adaptive Systems -- Understanding Local Robustness of Deep Neural Networks under Natural Variations -- Test-Comp Contributions -- Status Report on Software Testing: Test-Comp 2021 -- CoVeriTest with Adaptive Time Scheduling (Competition Contribution) -- FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) -- Symbiotic 8: Parallel and Targeted Test Generation (Competition Contribution).…”
Link to Metadata

Fundamental Approaches to Software Engineering 26th International Conference, FASE 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Inhoudsopgave: “…A Study on Model's Similarities for Defect and Code Smells -- Competition Contributions -- Software Testing: 5th Comparative Evaluation: Test-Comp 2023 -- FuSeBMC IA: Interval Analysis and Methods for Test-Case Generation.…”
Link to Metadata

Fundamental Approaches to Software Engineering 25th International Conference, FASE 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Inhoudsopgave: “…FASE Contributions -- Information-flow Interfaces -- A Survey-Based Feature Model for Software Traceability -- Construction of Veri er Combinations Based on Off-the-Shelf Verifiers -- On the Detection of Doped Software by Falsification -- Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing -- Quantitative Program Sketching using Lifted Static Analysis -- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning -- Finding Semantic Bugs Fast -- SMC4PEP: Stochastic Model Checking of Product Engineering Processes -- Symbolic Predictive Cache Analysis for Out-of-Order Execution -- PEQtest: Testing Functional Equivalence -- An Institutional Approach to Communicating UML State Machines -- Semantic Code Search in Software Repositories using Neural Machine Translation -- AequeVox: Automated Fairness Testing of Speech Recognition Systems -- SMT-Based Planning Synthesis for Distributed System Reconfigurations -- Semantic Clone Detection via Probabilistic Software Modeling -- QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants -- Test-Comp Contributions -- Advances in Automatic Software Testing: Test-Comp 2022 -- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution) -- VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).…”
Link to Metadata

Ernst Denert Award for Software Engineering 2020 Practice Meets Foundations

DOAB: download the publication
DOAB: description of the publication

Ernst Denert Award for Software Engineering 2020 Practice Meets Foundations

OAPEN Library: download the publication
OAPEN Library: description of the publication

Using Active Methodologies for Teaching and Learning of Exploratory Test Design and Execution door Igor Ernesto Ferreira Costa, Sandro Ronaldo Bezerra Oliveira, Isaac Souza Elgrably, Anderson dos Santos Guerra, Elziane Monteiro Soares, Iuri Victor Ferreira Costa

Connect to this object online.

DAMPAK ONLINE CUSTOMER REVIEW DAN ONLINE CUSTOMER RATING TERHADAP PROSES KEPUTUSAN PEMBELIAN (Survei Pada Produk Smartphone di Layanan Belanja E-commerce Blibli.com) door Silvia Dewi Kurnia, -

Link Metadata

RANCANG BANGUN MULTIMEDIA MENGGUNAKAN MODEL PEMBELAJARAN DIRECT INSTRUCTION PADA MATA PELAJARAN SISTEM KOMPUTER door Soffie Anastya Putri, -

Link Metadata

Agile Processes in Software Engineering and Extreme Programming - Workshops XP 2020 Workshops, Copenhagen, Denmark, June 8-12, 2020, Revised Selected Papers /

Inhoudsopgave: “…Tactics in Support of FaaS Migrations -- Predictable performance for QoS-sensitive, scalable, multi-tenant Function-as-a-Service deployments -- On the use of Web Assembly in a Serverless Context -- Second International Workshop on Agile Transformations -- Agile Transformation (ATRANS) Workshop: A Summary and Research Agenda -- Agile Transformation: How Employees Experience and Cope with Transformative Change -- Strategy-focused agile transformation: acase study -- Shifting conceptualization of control in Agile Transformations -- It's not Easy Being Agile: Unpacking Paradoxes in Agile Environments -- First International Workshop on Agility with Microservices Programming -- Summary of the First International Workshop on Agility with Microservices Programming -- Improving agility by managing shared libraries in microservices -- Certification as a service -- Third International Workshop on Autonomous Agile Teams -- A decade of research on autonomous agile teams: A summary of the third international workshop at XP2020 -- Dependencies of Agile Teams - An Analysis of the Scaled Agile Framework -- Understanding Work Practices of Autonomous Agile Teams: A Social-Psychological Review -- Spotify Tailoring for Architectural Governance -- Enabling Team Autonomy in a Large Organization -- Defining TestOps: Collaborative Behaviors and Technology-driven Workflows Seen as Enablers of Effective Software Testing in DevOps -- Doctoral Symposium -- Investigating Agile Adoption in Saudi Arabian Mobile Application Development -- Crowd Agile Model for Effective Software Development -- Continuous Information Monitoring in Software Startups -- Agile Education and Training Track -- Is it Possible to Apply Agile Methods to Contribute to the Linux Kernel -- Forming and Assessing Student Teams in Software Engineering Courses -- Panel -- Covid-19's Influence on the Future of Agile.…”
Link to Metadata

Urutan pemerolehan Al-ḍamīr dalam ayat nominatif bahasa Arab dalam kalangan pelajar institusi pengajian tinggi / Ummi Syarah Ismail, Nazri Atoh and Abdul Basir Awang door Ismail, Ummi Syarah, Atoh, Nazri, Awang, Abdul Basir

Link Metadata

Investigating the relationship between customer experience management and economics with relationship marketing in sports clubs door Mohammad Saeid Kiani

Connect to this object online.

Por uma prática farmacêutica sem papel: desenvolvimento e implantação do sistema feedpharma door MARCUS VINÍCIUS DIAS-SOUZA, PEDRO HENRIQUE GONÇALVES BARROS

Connect to this object online.