[PDF] Top 20 Volume 33: Foundations and Techniques for Open Source Software Certification 2010

... In such a context, the aim of the O PEN C ERT series of workshops is to bring together re- searchers from academia and industry who are broadly interested in the quality assessment of open source ... See full document

... A particular emphasis is being placed on developing tools that are, as much as possible, lan- guage independent. Through the use of generic programming techniques, the developed tool aims at being retargetable to ... See full document

... the Software Engineering Group (SU) [Con] of the Department of Computer and Information Science (IDI) at the Norwegian University of Sci- ence and Technology ...Netbean open source project, to ... See full document

... the open source software will nearly always have to be modified and/or enhanced by platform-specific code (Section ...closed software or – even if made publicly available – not be of ... See full document

... kernel source code (written in C [ANSI89, ISO99] and assembler) to detect a particular kind of runtime deadlock in the operating system as compiled for multi-CPU 32-bit Intel (IA32) ...the source code of ... See full document

... Software security hardening is defined in [MLD06] as any process, methodology, product or combination that is used to add security functionalities, remove vulnerabilities or prevent their exploitation in existing ... See full document

... Contributions. In this paper we describe an implementation of such a deductive verification platform for the CAO language. We show that CAO presents interesting challenges for formal verification, concerning not only the ... See full document

... of software packaging approach includes mechanisms to introduce software tests and that, when they are created by some kind of automatic generator tool, some simple tests are automatically ...the ... See full document

... The remainder of paper is composed of 8 sections. Section 2 is devoted to basic concepts cru- cial to the understanding of the rest of the paper: the notions of slicing and system dependency graph are introduced. Section ... See full document

... other open source ...in open source infrastructure soft- ware such as the Linux kernel and the OpenSSL cryptographic library [LBP + 09, LLH + ...GPLv2 open source ... See full document

... the Software Quality Observatory for Open Source Software (SQO-OSS) European Community’s Sixth Framework ...of software projects which integrates with a diverse set of revision control ... See full document

... target software product, a fiscal software for electronic cash registers (ECR) (fiscal software is now a reality in over 30 Countries), must be approved by the Government on the basis of evidence ... See full document

... the source code is one of the fundamental principles that underlies ...any source code is committed to the repository [HS02], performed in a distributed, asynchronous ...in software engineering ... See full document

... Metrics database retrieval system uses a combination of tools 3 to retrieve data from projects (e.g. GNOME and Apache) and forges (e.g. SourceForge) and computes various code and community metrics. The CVSAnalY2 [ARG06, ... See full document

... independent software vendors (ISVs) wishing to support the Linux platform in their ...The source of the problem is that dif- ferent distributions have different sets of system libraries that vary in the ... See full document

... Open source software (OSS) development has proved to be successful over the years and has delivered some high-quality system and application ...of open source developers’ ...into ... See full document

... Code review is frequently used in open source projects. But in our context, this direction does not look too promising. First of all, code review is not very attractive to students. And secondly, benefits, ... See full document

... normal software sales), the company decides that it is no longer in their interest to continue with development of the application or that the ongoing development would be better served by a different business ... See full document

... in source code that might indicate the presence of a certain kind of ...in source code sought by the checker is refined, to exclude as many of the false positives as possible, without excluding the real ... See full document

... The paper presents a technique that can be used to apply formal methods to the certification of component-based software systems, e.g. for conformance testing and generation of test case suites. A model for ... See full document