Delta Debugging automates the scientific method of debugging. The basic idea of the scientific method is to establish a hypothesis on why something does not work. You test this hypothesis, and you refine or reject it depending on the test outcome. When debugging, people are doing this all the time. Manually. Delta Debugging automates this process. Read more...
Narrowing down possible failure causes
As a first application, consider a program that fails when given some input. With Delta Debugging, you can isolate and minimize the failure-inducing input automatically. For instance, if your browser crashes on a 10,000-line WWW page, Delta Debugging can determine the failure-inducing HTML tag. Read more...
As another application, consider a program and a number of changes to the program code. After applying the changes, the program no longer works. With Delta Debugging, you can identify the failure-inducing changes automatically. Read more...
Yet another application is the isolation of failure-inducing executed statements - that is, the events during execution which were critical for producing the failure. This work is at an early stage. Read more...
Further applications are the identification of failure-inducing schedules (e.g. race conditions due to nondeterministic behavior) or the isolation of failure-inducing control statements (i.e. which branches taken were relevant and which not).
Andreas Zeller | Lehrstuhl für Softwaretechnik
Shaping nanoparticles for improved quantum information technology
15.10.2019 | DOE/Argonne National Laboratory
Controlling superconducting regions within an exotic metal
11.10.2019 | Ecole Polytechnique Fédérale de Lausanne
Researchers have succeeded in creating an efficient quantum-mechanical light-matter interface using a microscopic cavity. Within this cavity, a single photon is emitted and absorbed up to 10 times by an artificial atom. This opens up new prospects for quantum technology, report physicists at the University of Basel and Ruhr-University Bochum in the journal Nature.
Quantum physics describes photons as light particles. Achieving an interaction between a single photon and a single atom is a huge challenge due to the tiny...
A very special kind of light is emitted by tungsten diselenide layers. The reason for this has been unclear. Now an explanation has been found at TU Wien (Vienna)
It is an exotic phenomenon that nobody was able to explain for years: when energy is supplied to a thin layer of the material tungsten diselenide, it begins to...
Researchers at Ludwig-Maximilians-Universitaet (LMU) in Munich have explored the initial consequences of the interaction of light with molecules on the surface of nanoscopic aerosols.
The nanocosmos is constantly in motion. All natural processes are ultimately determined by the interplay between radiation and matter. Light strikes particles...
Particles that are mere nanometers in size are at the forefront of scientific research today. They come in many different shapes: rods, spheres, cubes, vesicles, S-shaped worms and even donut-like rings. What makes them worthy of scientific study is that, being so tiny, they exhibit quantum mechanical properties not possible with larger objects.
Researchers at the Center for Nanoscale Materials (CNM), a U.S. Department of Energy (DOE) Office of Science User Facility located at DOE's Argonne National...
A new research project at the TH Mittelhessen focusses on the development of a novel light weight design concept for leisure boats and yachts. Professor Stephan Marzi from the THM Institute of Mechanics and Materials collaborates with Krake Catamarane, which is a shipyard located in Apolda, Thuringia.
The project is set up in an international cooperation with Professor Anders Biel from Karlstad University in Sweden and the Swedish company Lamera from...
02.10.2019 | Event News
02.10.2019 | Event News
19.09.2019 | Event News
22.10.2019 | Materials Sciences
22.10.2019 | Medical Engineering
22.10.2019 | Power and Electrical Engineering