Conference Proceedings

Compositional symbolic execution using fine-grained summaries

Y Lin, T Miller, H SONDERGAARD

2015 24th Australasian Software Engineering Conference | IEEE | Published : 2015

DOI: 10.1109/ASWEC.2015.32

University of Melbourne Researchers

Harald Sondergaard Author Computing and Information Systems

Timothy Miller Author Computing and Information Systems

Citation metrics

4Web of Science

Keywords

Test-Generation

Science & Technology

Computer Science, Software Engineering

Computer Science