In this article we describe a methodology enabling to automatically gener ate test suits for Java Card applets The considered case study is a classical electronic purse We use two complementary tools TGV to generate test data and Umlaut to design an object oriented model and to translate it into the input format of TGV The integration of those tools in an industrial process is evaluated in the ...

The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first verification to achieve ITSEC level E6 certification. A formal abstract model including security properties, and a formal concrete model of the system design were developed, and a formal refinement was hand-proved between...

The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and is notable for being the first verification to achieve ITSEC level E6 certification. A formal abstract model including security properties, and a formal concrete model of the system design were developed, and a complex formal refinement was the...

Drosophila's dorsal closure provides an excellent model system with which to analyze biomechanical processes during morphogenesis. During native closure, the amnioserosa, flanked by two lateral epidermal sheets, forms an eye-shaped opening with canthi at each corner. The dynamics of amnioserosa cells and actomyosin purse strings in the leading edges of epidermal cells promote closure, whereas t...

Single cells and multicellular tissues rapidly heal wounds. These processes are considered distinct, but one mode of healing--Rho GTPase-dependent formation and closure of a purse string of actin filaments (F-actin) and myosin-2 around wounds--occurs in single cells and in epithelia. Here, we show that wounding of one cell in Xenopus embryos elicits Rho GTPase activation around the wound and at...

BACKGROUND Round and oval skin wounds, like facial pigmented nevi after excision, are traditionally sutured linearly for closure, leaving significant scars, which greatly influences their appearance. OBJECTIVE This article provides an overview of our experience using intradermal purse-string suture for round and oval defects in the faciocervical region to ascertain whether purse-string suture...

Duodenal perforation is one of the most serious complications of endoscopic retrograde cholangiopancreatography (ERCP) and is difficult to manage. Recently, endoscopic purse-string suture, using endoloops with endoclips, is a relatively new technology and has provided good clinical results. However, the study and use of endoscopic purse-string suture on duodenal perforation is less and its feas...

Aim: The primary author previously described his technique for periareolar closure in mastopexy using a pinwheel interlocking purse string with absorbable barbed suture and now reports the results of a retrospective photometric analysis comparing this technique with the same closure using Gortex® suture. This study is designed to compare the degree of areolar widening and safety profile of usin...

Technical difficulties during colorectal surgery increase the complication rates. We introduce a modified single stapler technique for patients in whom technical problems are encountered while performing double stapler technique. Before pelvic dissection, descending colon is divided at minimum 10 cm proximal to the tumoral segment. Tumor specific mesorectal excision is performed and two purse s...

PURPOUSE The Authors correlated intraoperative mucohaemorrhoidal prolapse morphology, specimen histology, anal canal length and purse-string height. METHODS Between September-November 2010, 18 patients (9 grade III; 9 grade IV haemorrhoids) underwent stapled haemorrhoidopexy. Mean age was 54 years (range 38-78).Proctoscopic prolapse morphology, anal canal length, pursestring height and extern...