Journal article
JBSE: a symbolic executor for Java programs with complex heap inputs
- Braione, Pietro University of Milano-Bicocca, Italy
- Denaro, Giovanni University of Milano-Bicocca, Italy
- Pezzè, Mauro University of Lugano, Switzerland
Published in:
- Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering - FSE 2016. - ACM Press. - 2016
- Language
-
- English
- Open access status
- closed
- Identifiers
- Persistent URL
- https://sonar.ch/global/documents/41183
Statistics
Document views: 27
File downloads: