Accelerated life testing provides an interesting challenge for quantification of the uncertainties involved, in particular due to the required linking of the units’ failure times, or failure time distributions, at different stress levels. This paper provides an initial exploration of the use of statistical methods based on imprecise probabilities for accelerated life testing. We apply nonparame...

Testing presents a daunting challenge for concurrent programs, as non-deterministic scheduling defeats reproducibility. The problem is even harder if, rather than testing entire systems, one tries to test individual components, for example to assess them for thread-safety. We present demonic testing, a technique combining the tangible results of unit testing with the rigour of formal rely-guara...

Over the next 10 years, more information and communication technology (ICT) will be deployed in the health system than in its entire previous history. Systems will be larger in scope, more complex, and move from regional to national and supranational scale. Yet we are at roughly the same place the aviation industry was in the 1950s with respect to system safety. Even if ICT harm rates do not in...

A methodology that combines veri cation and conformance testing for validating safety requirements of reactive systems is presented The requirements are rst automatically veri ed on the system s speci cation Then test cases are automatically derived from the speci cation and the requirements and executed on a black box implementation of the system The test cases attempt to push the implementati...

A methodology that combines verification and conformance testing for validating safety requirements of reactive systems is presented. The requirements are first automatically verified on the system’s specification. Then, test cases are automatically derived from the specification and the requirements, and executed on a black-box implementation of the system. The test cases attempt to push the i...

Background: Channa striatus or better known as the haruan fish is an indigenous, snakehead, striped, air breathing freshwater fish of Malaysia and has long been consumed traditionally during post-operative and post-partum period to speed recovery. Most medical properties of the haruan are contributed to its high content of essential fatty and amino acids. This was a phase I clinical trial to ex...