Refinement Mining: Using Data to Sift Plausible Models-Reference-Cited by-同舟云学术

Refinement Mining: Using Data to Sift Plausible Models

Published:2016 Issue: Volume: Page:26-41
ISSN:0302-9743
Container-title:Software Technologies: Applications and Foundations
language:
Short-container-title:

Author:

Cerone Antonio

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-50230-4_3

Reference17 articles.

1. Basuki, T.A., Cerone, A., Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Rossi, E.: Modelling the dynamics of an Aedes albopictus population. In: Proceedings of AMCA-POP 2010, Electronic Proceedings in Theoretical Computer Science, vol. 227, pp. 37–58 (2010)

2. Cerone, A.: Learning and activity patterns in OSS communities and their impact on software quality. In: Proceedings of OpenCert 2011, ECEASST, vol. 48 (2012)

3. Lecture Notes in Computer Science;A Cerone,2015

4. Lecture Notes in Computer Science;A Cerone,2016

5. Lecture Notes in Computer Science;M Češka,2014

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

1. Multifaceted Formal Methods and their Interdisciplinary Role — from the Cathedral of ‘Components as Coalgebras’ to the HCI Context and the Open Source Software Bazaar;Journal of Logical and Algebraic Methods in Programming;2024-09

2. Ten Years of DataMod: The Synergy of Data-Driven and Model-Based Approaches;From Data to Models and Back;2022

3. FormalMiner: A Formal Framework for Refinement Mining;Software Technologies: Applications and Foundations;2018

4. Model mining;Journal of Intelligent Information Systems;2017-09-13