Vol. 33 (2010): Foundations and Techniques for Open Source Software Certification 2010

DOI: https://doi.org/10.14279/tuj.eceasst.33

Published: 2010-12-10

Articles

Using Free/Libre Open Source Software Projects as E-learning Tools

Antonio Cerone, Sulayman Sowe
- PDF
Clang and Coccinelle: Synergising program analysis tools for CERT C Secure Coding Standard certification

Mads Olesen, Rene Hansen, Julia Lawall, Nicolas Palix
- PDF
Methodologies and Tools for OSS: Current State of the Practice

Zulqarnain Hashmi, Siraj Shaikh, Naveed Ikram
- PDF
Safe Integration of Annotated Components in Open Source Projects

Sergio Areias, Daniela Cruz, Pedro Henriques, Jorge Pinto
- PDF
Security in Open Model Software with Hardware Virtualisation – The Railway Control System Perspective

Johannes Feuser, Jan Peleska
- PDF
Testing as a Certification Approach

Alberto Simões, Nuno Carvalho, José Almeida
- PDF
Component Certification as a Prerequisite forWidespread OSS Reuse

George Kakarontzas, Panagiotis Katsaros, Ioannis Stamelos
- PDF
Open Source Verification under a Cloud

Peter Breuer, Simon Pickin
- PDF
Integrating Data from Multiple Repositories to Analyze Patterns of Contribution in FOSS Projects

Sulayman Sowe, Antonio Cerone
- PDF
A Deductive Verification Platform for Cryptographic Software

Manuel Barbosa, J. Pinto, J.-C. Filliatre, B. Vieira
- PDF
Security Evaluation and Hardening of Free and Open Source Software (FOSS)

Robert Charpentier, Mourad Debbabi, Dima Alhadidi, Azzam Mourad, Nadia Belblidia, Amine Boukhtouta, Aiman Hanna, Rachid Hadjidj, Hakim Kaitouni, Marc-André Laverdière, Hai Ling, Syrine Tlili, Xiaochun Yang, Zhenrong Yang
- PDF
GUI Inspection from Source Code Analysis

Joao Silva, José Creissac, Joao Saraiva
- PDF
Damages and Benefits of Certification: A perspective from an Independent Assessment Body

Mario Fusani, Eda Marchetti
- PDF

Preface

Preface

Luis Barbosa, Antonio Cerone, Siraj Shaikh
- PDF