Infeasible paths constitute a bottleneck for the complete automation of software testing, one of the most expensive activities of software quality assurance. Research efforts have been spent on ...

Abstract: We design statistical hypothesis tests for performing leak detection in water pipeline channels. By applying an appropriate model for signal propagation, we show that the detection problem ...

Lateral flow tests (LFTs) are widely used across healthcare, food safety and environmental monitoring, providing rapid, on-site results. But challenges with sensitivity, flexibility and usability ...

Abstract: Test-driven development (TDD) is a coding technique that combines design and testing in an iterative and incremental fashion. It prescribes that tests written before the production code help ...