“…By the use of this specification PHACT was able to detect 21 of the 27 faulty implementations. Manual TPs 10 195 75 0 17 P 10 195 75 0 17 A 10 195 75 0 17 D 16 328 104 0 17 C 29 650 133 0 18 CD 72 1678 266 0 18 MCDC 13 262 89 0 17 R 160 3503 817 0 18 Microsoft's SPECEXPLORER tool [36] has been applied to the Conference Protocol by Botinčan and Novaković [37]. Unfortunately, they did not use the 27 available faulty implementations but developed 3 mutants by their own.…”
“…By the use of this specification PHACT was able to detect 21 of the 27 faulty implementations. Manual TPs 10 195 75 0 17 P 10 195 75 0 17 A 10 195 75 0 17 D 16 328 104 0 17 C 29 650 133 0 18 CD 72 1678 266 0 18 MCDC 13 262 89 0 17 R 160 3503 817 0 18 Microsoft's SPECEXPLORER tool [36] has been applied to the Conference Protocol by Botinčan and Novaković [37]. Unfortunately, they did not use the 27 available faulty implementations but developed 3 mutants by their own.…”
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.