Towards Symbolic Model-Based Mutation Testing: Combining Reachability and Refinement Checking

Bernhard Aichernig, Elisabeth Jöbstl

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-review

Filter
Finished

Search results