13 citations · 16 across the 3 of their papers we have counts for
1 paper · 1 filter
Dirk Beyer, Stefan Löwe, Evgeny Novikov +2
Continuous testing during development is a well-established technique for software-quality assurance. Continuous model checking from revision to revision is not yet established as…