Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing-Reference-Cited by-同舟云学术

Symbolic Input-Output Conformance Checking for Model-Based Mutation Testing

Author:

Aichernig Bernhard K.,Tappler Martin

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference22 articles.

1. Modeling in Event-B: System and Software Engineering;Abrial,2010

2. Model-based Mutation Testing of Hybrid Systems;Aichernig,2010

3. Killing strategies for model-based mutation testing;Aichernig;Software Testing, Verification and Reliability,2014

4. From faults via test purposes to test cases: on the fault-based testing of concurrent systems;Aichernig,2006

5. Efficient refinement checking for model-based mutation testing;Aichernig,2012

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

2. Mutation Analysis and Model Checking Guided Test Generation for SoC Run-Time Monitors;2023 36th International Conference on VLSI Design and 2023 22nd International Conference on Embedded Systems (VLSID);2023-01

3. Coverage Criteria for State-Based Testing;Research Anthology on Agile Software, Software Development, and Testing;2022