A Random Testing Approach Using Pushdown Automata

International audienceDeveloping efficient and automatic testing techniques is one of the major challenges facing the software validation community. Recent work by Denise and al. (in MBT'08 proceedings) shows how to draw traces uniformly at random in large systems modeled by finite automata for testing purposes. Since finite automata are strong abstractions of systems, many generated test cases following this approach may be un-concretizable, i.e., do not correspond to any concrete execution of the system under test. In this paper, we propose to tackle this problem by extending the approach to pushdown systems that can encode either a stack data structure or the call stack. The method is based on context-free grammar algorithms, and relies on combinatorial techniques to guarantee the uniformity of generated traces

Naming men as men: implications for work, organization and management

This paper seeks to contribute to the growing interest in naming men as men as part of a critical analysis of gendered power relations in organizations. The paper highlights the way in which men and masculinities are frequently central to organizational analysis, yet rarely the focus of interrogation. They remain taken for granted and hidden. Examining recent studies that contribute to a critical analysis of gendered power relations, we consider the growing interest in multiplicity, diversity and difference. In particular, we explore the issue of 'multiple masculinities' as well as some of the conceptual difficulties that surround it. Arguing for an approach which addresses the unities, differences and interrelations between men and masculinities, we suggest that critical studies of gendered power need to examine the management of organizations in much more detail. Highlighting five masculinities that seem to be routinely embedded in managerial discourses and practices, we conclude by advocating further research in this previously neglected area