Software Verification: 12th International Conference, VSTTE 2020, and 13th International Workshop, NSV 2020, Los Angeles, CA, USA, July 20–21, 2020, Revised Selected Papers

No abstract is available for this paper.

• Publication year

  2020

• Venue

  Lecture Notes in Computer Science

• Publication date

  Unknown publication date

• Fields of study

  Not labeled

• Identifiers
  DOI 10.1007/978-3-030-63618-0
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• An event‐flow model of GUI‐based applications for testing

  2007cited by this paper
• Counterexample-Guided Abstraction Refinement

  2000cited by this paper
• Principles of Program Analysis

  1999cited by this paper
• Construction of Abstract State Graphs with PVS

  1997cited by this paper
• Systematic design of program analysis frameworks

  1979cited by this paper

• Efficient Parallel Algorithm for Decomposing Hard CircuitSAT Instances

  2026cites this paper
• Towards Interaction-Aware Validation Oracles for Multi-Fault Program Repair

  2025cites this paper
• Improving Well-Being and Fostering Health-Oriented Leadership among Leaders in Small and Medium-Sized Enterprises (SMEs): A Systematic Review

  2024cites this paper
• Adoption and use of MOOCs by undergraduates in selected universities in Ibadan, Nigeria

  2024cites this paper
• Particles in Exhaled Air (PExA): Clinical Uses and Future Implications

  2024cites this paper
• High-Resolution Yield Mapping for Eucalyptus grandis—A Case Study

  2024cites this paper
• Navigating the Unknown: A Comprehensive Review of Spaceflight-Associated Neuro-Ocular Syndrome

  2024cites this paper
• Part 1: Some Thoughts About the Philosophy of Knowledge

  2024cites this paper
• Advancements in Wearable Digital Health Technology: A Review of Epilepsy Management

  2024cites this paper
• A review of the WHO strategy on traditional, complementary, and integrative medicine from the perspective of academic consortia for integrative medicine and health

  2024cites this paper
• $\Pi^0_4$ conservation of Ramsey's theorem for pairs

  2024influential citation
• Word Sense Linking: Disambiguating Outside the Sandbox

  2024cites this paper
• Self-Supervised Alignment with Mutual Information: Learning to Follow Principles without Preference Labels

  2024cites this paper
• The role of the exposure of education technology on learners' internet self-efficacy

  2024cites this paper
• FACTORS THAT CONTRIBUTE TO REPORT WRITING PROFICIENCY IN AMERICAN LAW ENFORCEMENT: A THEMATIC LITERATURE REVIEW

  2024cites this paper
• High-Resolution Imaging of Cones and Retinal Arteries in Patients with Diabetes Mellitus Type 1 Using Adaptive Optics (rtx1)

  2024cites this paper
• Effects of Exercises Therapy on Chronic Non-Specific Neck Pain: A Systematic Review

  2024cites this paper
• Explainable data-driven modeling via mixture of experts: towards effective blending of grey and black-box models

  2024cites this paper
• Circulating Biomarkers of Endothelial Dysfunction Associated With Ventilatory Ratio and Mortality in ARDS Resulting From SARS-CoV-2 Infection Treated With Antiinflammatory Therapies

  2024cites this paper
• Historical Contextualisation of the Word Loyalty in the Discourse of the European Parliament

  2024cites this paper
• Functional performance assessment scale for children and adolescents with cancer: cross-cultural study

  2024cites this paper
• AI-Assisted Diagnosing, Monitoring and Treatment of Mental Disorders: A Survey

  2024cites this paper
• Fit-for-Future: Lessons Learned from the COVID-19 Pandemic in Primary Extracorporeal Membrane Oxygenation (ECMO) Transports of Acute Respiratory Distress Syndrome (ARDS) Patients

  2024cites this paper
• Clinical and microbiological profiling of infections in open tibia fractures at Muhimbili Orthopaedic Institute

  2024cites this paper
• Role of Probiotic Strains in Ensuring Food Safety

  2024influential citation
• Impact of sarcopenia and vitamin D levels on the severity of lower urinary tract symptoms in older males

  2024cites this paper
• Median and small parsimony problems on RNA trees

  2024cites this paper
• A Central Local Metric Dimension of Generalized Fan Graph, Generalized Broken Fan Graph, and Cm ⊙ K¯m

  2024cites this paper
• Analysis of Patients with Severe ARDS on VV ECMO Treated with Inhaled NO: A Retrospective Observational Study

  2024cites this paper
• A Comprehensive Study on Misconfiguration-SAAS Security Threat

  2024cites this paper
• Extended Resolution Clause Learning via Dual Implication Points

  2024cites this paper
• Drawing Parallels Between Language Change Processes: Grammaticalization, Constructionalization and Phraseologization

  2024cites this paper
• Investigating the Effects of Diet-Induced Prediabetes on Skeletal Muscle Strength in Male Sprague Dawley Rats

  2024cites this paper
• Adaptive Massively Parallel Coloring in Sparse Graphs

  2024cites this paper
• Mediating the Sacred: Configuring a Design Space for Religious and Spiritual Tangible Interactive Artifacts

  2024cites this paper
• The Dual Role of Chemerin in Lung Diseases

  2024cites this paper
• Lineare Algebra I

  2024cites this paper
• Checking Temporal Constraints of Events in EBS at Runtime

  2024cites this paper
• THE ANALYSIS OF UTENA DISTRICT RESIDENTS’ OPINION OF UTENA LOCAL LORE MUSEUM ACTIVITY

  2024cites this paper
• Forensic Examination of Ceph

  2023cites this paper
• Association of Socioeconomic Status, Sex, Racial, and Ethnic Identity With Sustained and Cultivated Careers in Surgery

  2023cites this paper
• Systems approach to modeling controversy in Human factors and ergonomics (HFE)

  2023cites this paper
• The magnitude of undiagnosed diabetes mellitus, prediabetes, and associated factors among adults living in Debre Tabor town, northcentral Ethiopia: A community-based cross-sectional study

  2023cites this paper
• Heuristic data-inspired scheme to characterize meteorological and groundwater droughts in a semi-arid karstic region under a warming climate

  2023cites this paper
• A Critical Appraisal of Compliance with the Compulsory Treatment and Care for Victims of Gunshot Act 2017

  2023cites this paper
• The Spanish experience of future classrooms as a possibility of smart learning environments

  2023cites this paper
• SINGULAR QUASILINEAR PROBLEMS WITH QUADRATIC GROWTH IN THE GRADIENT

  2023cites this paper
• WEAK KANTOROVICH DIFFERENCE AND ASSOCIATED RICCI CURVATURE OF HYPERGRAPHS

  2023cites this paper
• COMPUTERIZED SYSTEMATIZATION OF COSTS OF CHEMICAL COMPANIES OF ECUADOR APPLYING PRINCIPLES OF SUSTAINABLE DEVELOPMENT

  2023cites this paper
• Is Education Ready To Embrace Metaverse?

  2023cites this paper
• When Independence Meets Reality: Symbolic and Pragmatic Politics in Taiwan

  2023cites this paper
• Immunoreactivity and intoxication syndrome in patients with chronic viral hepatitis c

  2023cites this paper
• Concentrated Growth Factor as an alternative membrane material in periodontal regeneration: A case report

  2023cites this paper
• TECHNOLOGY ADOPTION, SELF-EFFICACY AND ENTREPRENEURIAL BUSINESS SUCCESS

  2023cites this paper
• JARIMU Application as a Self-Development Medium for Children with Intellectual Disabilities

  2023cites this paper
• Service-based Presentation of Multimodal Information for the Justification of Recommender Systems Results

  2023cites this paper
• Cumulative live birth rates and birth outcomes after IVF/ICSI treatment cycles in young POSEIDON patients: A real-world study

  2023cites this paper
• Association between Circulating Ectodysplasin A and Diabetic Kidney Disease

  2023cites this paper
• Evaluation of the timing of using direct oral anticoagulants after ischemic stroke for patients with atrial fibrillation

  2023cites this paper
• Oxidative stress, inflammation, dysfunctional redox homeostasis and autophagy cause age-associated diseases

  2023cites this paper
• Extra-hepatic cancers in metabolic fatty liver syndromes

  2023cites this paper
• Risk of Bronchial Complications After Lung Transplantation With Respiratory Corynebacteria. Results From a Monocenter Retrospective Cohort Study

  2023cites this paper
• Invisible borders in educational technology research? A comparative analysis

  2023cites this paper
• The Search for Definitions in Early Nyāya-Vaiśeṣika

  2023cites this paper
• Adverse events in cognitive behavioral therapy and relaxation training for children and adolescents with obsessive-compulsive disorder: A mixed methods study and analysis plan for the TECTO trial

  2023cites this paper
• Association between Covid-19 vaccination and incidence of type 1 diabetes in China: Evidence from 14.14 million registered residents between 2007 and 2021

  2023cites this paper
• On the solution set of semi-infinite tensor complementarity problem

  2023cites this paper
• Sexual Health Among Individuals with Spinal Cord Injury: A Meta-Synthesis of Qualitative Evidence

  2023cites this paper
• Precision Livestock Farming: What Does It Contain and What Are the Perspectives?

  2023cites this paper
• Assessment of The Influence of Management Committee on Community-Led Monitoring of Borehole Water Project in Bura Sub-County, Tana River County in Kenya

  2023cites this paper
• Using Linearizing Sets to Solve Multivariate Quadratic Equations in Algebraic Cryptanalysis

  2023cites this paper
• Agreement between reported questionnaire data and medical records on diagnosis and COVID-19 symptoms at onset

  2023cites this paper
• Religião como objeto científico a partir de uma abordagem definicional

  2023influential citation
• DYNAMICS OF KINESIOPHOBIA AND PHYSICAL FUNCTIONING PARAMETERS IN THE ELDERLY ADULTS WITH SARCOPENIC OBESITY UNDER THE INFLUENCE OF THE PHYSICAL THERAPY PROGRAM

  2023cites this paper
• What Is Art? The Role of Intention, Beauty, and Institutional Recognition

  2023cites this paper
• New formulas and trees of Pythagorean triples

  2023cites this paper
• Performance of a prediabetes risk prediction model: A systematic review

  2023cites this paper
• Valuing women’s empowerment: tracking funding in Southeast Asia

  2023cites this paper
• Conflict personalization: a systematic literature review and the development of an integrative definition

  2023cites this paper
• Islet function changes of post-glucose-challenge relate closely to 15 years mortality of elderly men with a history of hyperglycemia

  2023influential citation
• 𝑸 𝑷− Continuous Multifunctions and 𝑸  − Closed Multifunctions

  2023cites this paper
• Black Applicants' Self-reported Reasons for Applying to a Doctor of Physical Therapy Program

  2023cites this paper
• Impacts of Plastic Surgery on Adolescents

  2023cites this paper
• Reverse shoulder arthroplasty for proximal humerus fractures: a comparison of the deltoid split and deltopectoral approaches

  2023cites this paper
• Digitalization, Sustainability and Development in Business. Business Intelligence - The Innovative Solutions for Business Sustainability, Equality, and Green Initiatives of Long-Term Organisational Performance

  2023cites this paper
• Technological pedagogical content ethical knowledge (TPCEK): The development of an assessment instrument for pre-service teachers

  2023cites this paper
• Via Digitalis: From the Postdigital to the Hyperdigital

  2023influential citation
• Do We Need a Definition of Morality? A Comment on the Distinctions between Definition and Theory and the Problem of Porn

  2023cites this paper
• Patients’ sexual harassment of nurses and nursing students: A cross-sectional study

  2023cites this paper
• Sex differences in the prevalence and clinical correlates of diabetes in Chinese patients with chronic schizophrenia

  2023cites this paper
• Differences in sustainability approaches from the mission statements of museums – the case of CEE and other European contemporary art museums

  2023cites this paper
• Health equity: A concept analysis.

  2023cites this paper
• Association between serum phosphate and in-hospital mortality of patients with AECOPD: A retrospective analysis on eICU database

  2023cites this paper
• The Use of Digital Media and Security Precautions in Adulthood

  2023cites this paper
• Challenges in Metaverse Research: An Internet of Things Perspective

  2023cites this paper
• Russell’s Representationalism about Consciousness: Reconsidering His Relationship to James

  2023cites this paper
• Diet-induced Weight Loss and Phenotypic Flexibility Among Healthy Overweight Adults: A Randomized Trial

  2023cites this paper
• Analysis of Risk Factors and Intervention Strategies for Acute Kidney Injury After Cardiac Valve Replacement

  2023cites this paper
• Weight generalization of the space of continuous functions vanishing at infinity

  2023cites this paper
• Web-based autism screening using facial images and convolutional neural network

  2023cites this paper