English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools annual

Global: Zendy Free Plan

Global: Zendy Tools monthly

Global: Zendy Plus monthly

The paper is devoted to the mutation testing technique that is widely used when testing different software tools. A short survey of existing methods and tools for mutation testing is presented in the paper. We classify existing methods: some of them rely on injecting bugs into a program under test while other use a formal model of the software in order to inject errors. We also provide a short description of existing tools that support both approaches. We further discuss how these two approaches might be combined for the mutation based test generation with the guaranteed fault coverage.

Software Mutation Testing: Towards Combining Program and Model Based Techniques