E-LIB Suche - Ergebnisse für: Jaffar, Joxan

1

TracerX: Pruning Dynamic Symbolic Execution with Deletion a..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Dutta, Arpita ; Maghareh, Rasool ; Jaffar, Joxan.. - p. 320-325 , 2024

Link: https://doi.org/10.1007/..

2

Toward optimal mc/dc test case generation:

, In: Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis,

Godboley, Sangharatna ; Jaffar, Joxan ; Maghareh, Rasool. - p. 505-516 , 2021

Link: https://dl.acm.org/doi/1..

3

Inter-theory dependency analysis for SMT string solvers:

Trinh, Minh-Thai ; Chu, Duc-Hiep ; Jaffar, Joxan
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-27 , 2020

Link: https://doi.org/10.1145/..

4

Inter-theory dependency analysis for SMT string solvers:

Trinh, Minh-Thai ; Chu, Duc-Hiep ; Jaffar, Joxan
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-27 , 2020

Link: https://dl.acm.org/doi/1..

5

TracerX: Dynamic Symbolic Execution with Interpolation (Com..:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Jaffar, Joxan ; Maghareh, Rasool ; Godboley, Sangharatna. - p. 530-534 , 2020

Link: https://doi.org/10.1007/..

6

Optimal MC/DC Test Case Generation:

, In: 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion),

Jaffar, Joxan ; Godboley, Sangharatna ; Maghareh, Rasool - p. 288-289 , 2019

Link: https://doi.org/10.1109/..

7

Optimal MC/DC test case generation:

, In: Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings,

Jaffar, Joxan ; Godboley, Sangharatna ; Maghareh, Rasool - p. 288-289 , 2019

Link: https://dl.acm.org/doi/1..

8

Shape Neutral Analysis of Graph-based Data-structures:

DUCK, GREGORY J. ; JAFFAR, JOXAN ; YAP, ROLAND H. C.
Theory and Practice of Logic Programming. 18 (2018) 3-4 - p. 470-483 , 2018

Link: https://doi.org/10.1017/..

9

Symbolic execution for memory consumption analysis:

, In: Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools, and Theory for Embedded Systems,

Chu, Duc-Hiep ; Jaffar, Joxan ; Maghareh, Rasool - p. 62-71 , 2016

Link: https://dl.acm.org/doi/1..

10

Symbolic execution for memory consumption analysis:

Chu, Duc-Hiep ; Jaffar, Joxan ; Maghareh, Rasool
ACM SIGPLAN Notices. 51 (2016) 5 - p. 62-71 , 2016

Link: https://doi.org/10.1145/..

11

Automatic induction proofs of data-structures in imperative..:

, In: Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation,

Chu, Duc-Hiep ; Jaffar, Joxan ; Trinh, Minh-Thai - p. 457-466 , 2015

Link: https://dl.acm.org/doi/1..

12

Automatic induction proofs of data-structures in imperative..:

Chu, Duc-Hiep ; Jaffar, Joxan ; Trinh, Minh-Thai
ACM SIGPLAN Notices. 50 (2015) 6 - p. 457-466 , 2015

Link: https://doi.org/10.1145/..

13

S3 : A Symbolic String Solver for Vulnerability Detectio..:

, In: Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security,

Trinh, Minh-Thai ; Chu, Duc-Hiep ; Jaffar, Joxan - p. 1232-1243 , 2014

Link: https://dl.acm.org/doi/1..

14

A path-sensitively sliced control flow graph:

, In: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering,

Jaffar, Joxan ; Murali, Vijayaraghavan - p. 133-143 , 2014

Link: https://dl.acm.org/doi/1..

15

Path-sensitive resource analysis compliant with assertions:

, In: Proceedings of the Eleventh ACM International Conference on Embedded Software,

Chu, Duc-Hiep ; Jaffar, Joxan - p. 1-10 , 2013

Link: https://dl.acm.org/doi/1..