Using Semantic Metrics to Predict Mutation Equivalence

Communications in Computer and Information Science - Software Technologies ◽

10.1007/978-3-030-29157-0_1 ◽

2019 ◽

pp. 3-27 ◽

Cited By ~ 2

Author(s):

Amani Ayad ◽

Imen Marsit ◽

Nazih Mohamed Omri ◽

JiMeng Loh ◽

Ali Mili

Keyword(s):

Semantic Metrics

Download Full-text

Towards a New Semantic Metric for Error Detection Based on Program State Redundancy

International Journal of Systems and Service-Oriented Engineering ◽

10.4018/ijssoe.2021070101 ◽

2021 ◽

Vol 11 (2) ◽

pp. 1-23

Author(s):

Dalila Amara Amara ◽

Latifa Ben Arfa Rabai

Keyword(s):

Fault Tolerance ◽

Empirical Study ◽

Error Detection ◽

Final States ◽

Internal States ◽

Common Concept ◽

Program Redundancy ◽

Semantic Metrics

Fault tolerance techniques are generally based around a common concept that is redundancy whose measurement is required. A suite of four semantic metrics is proposed to assess program redundancy and reflect their ability to tolerate faults. Literature shows that one of these metrics, namely state redundancy, is limited to compute program redundancy only in their initial and final states and ignores their internal states. Consequently, the authors focus in this paper to overcome this shortcoming by proposing a new redundancy-based semantic metric that computes the redundancy of the different program states including internal ones. The empirical study they perform shows that the proposed metric is a measure of program redundancy in one side and is an error detection indicator in another side. Moreover, they demonstrate that it is more accurate than the basic state redundancy metric in detecting masked errors. It is useful for testers to indicate if a tested program is error-free and to pinpoint the presence of masked errors even if the final states are equal to the expected ones.

Download Full-text

A semantic metrics suite for evaluating modular ontologies

Information Systems ◽

10.1016/j.is.2012.11.012 ◽

2013 ◽

Vol 38 (5) ◽

pp. 745-770 ◽

Cited By ~ 18

Author(s):

Faezeh Ensan ◽

Weichang Du

Keyword(s):

Semantic Metrics

Download Full-text

EXPLORING THE APPLICABILITY OF SEMANTIC METRICS FOR THE ANALYSIS OF DESIGN PROTOCOL DATA IN COLLABORATIVE DESIGN SESSIONS

Proceedings of the Design Society: DESIGN Conference ◽

10.1017/dsd.2020.141 ◽

2020 ◽

Vol 1 ◽

pp. 1205-1214

Author(s):

N. Becattini ◽

G. V. Georgiev ◽

Y. Barhoush ◽

G. Cascini

Keyword(s):

Information Content ◽

Collaborative Design ◽

Test Bench ◽

Lexical Database ◽

Packaging Design ◽

Similarity Maps ◽

Design Protocol ◽

Sufficient Precision ◽

Semantic Metrics

AbstractThe paper presents the application of non-specialized lexical database and semantic metrics on transcripts of co-design protocols. Three different and previously analyzed design protocols of co-creative sessions in the field of packaging design, carried out with different supporting tools, are used as test-bench to highlight the potential of this approach. The results show that metrics about the Information Content and the Similarity maps with sufficient precision the differences between ICT- and non-ICT-supported sessions so that it is possible to envision future refinement of the approach.

Download Full-text