Automatic support for the identification of infeasible testing requirements-Reference-Cited by-同舟云学术

Automatic support for the identification of infeasible testing requirements

Published:2020-07-13 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 29th ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Choma Neto João¹

Affiliation:

1. University of São Paulo, Brazil

Funder

Fundação de Amparo à Pesquisa do Estado de São Paulo - FAPESP

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3395363.3402646

Reference31 articles.

1. Facilitating efficient synchronization of asymmetric threads on hyper-threaded processors

2. B Barhoush and I Alsmadi. 2013. Infeasible Paths Detection Using Static Analysis. Ijj.Acm. Org II Iii ( 2013 ). B Barhoush and I Alsmadi. 2013. Infeasible Paths Detection Using Static Analysis. Ijj.Acm. Org II Iii ( 2013 ).

3. R Bodík R Gupta and M L Sofa. 1997. Refining data flow information using infeasible paths. ACM SIGSOFT Software Engineering Notes 22 6 ( 1997 ) 361-377. R Bodík R Gupta and M L Sofa. 1997. Refining data flow information using infeasible paths. ACM SIGSOFT Software Engineering Notes 22 6 ( 1997 ) 361-377.

4. Identification of potentially infeasible program paths by monitoring the search for test data

Cited by 2 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Enhanced Static Taint Analysis Approach to Detect Input Validation Vulnerability;Journal of King Saud University - Computer and Information Sciences;2023-02

2. An Approach for Detecting Feasible Paths Based on Minimal SSA Representation and Symbolic Execution;Applied Sciences;2021-06-10