diff options
author | Kristóf Marussy <kristof@marussy.com> | 2023-12-05 14:46:44 +0100 |
---|---|---|
committer | Kristóf Marussy <kristof@marussy.com> | 2023-12-05 14:46:44 +0100 |
commit | 3a14031966a57f30ebb200e2baf904b97f5fea3f (patch) | |
tree | 83ae40361ba7bb1c93643d0ac7e5b47a10a21f7c | |
parent | chore(deps): Java 21 (diff) | |
download | refinery-3a14031966a57f30ebb200e2baf904b97f5fea3f.tar.gz refinery-3a14031966a57f30ebb200e2baf904b97f5fea3f.tar.zst refinery-3a14031966a57f30ebb200e2baf904b97f5fea3f.zip |
fix: typo
-rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -46,7 +46,7 @@ J. Object Technol. **19**(3): 3:1-22 (2020) [[doi](https://doi.org/10.5381/jot.2 | |||
46 | * O. Semeráth, R. Farkas, G. Bergmann, D. Varró: _Diversity of graph models and graph generators in mutation testing._ Int. J. Softw. Tools Technol. Transf. **22**(1): 57-78 (2020) [[doi](https://doi.org/10.1007/s10009-019-00530-6)] [[pdf](https://link.springer.com/content/pdf/10.1007/s10009-019-00530-6.pdf?pdf=button)] | 46 | * O. Semeráth, R. Farkas, G. Bergmann, D. Varró: _Diversity of graph models and graph generators in mutation testing._ Int. J. Softw. Tools Technol. Transf. **22**(1): 57-78 (2020) [[doi](https://doi.org/10.1007/s10009-019-00530-6)] [[pdf](https://link.springer.com/content/pdf/10.1007/s10009-019-00530-6.pdf?pdf=button)] |
47 | * O. Semeráth, A. Babikian, B. Chen, C. Li, K. Marussy, G. Szárnyas, D. Varró: _Automated generation of consistent, diverse and structurally realistic graph models._ Softw. Syst. Model. **20**(5): 1713-1734 (2021) [[doi](https://doi.org/10.1007/s10270-021-00884-z)] [[pdf](https://link.springer.com/content/pdf/10.1007/s10270-021-00884-z.pdf?pdf=button)] | 47 | * O. Semeráth, A. Babikian, B. Chen, C. Li, K. Marussy, G. Szárnyas, D. Varró: _Automated generation of consistent, diverse and structurally realistic graph models._ Softw. Syst. Model. **20**(5): 1713-1734 (2021) [[doi](https://doi.org/10.1007/s10270-021-00884-z)] [[pdf](https://link.springer.com/content/pdf/10.1007/s10270-021-00884-z.pdf?pdf=button)] |
48 | 48 | ||
49 | ### Correcness proofs | 49 | ### Correctness proofs |
50 | 50 | ||
51 | * D. Varró, O. Semeráth, G. Szárnyas, Á. Horváth: “Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models.” _Graph Transformation, Specifications, and Nets 2018:_ 285-312 [[doi](https://doi.org/10.1007/978-3-319-75396-6_16)] [[pdf](https://inf.mit.bme.hu/sites/default/files/publications/fmhe-model-generation.pdf)] | 51 | * D. Varró, O. Semeráth, G. Szárnyas, Á. Horváth: “Towards the Automated Generation of Consistent, Diverse, Scalable and Realistic Graph Models.” _Graph Transformation, Specifications, and Nets 2018:_ 285-312 [[doi](https://doi.org/10.1007/978-3-319-75396-6_16)] [[pdf](https://inf.mit.bme.hu/sites/default/files/publications/fmhe-model-generation.pdf)] |
52 | 52 | ||