Article ID Journal Published Year Pages File Type
6948079 Information and Software Technology 2018 25 Pages PDF
Abstract
Experimental results on different set of benchmarks show that the proposed approaches are faster and more accurate in comparison with the existing meta-heuristic and evolutionary techniques in model checking of complex software systems specified through graph transformations.
Keywords
Related Topics
Physical Sciences and Engineering Computer Science Human-Computer Interaction
Preview
Searching for violation of safety and liveness properties using knowledge discovery in complex systems specified through graph transformations
Authors
, , ,