TkT: Automatic Inference of Timed and Extended Pushdown Automata
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Software Engineering"
DOI: 10.1109/tse.2020.2998527
Abstract: To mitigate the cost of manually producing and maintaining models capturing software specifications, specification mining techniques can be exploited to automatically derive up-to-date models that faithfully represent the behavior of software systems. So far, specification… read more here.
Keywords: software; behavior software; behavior; functional behavior ... See more keywords