Journal article

Reference Abstract Domains and Applications to String Analysis

Roberto Amadini, Graeme Gange, Francois Gauthier, Alexander Jordan, Peter Schachte, Harald Sondergaard, Peter J Stuckey, Chenyi Zhang

Fundamenta Informaticae | IOS PRESS | Published : 2018

DOI: 10.3233/FI-2018-1650

Related Projects (2)

Project icon

Effective Software Vulnerability Detection For Web Services

This project aims to design and implement new and better methods to find vulnerabilities in software services delivered over the web or thro..

Project icon

Effective Software Vulnerability Detection For Web Services

This project aims to design and implement new and better methods to find vulnerabilities in software services delivered over the web or thro..

Grants

Awarded by Australian Research Council

Funding Acknowledgements

We thank the anonymous reviewers for helpful comments on our initial manuscript. The work has been supported by the Australian Research Council through Linkage Project Grant LP140100437 and Discovery Early Career Researcher Award DE160100568.

Citation metrics

1Web of Science
1Scopus

Keywords

Mathematics
Science & Technology
Mathematics, Applied
Technology
Computer Science, Software Engineering
Computer Science
Physical Sciences