Publication
Exterminating Bugs via Collective Information Recycling
Related publications (56)
Designing Augmented Reality for the Classroom
Pierre Dillenbourg, Sébastien Cuendet, Quentin Bonnard
Augmented reality (AR) has recently received a lot of attention in education. Multiple AR systems for learning have been developed and tested through empirical studies often conducted in lab settings. While lab studies can be insightful, they leave out the ...
Elsevier2013Mitigating Anonymity Challenges in Automated Testing and Debugging Systems
Modern software often provides automated testing and bug reporting facilities that enable developers to improve the software after release. Alas, this comes at the cost of user anonymity: reported execution traces may identify users. We present a way to mi ...
2013A Real Time Performance Assessment of Simultaneous Pattern Recognition Control for Multi-functional Upper Limb Prostheses
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 ...
Ieee2013A SOFT Way for OpenFlow Switch Interoperability Testing
Dejan Kostic, Marco Canini, Peter Peresini, Maciej Leszek Kuzniar
The increasing adoption of Software Defined Networking, and OpenFlow in particular, brings great hope for increasing extensibility and lowering costs of deploying new network functionality. A key component in these networks is the OpenFlow agent, a piece o ...
2012Hycon2 Benchmark: Power Network System
As a benchmark exercise for testing software and methods developed in Hycon2 for decen- tralized and distributed control, we address the problem of designing the Automatic Genera- tion Control (AGC) layer in power network systems. In particular, we present ...
2012Fast black-box testing of system recovery code
Fault injection-a key technique for testing the robustness of software systems-ends up rarely being used in practice, because it is labor-intensive and one needs to choose between performing random injections (which leads to poor coverage and low represent ...
2012Test run for the HRMT-15 (RPINST) experiment
Nikolaos Charitonidis, Marco Silari
The present document discusses the results of the measurements carried out during the test run performed before the main beam time of the HRMT-15 (RPINST) experiment in the HiRadMat facility, which is planned for October 2012. A prototype detector, specifi ...
CERN EDMS System2012In Vitro Activities of the New Antitubercular Agents PA-824 and BTZ043 against Nocardia brasiliensis
The in vitro activity of PA-824 and BTZ043 against 30 Nocardia brasiliensis isolates was tested. The MIC50 and MIC90 values for PA-824 were both > 64 mu g/ml. The same values for BTZ043 were 0.125 and 0.250 mu g/ml. Given the MIC values for benzothiazinone ...
2012Parallel symbolic execution for automated real-world software testing
George Candea, Cristian Zamfir, Vlad Ureche, Stefan Bucur
This paper introduces Cloud9, a platform for automated testing of real-world software. Our main contribution is the scalable parallelization of symbolic execution on clusters of commodity hardware, to help cope with path explosion. Cloud9 provides a system ...
ACM Press2011Efficient 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