Publications related to Smoke testing (software)

Fast correlation function calculator A high-performance pair-counting toolkit

Context. A novel high-performance exact pair-counting toolkit called fast correlation function calculator (FCFC) is presented.Aims. With the rapid growth of modern cosmological datasets, the evaluation of correlation functions with observational and simula ...

EDP SCIENCES S A2023

An operational monitoring tool facilitating the transformation of urban brownfields into sustainable neighborhoods

Sophie Lufkin, Martine Laprise, Emmanuel Rey

The regeneration of urban brownfields is a relevant strategy to limit the sprawling of post-industrial European cities. However, the integration of sustainability issues in urban brownfield regeneration projects is not a spontaneous process, remaining in m ...

2018

CHAINIAC: Proactive Software-Update Transparency via Collectively Signed Skipchains and Verified Builds

Bryan Alexander Ford, Linus Gasser, Eleftherios Kokoris Kogias, Philipp Svetolik Jovanovic, Nicolas Gailly, Kirill Nikitin, Ismail Khoffi

Software-update mechanisms are critical to the security of modern systems, but their typically centralized design presents a lucrative and frequently attacked target. In this work, we propose CHAINIAC, a decentralized software-update framework that elimina ...

USENIX Association2017

Full-Scale Cyclic Testing of Deep Slender Wide-Flange Steel Beam-Columns under Unidirectional and Bidirectional Lateral Drift Demands

Dimitrios Lignos, Ahmed Mohamed Ahmed Elkady

Deep and slender wide-flange steel beam-columns are commonly used in steel special moment frames (SMFs) in North America. These sections provide large moment-of-inertia required to satisfy the design code’s drift limits while keeping the column steel weigh ...

International Association of Earthquake Engineering2017

Improving systems software security through program analysis and instrumentation

Volodymyr Kuznetsov

Security and reliability bugs are prevalent in systems software. Systems code is often written in low-level languages like C/C++, which offer many benefits but also delegate memory management and type safety to programmers. This invites bugs that cause cra ...

EPFL2016

Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces

Stefan Bucur

Manual software testing is laborious and prone to human error. Yet, among practitioners, it is the most popular method for quality assurance. Automating the test case generation promises better effectiveness, especially for exposing corner-case bugs. Symbo ...

EPFL2015

On recursion-free Horn clauses and Craig interpolation

Viktor Kuncak, Hossein Hojjat

One of the main challenges in software verification is efficient and precise analysis of programs with procedures and loops. Interpolation methods remain among the most promising techniques for such verification. To accommodate the demands of various progr ...

Springer2015

A Real Time Performance Assessment of Simultaneous Pattern Recognition Control for Multi-functional Upper Limb Prostheses

Sophie Marie Marthe Wurth

A natural and intuitive operation of multifunctional upper limb prostheses involves the concurrent activation of multiple degrees of freedom in a proportional way. Several approaches to simultaneous and proportional control strategies have been investigate ...

Ieee2013

Model-based automated testing of critical PLC programs

Simon Bliudze, Jean-Charles Tournier

Testing of critical PLC (Programmable Logic Controller) programs remains a challenging task for control system engineers as it can rarely be automated. This paper proposes a model-based approach which uses the BIP (Behavior, Interactions and Priorities) fr ...

IEEE2013

Efficient Testing of Recovery Code Using Fault Injection

George Candea, Paul Dan Marinescu

A critical part of developing a reliable software system is testing its recovery code. This code is traditionally difficult to test in the lab, and, in the field, it rarely gets to run; yet, when it does run, it must execute flawlessly in order to recover ...

2011

Exterminating Bugs via Collective Information Recycling

George Candea

End-user software is executed billions of times daily, but the corresponding execution details (“by-products”) are discarded. We hypothesize that, if suitably captured and aggregated, these by-products could substantially speed up the process of testing pr ...

2011

An ontology-based comparative anatomy information system

Introduction: This paper describes the design, implementation, and potential use of a comparative anatomy information system (CAIS) for querying on similarities and differences between homologous anatomical structures across species, the knowledge base it ...

2011

Comparison of Deconvolution Software in 3D Microscopy: A User Point of View—Part 1

Daniel Sage, Alessandra Griffa

Deconvolution is an image restoration technique which improves image contrast, resolution and signal to noise ratio. In modern optical microscopy and biological research deconvolution is becoming a fundamental processing step which allows for better image ...

EMS2010

Automated Software Testing as a Service (TaaS)

George Candea, Cristian Zamfir, Stefan Bucur

This paper makes the case for TaaS - automated software testing as a cloud-based service. We present three kinds of TaaS: (1) a public certification service, akin to Underwriters Labs, that independently assesses the reliability, safety, and security of so ...

2010

Implementation of variably saturated flow into PHREEQC for the simulation of biogeochemical reactions in the vadose zone

David Andrew Barry, Laurin Wissmeier

A software tool for the simulation of one-dimensional unsaturated flow and solute transport together with biogeochemical reactions in the vadose zone was developed by integrating a numerical solution of Richards' equation into the geochemical modelling fra ...

Elsevier2010