Mining assumptions for software components using machine learning-Reference-Cited by-同舟云学术

Mining assumptions for software components using machine learning

Published:2020-11-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Gaaloul Khouloud¹,Menghi Claudio¹,Nejati Shiva²,Briand Lionel C.²,Wolfe David³

Affiliation:

1. University of Luxembourg, Luxembourg

2. University of Ottawa, Canada / University of Luxembourg, Luxembourg

3. QRA, Canada

Funder

Fonds National de la Recherche Luxembourg

H2020 European Research Council

Natural Sciences and Engineering Research Council of Canada

Publisher

ACM

Link

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

Reference67 articles.

1. 2019. Autopilot online documents. https://nl.mathworks.com/matlabcentral/ ifleexchange/41490-autopilot-demo-for-arp4754a-do-178c-and-do331?focused=6796756&tab=model. Accessed: 2019-08-07. 2019. Autopilot online documents. https://nl.mathworks.com/matlabcentral/ ifleexchange/41490-autopilot-demo-for-arp4754a-do-178c-and-do331?focused=6796756&tab=model. Accessed: 2019-08-07.

2. 2019. DHC-2model. http://www.dutchroll.com. Accessed: 2019-10-24. 2019. DHC-2model. http://www.dutchroll.com. Accessed: 2019-10-24.

3. 2020. Additional Material. https://github.com/SNTSVV/EPIcuRus 2020. Additional Material. https://github.com/SNTSVV/EPIcuRus

4. 2020. fitctree. https://nl.mathworks.com/help/stats/fitctree.html 2020. fitctree. https://nl.mathworks.com/help/stats/fitctree.html

5. 2020. QVtrace. https://qracorp.com/qvtrace/ 2020. QVtrace. https://qracorp.com/qvtrace/

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

1. Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions;ACM Transactions on Software Engineering and Methodology;2023-12-23

2. Test Generation Strategies for Building Failure Models and Explaining Spurious Failures;ACM Transactions on Software Engineering and Methodology;2023-12-21

3. Contract-Based Specification Refinement and Repair for Mission Planning;2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE);2023-05

4. Learning Non-robustness using Simulation-based Testing: a Network Traffic-shaping Case Study;2023 IEEE Conference on Software Testing, Verification and Validation (ICST);2023-04

5. Computing Adequately Permissive Assumptions for Synthesis;Tools and Algorithms for the Construction and Analysis of Systems;2023