Analyzing a Semantics-Aware Bug Seeding Tool's Efficacy: A qualitative study with the SemSeed tool-Reference-Cited by-同舟云学术

Analyzing a Semantics-Aware Bug Seeding Tool's Efficacy: A qualitative study with the SemSeed tool

Published:2023-09-25 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the XXXVII Brazilian Symposium on Software Engineering
language:
Short-container-title:

Author:

Martins ViníCius¹^ORCID,T. Ramalho Camila¹^ORCID,Cordeiro Marques Lucas¹^ORCID,Alves Pereira Juliana¹^ORCID,Garcia Alessandro¹^ORCID,Lucena Carlos¹^ORCID,Feijó Bruno¹^ORCID,L. Furtado Antonio¹^ORCID

Affiliation:

1. Pontifical Catholic University of Rio de Janeiro (PUC-Rio), Brazil

Publisher

ACM

Link

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

Reference29 articles.

1. SELECT—a formal system for testing and debugging programs by symbolic execution

2. David Bingham Brown , Michael Vaughn , Ben Liblit , and Thomas Reps . 2017. The Care and Feeding of Wild-Caught Mutants . In ESEC/FSE 2017: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering. 511–522. David Bingham Brown, Michael Vaughn, Ben Liblit, and Thomas Reps. 2017. The Care and Feeding of Wild-Caught Mutants. In ESEC/FSE 2017: Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering. 511–522.

3. Juliet Corbin and Anselm Strauss . 2014. Basics of qualitative research: Techniques and procedures for developing grounded theory . Sage publications. Juliet Corbin and Anselm Strauss. 2014. Basics of qualitative research: Techniques and procedures for developing grounded theory. Sage publications.

4. Brendan Dolan-Gavitt , Patrick Hulin† , Engin Kirda , Tim Leek , Andrea Mambretti , Wil Robertson , Frederick Ulrich , and Ryan Whelan . 2016 . LAVA: Large-scale Automated Vulnerability Addition. In IEEE Symposium on Security and Privacy. IEEE, 110–121 . Brendan Dolan-Gavitt, Patrick Hulin†, Engin Kirda, Tim Leek, Andrea Mambretti, Wil Robertson, Frederick Ulrich, and Ryan Whelan. 2016. LAVA: Large-scale Automated Vulnerability Addition. In IEEE Symposium on Security and Privacy. IEEE, 110–121.

5. Adaptive knowledge assessment using advanced concept maps with logic branching multiple-choice Google Forms