نتایج جستجو برای: under constraint cdpm
تعداد نتایج: 1114294 فیلتر نتایج به سال:
Journal:
:IEEE Transactions on Communications
2010
Journal:
:Journal of Complexity
2004
Journal:
:SSRN Electronic Journal
2014
Journal:
:Journal of Mathematics Research
2020
Journal:
:IEEE Transactions on Signal Processing
2013
Journal:
:Open Journal of Business and Management
2020
Journal:
:Social Science Research Network
2022
Journal:
:Sci. Comput. Program.
2015
Bernhard K. Aichernig
Elisabeth Jöbstl
Stefan Tiran
In model-based mutation testing, a test model is mutated for test case generation. The resulting test cases are able to detect whether the faults in the mutated models have been implemented in the system under test. For this purpose, a conformance check between the original and the mutated model is required. The generated counterexamples serve as basis for the test cases. Unfortunately, conform...
Journal:
:IEEE Access
2020
Journal:
:Doklady BGUIR
2019
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید