Skip to main content

Showing 1–3 of 3 results for author: Di Giandomenico, F

Searching in archive cs. Search in all archives.
.
  1. arXiv:2304.14768  [pdf, other

    cs.SE

    Cross-coverage testing of functionally equivalent programs

    Authors: Antonia Bertolino, Guglielmo De Angelis, Felicita Di Giandomenico, Francesca Lonetti

    Abstract: Cross-coverage of a program P refers to the test coverage measured over a different program Q that is functionally equivalent to P. The novel concept of cross-coverage can find useful applications in the test of redundant software. We apply here cross-coverage for test suite augmentation and show that additional test cases generated from the coverage of an equivalent program, referred to as cross… ▽ More

    Submitted 28 April, 2023; originally announced April 2023.

    Comments: 12 pages

  2. arXiv:1608.05874  [pdf, ps, other

    cs.DC

    Efficient non-anonymous composition operator for modeling complex dependable systems

    Authors: Silvano Chiaradonna, Felicita Di Giandomenico, Giulio Masetti

    Abstract: A new model composer is proposed to automatically generate non-anonymous model replicas in the context of performability and dependability evaluation. It is a state-sharing composer that extends the standard anonymous replication composer in order to share the state of a replica among a set of other specific replicas or among the eplica and another external model. This new composition operator aim… ▽ More

    Submitted 12 January, 2017; v1 submitted 20 August, 2016; originally announced August 2016.

    Comments: Editor: Gilles Tredan. 12th European Dependable Computing Conference (EDCC 2016), September 5-9, 2016, Gothenburg, Sweden. Fast Abstracts Proceedings- EDCC 2016

  3. arXiv:1211.5736  [pdf

    cs.PF

    Critical Utility Infrastructural Resilience

    Authors: Giovanna Dondossola, Geert Deconinck, Felicita Di Giandomenico, Susanna Donatelli, Mohamed Kaaniche, Paulo Verissimo

    Abstract: The paper refers to CRUTIAL, CRitical UTility InfrastructurAL Resilience, a European project within the research area of Critical Information Infrastructure Protection, with a specific focus on the infrastructures operated by power utilities, widely recognized as fundamental to national and international economy, security and quality of life. Such infrastructures faced with the recent market dereg… ▽ More

    Submitted 25 November, 2012; originally announced November 2012.

    Journal ref: International Workshop on Complex Network and Infrastructure Protection (CNIP-06), Rome : Italy (2006)