Publications
Export 1 results:
Author Title [ Type
] Year Filters: Keyword is Model-based checking and Author is Panagiotis Sotiropoulos [Clear All Filters]
.
2020. Detection of intermittent faults in software programs through identification of suspicious shared variable access patterns. Journal of Systems and Software. 159:110455.