( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
TestMC: Testing Model Counters using Differential and Metamorphic Testing.

, , и . ASE, стр. 709-721. IEEE, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Sarfraz Khurshid

Safiya Khurshid

Adnan Sarfraz

Sarfraz Nawaz

Nawal Khurshid Said

 

Другие публикации лиц с тем же именем

Integrating Model Checking and Theorem Proving for Relational Reasoning, , , и . (2004)A Study of Learning Data Structure Invariants Using Off-the-shelf Tools., , , , , и . SPIN, том 11636 из Lecture Notes in Computer Science, стр. 226-243. Springer, (2019)Learning to Optimize the Alloy Analyzer., , , и . ICST, стр. 228-239. IEEE, (2019)Distributed Symbolic Execution using Test-Depth Partitioning., и . CoRR, (2021)A Study of Symmetry Breaking Predicates and Model Counting., , , , , и . TACAS (1), том 12078 из Lecture Notes in Computer Science, стр. 115-134. Springer, (2020)Quantifying the Exploration of the Korat Solver for Imperative Constraints., , , , и . ACM SIGSOFT Softw. Eng. Notes, 44 (4): 15 (2019)Extension-Aware Automated Testing Based on Imperative Predicates., , , и . ICST, стр. 25-36. IEEE, (2019)Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural Networks., , , , и . ASE, стр. 104-115. IEEE, (2023)SAPIENTML: Synthesizing Machine Learning Pipelines by Learning from Human-Written Solutions., , , , , , , , и . ICSE, стр. 1932-1944. ACM, (2022)Learning Guided Enumerative Synthesis for Superoptimization., , и . SPIN, том 11636 из Lecture Notes in Computer Science, стр. 172-192. Springer, (2019)