Improving the effectiveness of testing pervasive software via context diversity

Context-aware pervasive software is responsive to various contexts and their changes. A faulty implementation of the context-aware features may lead to unpredictable behavior with adverse effects. In software testing, one of the most important research issues is to determine the sufficiency of a test suite to verify the software under test. Existing adequacy criteria for testing traditional software, however, have not explored the dimension of serial test inputs and have not considered context changes when constructing test suites. In this article, we define the concept of context diversity to capture the extent of context changes in serial inputs and propose three strategies to study how context diversity may improve the effectiveness of the data-flow testing criteria. Our case study shows that the strategy that uses test cases with higher context diversity can significantly improve the effectiveness of existing data-flow testing criteria for context-aware pervasive software. In addition, test suites with higher context diversity are found to execute significantly longer paths, which may provide a clue that reveals why context diversity can contribute to the improvement of effectiveness of test suites. © 2014 ACM.postprin

Message from general co-chairs and program co-chairs

published_or_final_versionThe 4th International Joint Conference on Computational Sciences and Optimization (CSO 2011) Kunming and Lijiang, Yunnan Province, China, April 15-19, 2011. In Proceedings of the Computational Sciences and Optimization, 2011, p. 28-30

How Effective are Smart Contract Analysis Tools? Evaluating Smart Contract Static Analysis Tools Using Bug Injection

Security attacks targeting smart contracts have been on the rise, which have led to financial loss and erosion of trust. Therefore, it is important to enable developers to discover security vulnerabilities in smart contracts before deployment. A number of static analysis tools have been developed for finding security bugs in smart contracts. However, despite the numerous bug-finding tools, there is no systematic approach to evaluate the proposed tools and gauge their effectiveness. This paper proposes SolidiFI, an automated and systematic approach for evaluating smart contract static analysis tools. SolidiFI is based on injecting bugs (i.e., code defects) into all potential locations in a smart contract to introduce targeted security vulnerabilities. SolidiFI then checks the generated buggy contract using the static analysis tools, and identifies the bugs that the tools are unable to detect (false-negatives) along with identifying the bugs reported as false-positives. SolidiFI is used to evaluate six widely-used static analysis tools, namely, Oyente, Securify, Mythril, SmartCheck, Manticore and Slither, using a set of 50 contracts injected by 9369 distinct bugs. It finds several instances of bugs that are not detected by the evaluated tools despite their claims of being able to detect such bugs, and all the tools report many false positivesComment: ISSTA 202

Properties of Si-SiO2 interface traps due to low-energy Ar+ backsurface bombardment in n-channel nitrided MOSFETs

Flicker noise in backsurface gettered, nitrided n-channel MOSFETs is characterized over a wide range of temperatures and biases. The gettering time ranged from 10 to 40 minutes. The noise power spectra for devices with different gettering times are compared to the ungettered devices which serve as the control. It is found that flicker noise is reduced by backsurface gettering for short gettering times. A rebound in the noise magnitude is observed for long gettering times. Investigations of the temperature dependencies of the noise power spectra indicates that the low-frequency noise arises from thermal activation of carriers to traps at the Si-SiO2 interface. Backsurface gettering results in the modification of the energy distribution of the interface traps, probably due to stress relaxation at the Si-SiO2 interface.published_or_final_versio

Paclitaxel and carboplatin in advanced non-small cell lung cancer (NSCLC), Hong Kong Experience

published_or_final_versio

Paclitaxel and carboplatin in advanced non-small cell lung cancer (NSCLC), Hong Kong Experience

published_or_final_versio

Mechanism Design of Fashion Virtual Enterprise under Monitoring Strategy

published_or_final_versio

Self-Excited Threshold Poisson Autoregression

This article studies theory and inference of an observation-driven model for time series of counts. It is assumed that the observations follow a Poisson distribution conditioned on an accompanying intensity process, which is equipped with a two-regime structure according to the magnitude of the lagged observations. Generalized from the Poisson autoregression, it allows more flexible, and even negative correlation, in the observations, which cannot be produced by the single-regime model. Classical Markov chain theory and Lyapunov’s method are used to derive the conditions under which the process has a unique invariant probability measure and to show a strong law of large numbers of the intensity process. Moreover, the asymptotic theory of the maximum likelihood estimates of the parameters is established. A simulation study and a real-data application are considered, where the model is applied to the number of major earthquakes in the world. Supplementary materials for this article are available online.postprin

Evaluating Students' Perception of a Three-Dimensional Virtual World Learning Environment

Three-dimensional virtual environments have gained wide popularity due to improvement in graphic rendering technology and networking infrastructure. Many education institutions have been trying to leverage the potential of 3D virtual environments in their application in education. In this research, we aim to evaluate the students’ perception of virtual environments in teaching and learning activities. We set up a virtual classroom, where a short presentation was delivered to students through virtual projectors in Second Life, the most widely adopted 3D virtual environment. The students filled in a questionnaire after the class. We found that the students gave a statistically higher evaluation to 3D virtual environments in terms of satisfaction and enjoyment, while comparable scores between 3D and traditional learning environment in terms of concentration, perceived usefulness, and learning and understanding were obtained. Our results show that virtual learning environment is of great potential in e-learning. Some recommendations in using the virtual environment for learning activities are given.published_or_final_versio

Recurrent pneumothorax in pregnancy: What should we do after placing an intercostal drain

Recurrent pneumothorax is rare during pregnancy. We describe a Chinese woman, with a history of spontaneous pneumothorax managed with an intercostal drain, who developed a recurrent pneumothorax during her 32nd week of pregnancy. There is no consensus on management in this situation. We review the literature and discuss different management approaches. Thirty-six cases of antepartum pneumothorax have been reported in 31 case reports. An intercostal drain only (n=11) or surgeries (thoracotomy, n=9; or video-assisted thoracoscopy, n=2) were common treatment options with no surgical complications reported. Twenty-two (61%) patients progressed to a normal vaginal delivery, while the rest required forceps delivery (22%) or Caesarean section (14%). No single treatment option outweighed the others. There were no maternal or foetal complications reported in those who underwent antepartum surgical intervention. Surgical management of recurrent pneumothorax during pregnancy is well tolerated.published_or_final_versio