Preprint
HeteroGenius: A Framework for Hybrid Analysis of Heterogeneous Software Specifications
Abstract
Nowadays, software artifacts are ubiquitous in our lives being an essential
part of home appliances, cars, cell phones, and even in more critical
Authors
Giménez M; Moscato MM; Pombo CGL; Frias MF
Publication date
January 5, 2014
DOI
10.48550/arxiv.1401.0974
Preprint server
arXiv