Message from the program co-chairs

published_or_final_versio

Equality to equals and unequals: a revisit of the equivalence and nonequivalence criteria in object-oriented software testing

published_or_final_versio

Refined physical properties and g',r',i',z',J,H,K transmission spectrum of WASP-23b from the ground

Multi-band observations of planetary transits using the telescope defocus technique may yield high-quality light curves suitable for refining the physical properties of exoplanets even with small or medium size telescopes. Such observations can be used to construct a broad-band transmission spectrum of transiting planets and search for the presence of strong absorbers. We have thoroughly characterised the orbital ephemeris and physical properties of the transiting planet and host star in the WASP-23b system, constructed a broad-band transmission spectrum of WASP-23b and performed a comparative analysis with theoretical models of hot Jupiters. We observed a complete transit of WASP-23b in seven bands simultaneously, using the GROND instrument on the MPG/ESO 2.2m telescope at La Silla Observatory and telescope defocussing. The optical data were taken in the Sloan g',r',i' and z' bands. The resulting light curves are of high quality, with a root-mean-square scatter of the residual as low as 330ppm in the z'-band, with a cadence of 90s. Near-infrared data were obtained in the JHK bands. We performed MCMC analysis of our photometry plus existing radial velocity data to refine measurements of the ephemeris and physical properties of the WASP-23. We constructed a broad-band transmission spectrum of WASP-23b and compared it with a theoretical transmission spectrum of a Hot Jupiter. We measured the central transit time with a precision about 8s. From this and earlier observations we obtain an orbital period of P=2.9444300+/-0.0000011d. Our analysis also yielded a larger radius and mass for the planet (Rp=1.067+0.045-0.038 RJup and, Mp=0.917+0.040-0.039MJup). The transmission spectrum is marginally flat, given the limited precision of the measurements for the planet radius and poor spectral resolution of the data.Comment: 8 pages, 5 figures, accepted for publication in Astronomy & Astrophysic

Transformation of UML interaction diagrams into contract specifications for object-oriented testing

Testing is an important means to ensure the quality of software systems. Contract specification can be used to formally specify the cluster level of object-oriented software, which can then be tested using TACCLE, an advanced methodology for object-oriented testing. The use of formal specifications as a testing base has many advantages. However, such specifications are not easily understood and therefore not widely used in the software industry. On the other hand, UML, a semi-formal modeling language, is becoming increasingly popular and widely accepted. In particular, UML interaction diagrams specify the dynamic, interacting behavior among the objects of an object-oriented system. If the transformation of UML interaction diagrams into Contract specifications can be automated, the TACCLE methodology can be applied directly to test object-oriented software at the cluster level. In this paper, a method to transform UML interaction diagrams into Contract specifications is proposed based on the UML meta-model. A prototype has been developed. © 2007 IEEE.published_or_final_versio

Anderson impurity in pseudo-gap Fermi systems

We use the numerical renormalization group method to study an Anderson impurity in a conduction band with the density of states varying as rho(omega) \propto |omega|^r with r>0. We find two different fixed points: a local-moment fixed point with the impurity effectively decoupled from the band and a strong-coupling fixed point with a partially screened impurity spin. The specific heat and the spin-susceptibility show powerlaw behaviour with different exponents in strong-coupling and local-moment regime. We also calculate the impurity spectral function which diverges (vanishes) with |omega|^{-r} (|\omega|^r) in the strong-coupling (local moment) regime.Comment: 8 pages, LaTeX, 4 figures includes as eps-file

'Datafication': Making sense of (big) data in a complex world

This is a pre-print of an article published in European Journal of Information Systems. The definitive publisher-authenticated version is available at the link below. Copyright @ 2013 Operational Research Society Ltd.No abstract available (Editorial

A choice relation framework for supporting category-partition test case generation

We describe in this paper a choice relation framework for supporting category-partition test case generation. We capture the constraints among various values (or ranges of values) of the parameters and environment conditions identified from the specification, known formally as choices. We express these constraints in terms of relations among choices and combinations of choices, known formally as test frames. We propose a theoretical backbone and techniques for consistency checks and automatic deductions of relations. Based on the theory, algorithms have been developed for generating test frames from the relations. These test frames can then be used as the basis for generating test cases. Our algorithms take into consideration the resource constraints specified by software testers, thus maintaining the effectiveness of the test frames (and hence test cases) generated.published_or_final_versio