Learn More
We describe a framework for model-based analysis and test case generation in the context of a heterogeneous model-based development paradigm that uses and combines MathWorks and UML 2.0 models and the associated code generation tools. This paradigm poses novel challenges to analysis and test case generation that, to the best of our knowledge, have not been(More)
ion is typically a very important technique required for the success of model checking, since it combats the state-explosion problem inherent to the analysis of complex software systems. We therefore provided a framework in which the participants could add abstractions in a non-intrusive fashion to the code. Besides the infrastructure for adding(More)
Several papers have reported severe liver disease in association with massive hepatic copper accumulation, which do not seem to be either of the recognised copper associated liver diseases, namely Wilson's disease and Indian childhood cirrhosis. A further case is reported in which novel copper kinetic studies were carried out using the stable isotope 65Cu,(More)
This paper describes two separate efforts that used the SPIN model checker to verify deep space autonomy flight software. The first effort occurred at the beginning of a spiral development process and found five concurrency errors early in the design cycle that the developers acknowledge would not have been found through testing. This effort required a(More)
OBJECTIVE To analyse the diagnoses made in children presenting to an accident and emergency (A&E) department with seizures. METHODS All children who presented to a district general hospital A&E department with seizures over a 1 year period were identified. A retrospective review of A&E and hospital records was performed one year after they were first(More)
This study was done on a population of 877 mothers over a five month period. Interviews were held on the first day after delivery and on the day of discharge. Mothers were questioned on their infant feeding practice and on the influences which led them to their choice of feed types. Follow up studies were done in subsequent months on randomly selected(More)