Manual software testing is a notoriously expensive part of the software development process, and its automation is of high concern. One aspect of the testing process is the automatic generation of test inputs. This paper studies the Alternating Variable Method (AVM) approach to search-based test input generation. The AVM has been shown to be an effective and efficient means of generating branch...

Pancreatitis may be complicated with a spectrum of arterial and venous abnormalities. Arterial complications most frequently involve formation of a pseudoaneurysm [1]. Less frequently, pancreatitis causes arterial thrombotic occlusion, which can lead to splenic or gastrointestinal infarction. Venous complications are relatively common and are related to splanchnic vein thrombosis. The splenic v...

We introduce an Active Vertex Model (AVM) for cell-resolution studies of the mechanics of confluent epithelial tissues consisting of tens of thousands of cells, with a level of detail inaccessible to similar methods. The AVM combines the Vertex Model for confluent epithelial tissues with active matter dynamics. This introduces a natural description of the cell motion and accounts for motion pat...

Massive gastrointestinal (GI) bleeding can occur with multiple jejunal diverticulosis. However, significant bleeding in the setting of few diverticulae is very unusual and rare. We report a case of massive gastrointestinal bleeding from an arteriovenous malformation (AVM) within a jejunal diverticulum to underscore the significance of such coexisting pathologies. Mesenteric angiogram was chosen...

The coexistence of a cerebral and a spinal arteriovenous malformation (AVM) together is extremely rare. We present a 31-year-old woman, who suffered from severe root pains in the left upper extremity. Magnetic resonance imaging (MRI) revealed the abnormal vessels in the left occipital lobe and upper cervical segment of spinal cord. Cerebral angiography and spinal angiogram revealed two AVMs: On...

Hemoptysis is considered as a medical emergency which requires urgent stabilization with identification and correction of underlying etiology. Diagnosis of the cause of hemoptysis is not always readily identified after bronchoscopy and conventional computed tomography (CT) chest. Arteriovenous malformation (AVM) is a rare but important cause of massive hemoptysis which can be easily picked up b...

Splanchnic arteriovenous malformation (AVM) is a rare condition in which patients present with portal hypertension, which thus causes bleeding varices and ascites. However, to our knowledge, hepatic nodules associated with splanchnic AVM have not yet been described. We herein first report the case of a 78-year-old man with inferior mesenteric AVM presenting with portal hypertension and multiple...

A 66-year-old man presented with typical right trigeminal neuralgia. Neuroimaging showed a small arteriovenous malformation (AVM) in the right cerebellopontine angle. Suboccipital craniotomy verified that the AVM was almost completely embedded in the root entry zone of the trigeminal nerve and the nerve axis was tilted infero-posteriorly. The patient obtained complete pain relief without sequel...

Familial arteriovenous malformation (AVM) of the brain is an uncommon entity. A 24-year-old female presented with sudden onset of left hemiparesis due to an AVM with a hematoma in the right frontal lobe, which was surgically removed. Her 23-year-old younger sister presented with motor aphasia and right hemiparesis due to an AVM with a hematoma in the left frontoparietal lobes, which was surgica...

Arteriovenous malformation (AVM) of the head and neck is a rare and potentially life threatening entity due to massive haemorrhage. There are several indications for treatment, including age of the patient and location, extent and type of vascular malformation. Endovascular therapy can effectively cure most lesions with limited tissue involvement. Surgery can be used in selected cases in combin...