CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUTE combines concrete and symbolic execution in a way that avoids redundant test cases as well as false warnings. The tool also introduces a race-flipping technique to efficiently test and model check concurrent program...

CUTE, a Concolic Unit Testing Engine for C and Java, is a tool to systematically and automatically test sequential C programs (including pointers) and concurrent Java programs. CUTE combines concrete and symbolic execution in a way that avoids redundant test cases as well as false warnings. The tool also introduces a race-flipping technique to efficiently test and model check concurrent program...

CuTe is a two-dimensional (2D) layered material, yet forming quasi-one-dimensional (quasi-1D) charge-density-wave (CDW) along the a-axis in ab-plane at high transition temperature $T_{CDW}=335$ K. However, anisotropic properties of remain to be explored. Here we performed combined transport, polarized infrared reflectivity, and ultrafast pump-probe spectroscopy investigate underlying CDW physic...

OBJECTIVE To describe the current investigation and management of non-immune fetal hydrops, with a focus on treatable or recurring etiologies. OUTCOMES To provide better counselling and management in cases of prenatally diagnosed non-immune hydrops. EVIDENCE Published literature was retrieved through searches of PubMed or MEDLINE, CINAHL, and The Cochrane Library in 2011 using key words (no...

PURPOSE To address the controversial issue of whether the occurrence of corneal hydrops adversely affects the fate of subsequent penetrating keratoplasty (PK), this study compared the long-term outcomes of PK in keratoconic eyes with resolved corneal hydrops with those without prior corneal hydrops. METHODS This was a retrospective chart review of 102 eyes of 102 patients with keratoconus who...

PURPOSE We report the case of a 77-year-old man with no history of keratoconus or other ectatic disorders who presented with corneal hydrops in the setting of a corneal ulcer. The risk factors, pathogenesis and treatment options of corneal hydrops are discussed. METHOD This is an observational case report study. RESULTS A 77-year-old man presented with a 1-day history of severe pain, rednes...

Recurrent non-immune fetal hydrops (NIH) has been reported in the literature but it’s a very rare entity. It has been postulated to be related to a recessive gene. We report a case of recurrent non immune fetal hydrops in a multigravida with no medical history of note. She presented in her current pregnancy with a significant history of having 2(out of 3) previous pregnancies affected by hydrop...

AIM To investigate the clinical and diagnostic findings of a patient with acute hydrops using anterior segment optical coherence tomography (AS-OCT). METHODS The AS-OCT findings of a 43-year-old patient with acute hydrops associated with keratoconus were examined. At the initial examination and during follow-up, evaluation of the anterior segment was performed. RESULTS The patient presented...