A Strategy to Support the Infeasible Test Requirements Identification-Reference-Cited by-同舟云学术

A Strategy to Support the Infeasible Test Requirements Identification

Published:2022-10-03 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 7th Brazilian Symposium on Systematic and Automated Software Testing
language:
Short-container-title:

Author:

Choma Neto João¹,Chagas Ricardo¹,Mori Allan¹,Vilela Ricardo¹,Colanzi Thelma²,Souza Simone¹

Affiliation:

1. University of São Paulo, Brazil

2. State University of Maringa, Brazil

Funder

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

Publisher

ACM

Link

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

Reference39 articles.

1. K. Baral and J. Offutt . 2020 . An Empirical Analysis of Blind Tests. In 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST). 254–262 . K. Baral and J. Offutt. 2020. An Empirical Analysis of Blind Tests. In 2020 IEEE 13th International Conference on Software Testing, Validation and Verification (ICST). 254–262.

2. B Barhoush and I Alsmadi . 2013. Infeasible Paths Detection Using Static Analysis. Ijj.Acm.Org II , Iii ( 2013 ). http://ijj.acm.org/volumes/volume2/issue3/ijjvol2no34.pdf B Barhoush and I Alsmadi. 2013. Infeasible Paths Detection Using Static Analysis. Ijj.Acm.Org II, Iii (2013). http://ijj.acm.org/volumes/volume2/issue3/ijjvol2no34.pdf

3. Blind. 2021. Blind. Blind. 2021. Blind.

4. Refining data flow information using infeasible paths

5. JR Brown . 1972 . Practical applications of automated software tools . In Proceedings of the Western Electronic Show and Convention (WESCON) Los Angeles California September. 19–22 . JR Brown. 1972. Practical applications of automated software tools. In Proceedings of the Western Electronic Show and Convention (WESCON) Los Angeles California September. 19–22.