Fault Coverage-Driven Incremental Test Generation

In this paper, we consider a classical problem of complete test generation for deterministic finite-state machines (FSMs) in a more general setting. The first generalization is that the number of states in implementation FSMs can even be smaller than that of the specification FSM. Previous work deals only with the case when the implementation FSMs are allowed to have the same number of states as the specification FSM. This generalization provides more options to the test designer: when traditional methods trigger a test explosion for large specification machines, tests with a lower, but yet guaranteed, fault coverage can still be generated. The second generalization is that tests can be generated starting with a user-defined test suite, by incrementally extending it until the desired fault coverage is achieved. Solving the generalized test derivation problem, we formulate sufficient conditions for test suite completeness weaker than the existing ones and use them to elaborate an algorithm that can be used both for extending user-defined test suites to achieve the desired fault coverage and for test generation. We present the experimental results that indicate that the proposed algorithm allows obtaining a trade-off between the length and fault coverage of test suites.

Utvärdering av ICC-profiler och profil-inställningar för HP Indigo Press 1000

Det nystartade digitaltryckeriet Digaloo planerar att inom en snar framtid införa ICC-hantering i sittarbetsflöde. Med anledning av detta har en studie utförts där antalet erfordrade ICC-profiler undersöktssamt vilka akromatiska inställningar som bäst lämpar sig för tryckeriets HP Indigo Press 1000.Testtryckning utfördes på sex av Digaloos mest använda papperskvaliteter. Genom inläsning av testkartorhar de olika papperskvaliteternas reproducerbara färgrymder åskådliggjorts. Grundat på resultatetfrån denna testtryckning framställdes ICC-profiler för valda papperskvaliteter. Dessa genereradesmed olika inställningar för akromatisk repro och TIC (Total Ink Coverage). Vid en andra testtryckninganvändes dessa ICC-profiler för konvertering av mellanton-, natt- och snöbilder, vilka trycktespå olika papperskvaliteter.Resultatet från den första testtryckningen visar att HP Indigo Press 1000 återger störst förgrymd påpapperskvaliteten Silverblade Silk, tätt följd av Silverblade Art. De minsta färgrymderna reproduceraspå Lessebo Linné Gultonat och Lessebo Linné Naturvit.Vid perceptuell bedömning av de olika bilderna blev resultatet att bäst tryckresultat uppnås medpappersspecifika ICC-profiler. Detta gäller dock endast i två av tre fall. Vid bedömning av bäst lämpadTIC ansågs den idag på Digaloo använda nivån som mycket dålig. Genom att antingen sänka eller höjadenna nivå bedömdes tryckresultatet öka i kvalitet.Slutligen visar studien även att akromatik i form av UCR ger bäst bildåtergivning i mellanton- ochnattbilder på de valda papperskvaliteterna. De olika graderna av GCR i snöbilder anses dock passaolika bra beroende på vilken papperskvalitet som används.

Våld på jobbet : Beskrivningar av våld i arbetslivet 1978–2004 i facklig press

Violence at work as a social problem: a study of the media coverage on workplace violence in Swedish trade union journals 1978–2004 The main purpose of this study was to find out the extent of the unions media coverage on workplace violence and the ways in which the topic was framed. The study shows that the reporting of violence in the workplace described in journals is on a stable level during the period 1978–98. However from the year 2000 and onwards, there is a clear increase in the attention. Four categories of workplace violence were used to identify and recognize different types of violence: intrusive-, consumer-, relationship-and organizational violence. This shows that much of the attention over time has shifted from intrusive violence to organizational violence and consumer violence. What seems to have happened is that workplace violence has become more than just robberies and assaults in the retail business. The stereotypical image of the criminal is challenged by non-traditional criminals like nurses, elderly people and companies. Certain groups, e.g. care workers, come to account for an increasing proportion of attention, both as perpetrators and victims of violence. This study is an important step in understanding the increased reports of workplace violence in Sweden.

Media Coverage and Charitable Giving After the 2004 Tsunami

Media coverage of humanitarian crises is widely believed to influence charitable giving, yet this assertion has received little empirical scrutiny. Using Internet donations after the 2004 tsunami as a case study in a tobit framework, we show that media coverage of disasters increases charitable donations, with an additional minute of nightly news coverage increasing donations by 0.036 standard deviations from the mean. We repeat the analysis using instrumental variables in a tobit model to account for endogeneity, and the estimates are unchanged. We also show that the magnitude and sign of media impact vary by news source and relief agency.

Mídia impressa e meio ambiente: um estudo da cobertura da mortandade de peixes no estuário do Rio Potengi, Natal-RN

Environmental issues are becoming increasingly habitual to the media, particularly when calamities are involved. A feature of environmental disasters is that they disclose both environmental crises and the media limitation in reporting them. The research tried to contribute to the subject through the study of press media coverage of a large fish kill along an estuary in the State of Rio Grande do Norte, Brazil, in 2007. Thematic content analysis of newspaper reports identified the predominance of a superficial and denunciative coverage, lacking an educational perspective, and with little contribution to formation of a critical sense in readers. It also has identified the precarious treatment of those scientific concepts that could substantiate the actual causes of mortality of tons of aquatic fauna

Heterogeneity in vaccination coverage explains the size and occurrence of measles epidemics in German surveillance data

The objective of this study was to characterize empirically the association between vaccination coverage and the size and occurrence of measles epidemics in Germany. In order to achieve this we analysed data routinely collected by the Robert Koch Institute, which comprise the weekly number of reported measles cases at all ages as well as estimates of vaccination coverage at the average age of entry into the school system. Coverage levels within each federal state of Germany are incorporated into a multivariate time-series model for infectious disease counts, which captures occasional outbreaks by means of an autoregressive component. The observed incidence pattern of measles for all ages is best described by using the log proportion of unvaccinated school starters in the autoregressive component of the model.

Symptomatic spinal cord malperfusion after stent-graft coverage of the entire descending aorta

The study aims to identify risk constellations for symptomatic spinal cord malperfusion in patients undergoing extensive stent-graft coverage of the thoracic aorta.

Should intentional endovascular stent-graft coverage of the left subclavian artery be preceded by prophylactic revascularisation?

Thoracic endovascular aortic repair (TEVAR) has emerged as a promising therapeutic alternative to conventional open aortic replacement but it requires suitable proximal and distal landing zones for stent-graft anchoring. Many aortic pathologies affect in the immediate proximity of the left subclavian artery (LSA) limiting the proximal landing zone site without proximal vessel coverage. In patients in whom the distance between the LSA and aortic lesion is too short, extension of the landing zone can be obtained by covering the LSA's origin with the endovascular stent graft (ESG). This manoeuvre has the potential for immediate and delayed neurological and vascular symptoms. Some authors, therefore, propose prophylactic revascularisation of the LSA by transposition or bypass, while others suggest prophylactic revascularisation only under certain conditions, and still others see no requirement for prophylactic revascularisation in anticipation of LSA ostium coverage. In this review about LSA revascularisation in TEVAR patients with coverage of the LSA, we searched the electronic databases MEDLINE and EMBASE historically until the end date of May 2010 with the search terms left subclavian artery, covering, endovascular, revascularisation and thoracic aorta. We have gathered the most complete scientific evidence available used to support the various concepts to deal with this issue. After a review of the current available literature, 23 relevant articles were found, where we have identified and analysed three basic treatment concepts for LSA revascularisation in TEVAR patients (prophylactic, conditional prophylactic and no prophylactic LSA revascularisation). The available evidence supports prophylactic revascularisation of the LSA before ESG LSA coverage when preoperative imaging reveals abnormal supra-aortic vascular anatomy or pathology. We further conclude that elective patients undergoing planned coverage of the LSA during TEVAR should receive prophylactic LSA transposition or LSA-to-left-common-carotid-artery (LCCA) bypass surgery to prevent severe neurological complications, such as paraplegia or brain stem infarction.

Tissue coverage of a hydrophilic polymer-coated zotarolimus-eluting stent vs. a fluoropolymer-coated everolimus-eluting stent at 13-month follow-up: an optical coherence tomography substudy from the RESOLUTE All Comers trial

Aims To compare the tissue coverage of a hydrophilic polymer-coated zotarolimus-eluting stent (ZES) vs. a fluoropolymer-coated everolimus-eluting stent (EES) at 13 months, using optical coherence tomography (OCT) in an ‘all-comers' population of patients, in order to clarify the mechanism of eventual differences in the biocompatibility and thrombogenicity of the devices. Methods and results Patients randomized to angiographic follow-up in the RESOLUTE All Comers trial (NCT00617084) at pre-specified OCT sites underwent OCT follow-up at 13 months. Tissue coverage and apposition were assessed strut by strut, and the results in both treatment groups were compared using multilevel logistic or linear regression, as appropriate, with clustering at three different levels: patient, lesion, and stent. Fifty-eight patients (30 ZES and 28 EES), 72 lesions, 107 stents, and 23 197 struts were analysed. Eight hundred and eighty-seven and 654 uncovered struts (7.4 and 5.8%, P= 0.378), and 216 and 161 malapposed struts (1.8 and 1.4%, P= 0.569) were found in the ZES and EES groups, respectively. The mean thickness of coverage was 116 ± 99 µm in ZES and 142 ± 113 µm in EES (P= 0.466). No differences in per cent neointimal volume obstruction (12.5 ± 7.9 vs. 15.0 ± 10.7%) or other areas–volumetric parameters were found between ZES and EES, respectively. Conclusion No significant differences in tissue coverage, malapposition, or lumen/stent areas and volumes were detected by OCT between the hydrophilic polymer-coated ZES and the fluoropolymer-coated EES at 13-month follow-up.

The Evolution of Media Coverage of Historical Sports Controversies

This thesis will cover sports controversies throughout the 20th Century in the context of the media’s newspaper coverage of the events. The 1919 Black Sox Scandal, the debate over American participation in the 1936 Olympics, and Muhammad Ali’s conversion to the Nation of Islam, standing as a notorious public figure, and conscientious objection to the Vietnam War will represent the three sports controversies. The media’s adherence to cultural norms is clear in all three cases. The consistent devotion to the cultural and racial atmosphere of their respective eras was constant and helped to perpetuate accepted, mainstream cultural attitudes. Cultural and racial norms were followed in the coverage of the three discussed controversies. The anti-Semitism and racially intolerant sentiments in America during great waves of immigration in the early 1900s allowed for journalists to freely vilify Jews as corrupters of baseball and the ballplayers who were rumored to have thrown the 1919 World Series. The white ballplayers were supported in the press, who protected their own and blamed outsiders. Jim Crow and the Americanization movement forced African American and Jewish newspapers to limit their journalistic bias on both sides of the debate over American participation in the 1936 Berlin Olympics. The white, mainstream press was void of bias as the spirit of isolationism in America triumphed over journalist’s leanings in the Olympic debate. The racial tension created by the Civil Rights movement of the 1960s created an atmosphere that allowed mainstream journalists to heap endless criticism on Muhammad Ali as he gained fame. By portraying him as a villain of society as both a religious radical and traitor to America, journalists created a common enemy in the minds of white America. In all three cases, a pattern of journalists expressing the state of cultural and racial norms of the era is present and significant.

Europeanization in parliament and in the press

Europeanization challenges national democratic systems. As part and parcel of the broader internationalization of politics, Europeanization is associated with a shift from policymaking within majoritarian, elected representative bodies towards technocratic decisions among non-majoritarian and non-elected bodies (Kohler-Koch and Rittberger 2008, Lavenex 2013). It is thus said to weaken the influence of citizens and parliaments on the making of policies and to undermine democratic collective identity (Lavenex 2013, Schimmelfennig 2010). The weakening of national parliaments has been referred to as “de-parliamentarisation” (Goetz and Meyer-Sahling 2008) and has nurtured a broader debate regarding the democratic deficit in the EU. While not being a member of the EU, Switzerland has not remained unaffected by these changes. As discussed in the contribution by Fischer and Sciarini, state executive actors take the lead in Switzerland's European policy. They are responsible for the conduct of international negotiations, they own the treaty making power, and it is up to them to decide whether they wish to launch a negotiation with the EU. In addition, the strong take-it or leave-it character of Europeanized acts limits the room for manoeuver of the parliamentary body also in the ratification phase. Among the public, the rejection of the treaty on the European constitution has definitely closed the era of “permissive consensus” (Hooghe and Marks 2009). However, the process of European unification remains far remote from the European public. In Switzerland, the strongly administrative character of international legislation hinders public discussion (Vögeli 2007). In such a context, the media may serve as cue for the public: By delivering information about the extent and nature of Europeanized policymaking, the media enable citizens to form their own opinions and to hold their representatives accountable. In this sense media coverage may not only be considered an indicator of the information delivered to the public, but it may also enhance the democratic legitimacy of Europeanized policymaking (for a similar argument, see Tresch and Jochum 2005). While the previous contributions to this debate have examined the Europeanization of Swiss (primary and secondary) legislation, we take a closer look at two additional domestic arenas that are both supposed to be under pressure due to Europeanization: The parliament and the media. To that end, we rely on data gathered in a research project that two of us carried out in the context of the NCCR Democracy.1 While this project was primarily interested in the mediatization of decision-making processes in Switzerland, it also investigated the conditional role played by internationalization/Europeanization. For our present purposes, we shall exploit the two data-sets that were developed as part of a study of the political agenda-setting power of the media (Sciarini and Tresch 2012, 2013, Tresch et al. 2013): A data-set on issue attention in parliamentary interventions (initiatives, motions, postulates,2 interpellations and questions) and a data-set on issue attention in articles from the Neue Zürcher Zeitung (NZZ). The data covers the years 1995 to 2003 and the coding of issues followed the classification system developed in the “Policy Agendas Project” (Baumgartner and Jones 1993).

Why EU promotion is at odds with successful crisis management: public relations, news coverage, and the Aceh Monitoring Mission. EU Centre in Singapore Working Paper No. 10, September 2012

The EU’s Common Foreign and Security Policy (CFSP) and its accompanying Common Security and Defence Policy (CSDP) missions can be tools used to increase the international profile of the European Union. Nevertheless, CSDP missions garner little news coverage. This article argues that the very nature of the missions themselves makes them poor vehicles for EU promotion for political, institutional, and logistical reasons. By definition, they are conducted in the middle of crises, making news coverage politically sensitive. The very act of reporting could undermine the mission. Institutionally, all CSDP missions are intergovernmental, making press statements slow, overly bureaucratic, and of little interest to journalists. Logistically, the missions are often located in remote, undeveloped parts of the world, making it difficult and expensive for European and international journalists to cover. Moreover, these regions in crisis seldom have a thriving, local free press. Using the Aceh Monitoring Mission (AMM) as a case study, the author concludes that although a mission may do good, CSDP missions cannot fulfil the political function of raising the profile of the EU.

Report on advisability of coordinating social security coverage and benefits provided by public employee pensions in New York State /

Mode of access: Internet.