67

Comprehensive analysis of FBD test coverage criteria using mutants

Year:
2016
Language:
english
File:
PDF, 1.02 MB
english, 2016
77

An empirical study of supplementary patches in open source projects

Year:
2017
Language:
english
File:
PDF, 3.24 MB
english, 2017
79

Timing consistency checking for UML/MARTE behavioral models

Year:
2016
Language:
english
File:
PDF, 5.01 MB
english, 2016
96

Experimental Performance Comparison of Dynamic Data Race Detection Techniques

Year:
2017
Language:
english
File:
PDF, 1.17 MB
english, 2017
100

Efficient noise injection for exposing hidden data races

Year:
2019
Language:
english
File:
PDF, 2.97 MB
english, 2019