Test Case Generation as an AI Planning Problem

While Artificial Intelligence techniques have been applied to a variety of software engineering applications, the area of automated software testing remains largely unexplored. Yet, test cases for certain types of systems (e.g., those with command language interfaces and transaction based systems) are similar to plans. We have exploited this similarity by constructing an automated test case generator with an AI planning system at its core. We compared the functionality and output of two systems, one based on Software Engineering techniques and the other on planning, for a real application: the StorageTek robot tape library command language. From this, we showed that AI planning is a viable technique for test case generation and that the two approaches are complementary in their capabilities.     

Management of multidimensional discrete data

Spatial database management involves two main categories of data: vector and raster data. The former has received a lot of in-depth investigation; the latter still lacks a sound framework. Current DBMSs either regard raster data as pure byte sequences where the DBMS has no knowledge about the underlying semantics, or they do not complement array structures with storage mechanisms suitable for huge arrays, or they are designed as specialized systems with sophisticated imaging functionality, but no general database capabilities (e.g., a query language). Many types of array data will require database support in the future, notably 2-D images, audio data and general signal-time series (1-D), animations (3-D), static or time-variant voxel fields (3-D and 4-D), and the ISO/IEC PIKS (Programmer's Imaging Kernel System) BasicImage type (5-D). In this article, we propose a comprehensive support ofmultidimensional discrete data (MDD) in databases, including operations on arrays of arbitrary size over arbitrary data types. A set of requirements is developed, a small set of language constructs is proposed (based on a formal algebraic semantics), and a novel MDD architecture is outlined to provide the basis for efficient MDD query evaluation.     

A semantic modeling approach for image retrieval by content

We introduce a semantic data model to capture the hierarchical, spatial, temporal, and evolutionary semantics of images in pictorial databases. This model mimics the user's conceptual view of the image content, providing the framework and guidelines for preprocessing to extract image features. Based on the model constructs, a spatial evolutionary query language (SEQL), which provides direct image object manipulation capabilities, is presented. With semantic information captured in the model, spatial evolutionary queries are answered efficiently. Using an object-oriented platform, a prototype medical-image management system was implemented at UCLA to demonstrate the feasibility of the proposed approach.     

TQM implementation in hospitals

This paper discusses the essential elements for successful Total Quality Management (TQM) implementation in hospital, and the challenges that occur with such implementation. Guidelines for this implementation are provided to show how TQM tools can be used effectively in hospitals.     

Containerless solidification of highly undercooled mullite melts: Crystal growth behavior and microstructure formation

A mullite (3Al₂O₃·2SiO₂) sample has been levitated and undercooled in an aero-acoustic levitator, so as to investigate the solidification behavior in a containerless condition. Crystal-growth velocities are measured as a function of melt undercoolings, which increase slowly with melt undercoolings up to 380 K and then increase quickly when undercoolings exceed 400 K. In order to elucidate the crystal growth and solidification behavior, the relationship of melt viscosities as a function of melt undercoolings is established on the basis of the fact that molten mullite melts are fragile, from which the atomic diffusivity is calculated via the Einstein-Stokes equation. The interface kinetics is analyzed when considering atomic diffusivities. The crystal-growth velocity vs melt undercooling is calculated based on the classical rate theory. Interestingly, two different microstructures are observed; one exhibits a straight, faceted rod without any branching with melt undercoolings up to 400 K, and the other is a feathery faceted dendrite when undercoolings exceed 400 K. The formation of these morphologies is discussed, taking into account the contributions of constitutional and kinetic undercoolings at different bulk undercoolings.     

Amtshaftung bei Bauführung im Hochwassergebiet; fehlerhafter Flächenwidmungsplan; Nachforschungspflichten der Gemeinde

Bestehen ausreichende Anhaltspunkte für die Hochwassergef?hrdung, ist die Gemeinde verpflichtet, sich durch Nachforschungen Gewissheit über das Vorliegen oder Nichtvorliegen eines Hochwasserabflussgebietes gem § 38 Abs 3 WRG zu verschaffen. Liegt ein solches vor, hat sie gem § 12 Abs 1 Z 2 krnt GplG dieses im Fl?chenwidmungsplan ersichtlich zu machen. Erteilt die Gemeinde eine Baubewilligung ohne diese von der Erteilung einer wasserrechtlichen Bewilligung abh?ngig zu machen, haftet sie für die Kosten der Bauführung, die bei gesetzes-konformer Vorgangsweise unterlassen worden w?re.