Complementing machine learning classifiers via dynamic symbolic execution-Reference-Cited by-同舟云学术

Complementing machine learning classifiers via dynamic symbolic execution

Published:2018-05-28 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 6th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering
language:
Short-container-title:

Author:

Shrestha Sohil L.¹,Panda Saroj¹,Csallner Christoph¹

Affiliation:

1. The University of Texas at Arlington

Publisher

ACM

Link

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

Reference29 articles.

1. Learning regular sets from queries and counterexamples

2. A machine learning approach to sentiment analysis in multilingual Web texts

3. Sigma*

4. Active learning for automatic classification of software behavior

5. Yuriy Brun and Michael D. Ernst . 2004. Finding Latent Code Errors via Machine Learning over Program Executions . In Proc. 26th Intl. Conference on Software Engineering (ICSE). IEEE Computer Society, 480--490 . Yuriy Brun and Michael D. Ernst. 2004. Finding Latent Code Errors via Machine Learning over Program Executions. In Proc. 26th Intl. Conference on Software Engineering (ICSE). IEEE Computer Society, 480--490.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Harnessing Large Language Models for Simulink Toolchain Testing and Developing Diverse Open-Source Corpora of Simulink Models for Metric and Evolution Analysis;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12

2. Deep learning in environmental remote sensing: Achievements and challenges;Remote Sensing of Environment;2020-05

3. An Efficient Energy-Aware Tasks Scheduling with Deadline-Constrained in Cloud Computing;Computers;2019-06-10

4. Beyond Dyadic Interactions;Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems;2019-05-02