Results 51 to 60 of about 26,063,160 (372)

Automated Generation of Test Cases for Smart Contract Security Analyzers

IEEE Access, 2020
We address the absence of reliable tests on contract analyzers of smart contracts and present a systematic method to diversify test cases by combining smart-contract-specific bugs and static analysis barriers in this paper.
Ki Byung Kim, Jonghyup Lee
doaj   +1 more source

Psychosocial Outcomes in Patients With Endocrine Tumor Syndromes: A Systematic Review

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Introduction The combination of disease manifestations, the familial burden, and varying penetrance of endocrine tumor syndromes (ETSs) is unique. This review aimed to portray and summarize available data on psychosocial outcomes in patients with ETSs and explore gaps and opportunities for future research and care.
Daniël Zwerus, Floortje Strobbe, Annemarie A. Verrijn Stuart, Hanneke M. van Santen, Gerlof D. Valk, Sasja A. Schepers, Rachel S. van Leeuwaarde   +6 more
wiley   +1 more source

An Empirical Case Study on the Temporary File Smell in Dockerfiles

IEEE Access, 2019
Docker is widely used in data centers to host services. The docker image adopts a hierarchical storage architecture, which means that the docker image is composed of a set of filesystem layers.
Zhigang Lu, Jiwei Xu, Yuewen Wu, Tao Wang, Tao Huang   +4 more
doaj   +1 more source

Survival for Children Diagnosed With Wilms Tumour (2012–2022) Registered in the UK and Ireland Improving Population Outcomes for Renal Tumours of Childhood (IMPORT) Study

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background The Improving Population Outcomes for Renal Tumours of childhood (IMPORT) is a prospective clinical observational study capturing detailed demographic and outcome data on children and young people diagnosed with renal tumours in the United Kingdom and the Republic of Ireland.
Naomi Ssenyonga, Angela Lopez‐Cortes, Reem Al‐Saadi, Suzanne Tugnait, Kristina Dzhuma, Catriona Duncan, Gordan Vujanic, Tanzina Chowdhury, Claudia Allemani, Michel P. Coleman, Kathy Pritchard‐Jones, the Children's Cancer and Leukaemia Group (CCLG) Renal Tumour Special Interest Group, Hugh Bishop, Anthony McCarthy, Pamela Kearns, Helen Rees, Amos Burke, Meriel Jenney, Jane Pears, Hamish Wallace, Milind Ronghe, Tanzina Chowdhury, Susan Picton, Emma Ross, Lisa Howell, Bernadette Brennan, Gail Halliday, Richard Grundy, Shaun Wilson, Sucheta Vaidya, Daniel Yeomanson, Jessica Bate, Vesna Pavasovic, Jessica Bate, Sabine Irtan, Jesper Brok, Minou Oostveen, Kristina Dzhuma, Mark Weeks, Richard Williams, Mark Powis, Max Pachl, Bruce Okoye, Naima Smeulders, Gordan Vujanic, Oystein Olsen, Tom Watson, Susan Shelmerdine, Dan Saunders, Angela Lopez-Cortes, Taryn Treger, Tom Jackson, Suzanne Tugnait, Lisa Howell, Tanzina Chowdhury, Sam Behjati, Angela Polanco   +56 more
wiley   +1 more source

Towards Analyzing the Complexity Landscape of Solidity Based Ethereum Smart Contracts

Technologies, 2019
Blockchain-based decentralized cryptocurrency platforms are currently one of the hottest topics in technology. Although most of the interest is generated by cryptocurrency related activities, it is becoming apparent that a much wider spectrum of ...
Peter Hegedus
doaj   +1 more source

Targeted Greybox Fuzzing with Static Lookahead Analysis

, 2019
Automatic test generation typically aims to generate inputs that explore new paths in the program under test in order to find bugs. Existing work has, therefore, focused on guiding the exploration toward program parts that are more likely to contain bugs
Anand Saswat, Brent Lexi, Cadar Cristian, Chowdhury Animesh Basak, Clarke Edmund M., Csallner Christoph, Czech Mike, Feist Josselin, Fähndrich Manuel, Hajdu Ákos, Kalra Sukrit, Li Yuekang, Ma Lei, Marinescu Paul Dan, Mossberg Mark, Nori Aditya V., Raval Siraj, Sen Koushik, Swan Melanie, Tillmann Nikolai, Vargha András, Wang Yuepeng, Wood Gavin, Wüstholz Valentin   +23 more
core   +1 more source

Special Standard Static Space-Times [PDF]

, 2004
Essentially, some conditions for the Riemannian factor and the warping function of a standard static space-time are obtained in order to guarantee that no nontrivial warping function on the Riemannian factor can make the standard static space-time ...
Dobarro, Fernando, Unal, Bulent
core   +1 more source

PhASAR: An Inter-procedural Static Analysis Framework for C/C++

International Conference on Tools and Algorithms for Construction and Analysis of Systems, 2019
Static program analysis is used to automatically determine program properties, or to detect bugs or security vulnerabilities in programs. It can be used as a stand-alone tool or to aid compiler optimization as an intermediary step.
Philipp Dominik Schubert, Ben Hermann, E. Bodden   +2 more
semanticscholar   +1 more source

Cerebrospinal Fluid Liquid Biopsy Enables Targeted Therapy Without Tissue Diagnosis in Pediatric Low‐Grade Gliomas With BRAF V600E Mutation

Pediatric Blood &Cancer, EarlyView.
ABSTRACT We present two pediatric cases of pediatric low‐grade gliomas (PLGG) with BRAF V600E mutations diagnosed and monitored using cerebrospinal fluid (CSF) liquid biopsy analyzed via digital droplet PCR (ddPCR), without tissue biopsy. Both patients were treated with dabrafenib and trametinib and monitored through clinical assessments, magnetic ...
Hannah Sultan, Damien Faury, Alexander G. Weil, Harrison J. Westwick, Nada Jabado, Sébastien Perreault   +5 more
wiley   +1 more source

Phoenix: automated data-driven synthesis of repairs for static analysis violations

ESEC/SIGSOFT FSE, 2019
Traditional automatic program repair (APR) tools rely on a test-suite as a repair specification. But test suites even when available are not of specification quality, limiting the performance and hence viability of test-suite based repair.
Rohan Bavishi, H. Yoshida, M. Prasad
semanticscholar   +1 more source