Cited By
View all- Fragoso Santos JMaksimović PSampaio GGardner P(2019)JaVerT 2.0: compositional symbolic execution for JavaScriptProceedings of the ACM on Programming Languages10.1145/32903793:POPL(1-31)Online publication date: 2-Jan-2019
- Rutledge RPark SKhan HOrso APrvulovic MZajic AAtlee JBultan TWhittle J(2019)Zero-overhead path prediction with progressive symbolic executionProceedings of the 41st International Conference on Software Engineering10.1109/ICSE.2019.00039(234-245)Online publication date: 25-May-2019
- Álvarez-Rodríguez JAlor-Hernández GMejía-Miranda J(2018)Survey of Scientific Programming Techniques for the Management of Data-Intensive Engineering EnvironmentsScientific Programming10.1155/2018/84674132018Online publication date: 30-Oct-2018
- Show More Cited By