( en | de | ru )

 

Disambiguation of "Jaffar, Joxan"

Author of the publication

copydeleteadd this publication to your clipboard
Optimal MC/DC test case generation.

, , and . ICSE (Companion Volume), page 288-289. IEEE / ACM, (2019)

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. You can also use the button next to the name to display some publications already assigned to the person.

Sadik Jaffar Saad

 

Other publications of authors with the same name

TracerX: Dynamic Symbolic Execution with Interpolation (Competition Contribution)., , , and . FASE, volume 12076 of Lecture Notes in Computer Science, page 530-534. Springer, (2020)A CLP Proof Method for Timed Automata., , and . RTSS, page 175-186. IEEE Computer Society, (2004)Functional Elimination and 0/1/All Constraints., , and . AAAI/IAAI, page 175-180. AAAI Press / The MIT Press, (1999)A Methodology for Managing Hard Constraints in CLP Systems., , and . PLDI, page 306-316. ACM, (1991)An Abstract Machine for CLP(R)., , , and . PLDI, page 128-139. ACM, (1992)A CLP Approach to Modelling Systems.. ICFEM, volume 3308 of Lecture Notes in Computer Science, page 14. Springer, (2004)Open Constraint Programming., and . CP, volume 1520 of Lecture Notes in Computer Science, page 1. Springer, (1998)Lazy Symbolic Execution for Enhanced Learning., , and . RV, volume 8734 of Lecture Notes in Computer Science, page 323-339. Springer, (2014)A Framework to Synergize Partial Order Reduction with State Interpolation., and . Haifa Verification Conference, volume 8855 of Lecture Notes in Computer Science, page 171-187. Springer, (2014)Beyond Finite Domains., , , and . PPCP, volume 874 of Lecture Notes in Computer Science, page 86-94. Springer, (1994)