Search

Rare tumor of the oral cavity presenting as a gingival swelling without bone involvement was present. The lesion, resected for mastication troubles, histologically presented a basaloid cell proliferation predominantly organized in nests formed by a peripheral palisading of cells with apically disposed nuclei. Immunohistochemical stainings for the cytokeratin 19 and Ber-EP4 showed a marked and diffuse positivity for the former, while the latter was negative. These results support the diagnosis of peripheral ameloblastoma and allow us to distinguish it from the basal cell carcinoma, which shares some histological features with this unusual tumor of the oral cavity.

Testing accounts for a relevant part of the production cost of complex or critical software systems. Nevertheless, time and resources budgeted to testing are often underestimated with respect to the target quality goals. Test managers need engineering methods to perform appropriate choices in spending testing resources, so as to maximize the outcome. We present a method to dynamically allocate testing resources to software components minimizing the estimated number of residual defects and/or the estimated residual defect density. We discuss the application to a real-world critical system in the homeland security domain. We describe a support tool aimed at easing industrial technology transfer by hiding to practitioners the mathematical details of the method application.

Testing software in Air Traffic Control (ATC) systems costs much more than building them. This is basically true in every domain producing software-intensive critical systems. Software engineers strive to find methodological and processlevel solutions to balance these costs, and to better distribute verification efforts along all the development phases. There is considerable interest in applying model-driven approaches in the critical systems engineering field. Kept promises and failed expectations of model-driven engineering are still debated today; we report our experience in trying to take the model-driven best achievements and, at the same time, to fill its lacks in the considered industrial context.