Search Results - "This Is Not a Test!"

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...

Table of Contents: “…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

Programming Languages and Systems 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021,...

Table of Contents: “…The Decidability of Verification under PS 2.0 -- Data Flow Analysis of Asynchronous Systems using Infinite Abstract Domains -- Types for Complexity of Parallel Computation in Pi-Calculus -- Checking Robustness Between Weak Transactional Consistency Models -- Verified Software Units -- An Automated Deductive Verication Framework for Circuit-building Quantum Programs -- Nested Session Types -- Coupled Relational Symbolic Execution for Differential Privacy -- Graded Hoare Logic and its Categorical Semantics -- Do Judge a Test by its Cover: Combining Combinatorial and Property-Based Testing -- For a Few Dollars More - Verified Fine-Grained Algorithm Analysis Down to LLVM -- Run-time Complexity Bounds Using Squeezers -- Complete trace models of state and control -- Session Coalgebras: A Coalgebraic View on Session Types and Communication Protocols -- Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages -- Densities of Almost Surely Terminating Probabilistic Programs areDifferentiable Almost Everywhere -- Graded Modal Dependent Type Theory -- Automated Termination Analysis of Polynomial Probabilistic Programs -- Bayesian strategies: probabilistic programs as generalised graphical models -- Temporal Refinements for Guarded Recursive Types -- Query Lifting: Language-integrated query for heterogeneous nested collections -- Reverse AD at Higher Types: Pure, Principled and Denotationally Correct -- Sound and Complete Concolic Testing for Higher-order Functions -- Strong-Separation Logic. .…”
Link to Metadata

Accuracy of urine circulating cathodic antigen (CCA) test for Schistosoma mansoni diagnosis in different settings of Côte d'Ivoire. by Jean T Coulibaly, Stefanie Knopp, Nicaise A N'Guessan, Kigbafori D Silué, Thomas Fürst, Laurent K Lohourignon, Jean K Brou, Yve K N'Gbesso, Penelope Vounatsou, Eliézer K N'Goran, Jürg Utzinger

Connect to this object online.

Research Paper: Comparison the Quality of Life Among Adults With and Without Stuttering: An Emphasis on the Severity of Stuttering by Seyed Sadegh Rahimi, Morteza Farazi, Akbar Darouie, Enayatollah Bakhshi, Salman Abdi, Vahid Valinejad, Mohyeddin Teimori

Connect to this object online.

Knowledge barriers in a national symptomatic-COVID-19 testing programme. by Mark S Graham, Anna May, Thomas Varsavsky, Carole H Sudre, Benjamin Murray, Kerstin Kläser, Michela Antonelli, Liane S Canas, Erika Molteni, Marc Modat, M Jorge Cardoso, David A Drew, Long H Nguyen, Benjamin Rader, Christina Hu, Joan Capdevila, Alexander Hammers, Andrew T Chan, Jonathan Wolf, John S Brownstein, Tim D Spector, Sebastien Ourselin, Claire J Steves, Christina M Astley

Connect to this object online.

PENGEMBANGAN TES PENGETAHUAN PRAKTIKUM BIOLOGI BERDASARKAN GRADED RESPONSE DAN GENERALIZED PARTIAL CREDIT by Saiful Ridlo

Connect to this object online.

Understanding how, why, for whom, and under what circumstances opt-out blood-borne virus testing programmes work to increase test engagement and uptake within prison: a rapid-reali... by Seth Francis-Graham, Nnenna Adaniya Ekeke, Corey Andrew Nelson, Tin Yan Lee, Sulaima El Haj, Tim Rhodes, Cecilia Vindrola, Tim Colbourn, William Rosenberg

Connect to this object online.

The study of the stability of pessaries, designed to prepare the birth canal before childbirth by G. M. Melnik, T. G. Yarnykh, I. V. Herasymova, O. A. Rukhmakova

Connect to this object online.

Characteristics and lipid lowering treatment patterns in patients tested for lipoprotein(a): A real-world US study by Xingdi Hu, Joaquim Cristino, Raju Gautam, Rina Mehta, Diana Amari, Ji Haeng Heo, Siwei Wang, Nathan D. Wong

Connect to this object online.

Effect of Pre-Meal Metformin With or Without an Acute Exercise Bout on Postprandial Lipemic and Glycemic Responses in Metabolic Syndrome Patients: A Randomized, Open Label, Crossov... by Jabeur Methnani PhD, Marwa Hajbelgacem PharmD, Taieb Ach MD, Faten Chaieb MD, Sana Sellami MD, Ali Bouslama PhD, PharmD, Monia Zaouali MD, PhD, Asma Omezzine PhD, PharmD, Ezdine Bouhlel PhD

Connect to this object online.

Knowledge barriers in a national symptomatic-COVID-19 testing programme by Mark S. Graham, Anna May, Thomas Varsavsky, Carole H. Sudre, Benjamin Murray, Kerstin Kläser, Michela Antonelli, Liane S. Canas, Erika Molteni, Marc Modat, M. Jorge Cardoso, David A. Drew, Long H. Nguyen, Benjamin Rader, Christina Hu, Joan Capdevila, Alexander Hammers, Andrew T. Chan, Jonathan Wolf, John S. Brownstein, Tim D. Spector, Sebastien Ourselin, Claire J. Steves, Christina M. Astley

Connect to this object online.

Update of a comparative analysis of cost minimization following the introduction of newly available intravenous iron therapies in hospital practice by Bhandari S

Connect to this object online.

FLAP: a framework for linking free-text addresses to the Ordnance Survey Unique Property Reference Number database by Huayu Zhang, Arlene Casey, Imane Guellil, Víctor Suárez-Paniagua, Clare MacRae, Charis Marwick, Honghan Wu, Honghan Wu, Bruce Guthrie, Beatrice Alex, Beatrice Alex, Beatrice Alex

Connect to this object online.

Optimization of adaptive test design methods for the determination of steady-state data-driven models in terms of combustion engine calibration by Sandmeier, Nino

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

Analisis Pengaruh Inflasi, Suku Bunga BI Rate Dan Nilai Tukar Rupiah Terhadap Harga Saham(Studi Empiris Pada Perusahaan Sektor Pertambangan Di BEI 2011-2013) by Kusuma, Franky Pranata Putra, , Dra. Wuryaningsih Dwi Lestari, M.M

Connect to this object online

Eksperimen Pembelajaran Matematika Dengan Pendekatan Realistic Mathematic Education Dan Problem Based Learning Terhadap Hasil Belajar Siswa DitinjauDari Motivasi Belajar Pada Kelas... by Fitriana, Dyah Ayu, , Drs.Slamet HW, M. M., M. Pd

Connect to this object online

PENGEMBANGAN COMPUTERIZED ADAPTIVE TESTING DENGAN ITEM RESPONSE THEORY MODEL LOGISTIK 4 PARAMETER by Nurjanah, Nurul Siti

Link Metadata

ANALISIS IMPLEMENTASI STRATEGI PERKULIAHAN KOLABORATIF BERBASIS MASALAH DALAM MENGEMBANGKAN KEMAMPUAN PEMECAHAN MASALAH MATEMATIS,KEMAMPUAN KOMUNIKASI MATEMATIS, ANALISIS IMPLEME... by Widjajanti, Djamilah Bondan

Link Metadata

Strength Testing in the Air Force Current Processes and Suggestions for Improvements by Sims, Carra S.

DOAB: download the publication
DOAB: description of the publication

Registrierende Härtemessung an neutronenbestrahlten Materialien bei hohen Temperaturen by Valentin Brabänder, Alexander

DOAB: download the publication
DOAB: description of the publication