\n \n \n
\n
\n\n \n \n \n \n \n Empirical Evaluation of the Energy Impact of Refactoring Code Smells.\n \n \n \n\n\n \n Verdecchia, R.; Saez, R.; Procaccianti, G.; and Lago, P.\n\n\n \n\n\n\n In
International Conference on ICT for Sustainability (ICT4S), 2018. \n
\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{verdecchia2018empirical,\n title={Empirical Evaluation of the Energy Impact of Refactoring Code Smells},\n author={Verdecchia, Roberto and Saez, Rene'Aparicio and Procaccianti, Giuseppe and Lago, Patricia},\n booktitle={International Conference on ICT for Sustainability (ICT4S)},\n year={2018}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n Architectural Technical Debt Identification: The Research Landscape.\n \n \n \n\n\n \n Verdecchia, R.; Malavolta, I.; and Lago, P.\n\n\n \n\n\n\n In
International Conference on Technical Debt (TechDebt), 2018. IEEE\n
\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{verdecchia2018architectural,\n title={Architectural Technical Debt Identification: The Research Landscape},\n author={Verdecchia, Roberto and Malavolta, Ivano and Lago, Patricia},\n booktitle={International Conference on Technical Debt (TechDebt)},\n year={2018},\n organization={IEEE}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n Identifying Architectural Technical Debt in Android Applications through Compliance Checking.\n \n \n \n\n\n \n Verdecchia, R.\n\n\n \n\n\n\n In
International Conference on Mobile Software Engineering and Systems (MOBILESoft), 2018. \n
\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{verdecchia2018identifying,\n title={Identifying Architectural Technical Debt in Android Applications through Compliance Checking},\n author={Verdecchia, Roberto},\n booktitle={International Conference on Mobile Software Engineering and Systems (MOBILESoft)},\n year={2018}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n FAST Approaches to Scalable Similarity-based Test Case Prioritization.\n \n \n \n\n\n \n Miranda, B.; Cruciani, E.; Verdecchia, R.; and Bertolino, A.\n\n\n \n\n\n\n In
International Conference Software Engineering (ICSE), 2018. \n
\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{miranda2018fast,\n title={FAST Approaches to Scalable Similarity-based Test Case Prioritization},\n author={Miranda, Breno and Cruciani, Emilio and Verdecchia, Roberto and Bertolino, Antonia},\n booktitle={International Conference Software Engineering (ICSE)},\n year={2018}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n Code-level Energy Hotspot Localization via Naive Spectrum Based Testing.\n \n \n \n\n\n \n Verdecchia, R.; Guldner, A.; Becker, Y.; and Kern, E.\n\n\n \n\n\n\n In
International Conference On Enviromental Informatics (EnviroInfo), 2018. \n
\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{verdecchia2018code,\n title={Code-level Energy Hotspot Localization via Naive Spectrum Based Testing},\n author={Verdecchia, Roberto and Guldner, Achim and Becker, Yannick and Kern, Eva},\n booktitle={International Conference On Enviromental Informatics (EnviroInfo)},\n year={2018}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n How Maintainability Issues of Android Apps Evolve.\n \n \n \n\n\n \n Malavolta, I.; Verdecchia, R.; Filipovic, B.; Bruntink, M.; and Lago, P.\n\n\n \n\n\n\n In
International Conference on Software Maintenance and Evolution (ICSME), 2018. \n
\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{malavolta2018maintainability,\n title={How Maintainability Issues of Android Apps Evolve},\n author={Malavolta, Ivano and Verdecchia, Roberto and Filipovic, Bojan and Bruntink, Magiel and Lago, Patricia},\n booktitle={International Conference on Software Maintenance and Evolution (ICSME)},\n year={2018}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n Architectural Technical Debt Identification: Moving Forward.\n \n \n \n\n\n \n Verdecchia, R.\n\n\n \n\n\n\n In
International Conference on Software Architecture (ICSA), 2018. \n
\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{verdecchia2018architectural,\n title={Architectural Technical Debt Identification: Moving Forward},\n author={Verdecchia, Roberto},\n booktitle={International Conference on Software Architecture (ICSA)},\n year={2018}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n Fast approaches to scalable similarity-based test case prioritization. In 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE).\n \n \n \n\n\n \n Miranda, B.; Cruciani, E.; Verdecchia, R.; and Bertolino, A.\n\n\n \n\n\n\n
IEEE, 222ś232. 2018.\n
\n\n
\n\n
\n\n
\n\n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{miranda2018fast,\n title={Fast approaches to scalable similarity-based test case prioritization. In 2018 IEEE/ACM 40th International Conference on Software Engineering (ICSE)},\n author={Miranda, Breno and Cruciani, Emilio and Verdecchia, Roberto and Bertolino, Antonia},\n journal={IEEE, 222{\\'s}232},\n year={2018}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n A Matching Theory Framework for Tasks Offloading in Fog Computing for IoT Systems.\n \n \n \n \n\n\n \n Chiti, F.; Fantacci, R.; and Picano, B.\n\n\n \n\n\n\n
IEEE Internet Things J., 5(6): 5089–5096. 2018.\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/iotj/ChitiFP18,\n author = {Francesco Chiti and\n Romano Fantacci and\n Benedetta Picano},\n title = {A Matching Theory Framework for Tasks Offloading in Fog Computing\n for IoT Systems},\n journal = {{IEEE} Internet Things J.},\n volume = {5},\n number = {6},\n pages = {5089--5096},\n year = {2018},\n url = {https://doi.org/10.1109/JIOT.2018.2871251},\n doi = {10.1109/JIOT.2018.2871251},\n timestamp = {Mon, 08 Jun 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/iotj/ChitiFP18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Detecting requirements defects with NLP patterns: an industrial experience in the railway domain.\n \n \n \n \n\n\n \n Ferrari, A.; Gori, G.; Rosadini, B.; Trotta, I.; Bacherini, S.; Fantechi, A.; and Gnesi, S.\n\n\n \n\n\n\n
Empir. Softw. Eng., 23(6): 3684–3733. 2018.\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/ese/FerrariGRTBFG18,\n author = {Alessio Ferrari and\n Gloria Gori and\n Benedetta Rosadini and\n Iacopo Trotta and\n Stefano Bacherini and\n Alessandro Fantechi and\n Stefania Gnesi},\n title = {Detecting requirements defects with {NLP} patterns: an industrial\n experience in the railway domain},\n journal = {Empir. Softw. Eng.},\n volume = {23},\n number = {6},\n pages = {3684--3733},\n year = {2018},\n url = {https://doi.org/10.1007/s10664-018-9596-7},\n doi = {10.1007/S10664-018-9596-7},\n timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/ese/FerrariGRTBFG18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel Regions.\n \n \n \n \n\n\n \n Biagi, M.; Vicario, E.; and German, R.\n\n\n \n\n\n\n In Bakhshi, R.; Ballarini, P.; Barbot, B.; Castel-Taleb, H.; and Remke, A., editor(s),
Computer Performance Engineering - 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings, volume 11178, of
Lecture Notes in Computer Science, pages 62–77, 2018. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/epew/BiagiVG18,\n author = {Marco Biagi and\n Enrico Vicario and\n Reinhard German},\n editor = {Rena Bakhshi and\n Paolo Ballarini and\n Beno{\\^{\\i}}t Barbot and\n Hind Castel{-}Taleb and\n Anne Remke},\n title = {Extending the Steady State Analysis of Hierarchical Semi-Markov Processes\n with Parallel Regions},\n booktitle = {Computer Performance Engineering - 15th European Workshop, {EPEW}\n 2018, Paris, France, October 29-30, 2018, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {11178},\n pages = {62--77},\n publisher = {Springer},\n year = {2018},\n url = {https://doi.org/10.1007/978-3-030-02227-3\\_5},\n doi = {10.1007/978-3-030-02227-3\\_5},\n timestamp = {Tue, 07 May 2024 20:13:41 +0200},\n biburl = {https://dblp.org/rec/conf/epew/BiagiVG18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow.\n \n \n \n \n\n\n \n Biagi, M.; Carnevali, L.; Tadano, K.; and Vicario, E.\n\n\n \n\n\n\n In
23rd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2018, Torino, Italy, September 4-7, 2018, pages 456–463, 2018. IEEE\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/etfa/BiagiCTV18,\n author = {Marco Biagi and\n Laura Carnevali and\n Kumiko Tadano and\n Enrico Vicario},\n title = {Evaluation of stochastic bounds on the remaining completion time of\n products in a buffered sequential workflow},\n booktitle = {23rd {IEEE} International Conference on Emerging Technologies and\n Factory Automation, {ETFA} 2018, Torino, Italy, September 4-7, 2018},\n pages = {456--463},\n publisher = {{IEEE}},\n year = {2018},\n url = {https://doi.org/10.1109/ETFA.2018.8502542},\n doi = {10.1109/ETFA.2018.8502542},\n timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},\n biburl = {https://dblp.org/rec/conf/etfa/BiagiCTV18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Hospital Inventory Management Through Markov Decision Processes @runtime.\n \n \n \n \n\n\n \n Biagi, M.; Carnevali, L.; Santoni, F.; and Vicario, E.\n\n\n \n\n\n\n In McIver, A.; and Horváth, A., editor(s),
Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, volume 11024, of
Lecture Notes in Computer Science, pages 87–103, 2018. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/qest/BiagiCSV18,\n author = {Marco Biagi and\n Laura Carnevali and\n Francesco Santoni and\n Enrico Vicario},\n editor = {Annabelle McIver and\n Andr{\\'{a}}s Horv{\\'{a}}th},\n title = {Hospital Inventory Management Through Markov Decision Processes @runtime},\n booktitle = {Quantitative Evaluation of Systems - 15th International Conference,\n {QEST} 2018, Beijing, China, September 4-7, 2018, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {11024},\n pages = {87--103},\n publisher = {Springer},\n year = {2018},\n url = {https://doi.org/10.1007/978-3-319-99154-2\\_6},\n doi = {10.1007/978-3-319-99154-2\\_6},\n timestamp = {Tue, 03 Mar 2020 12:16:34 +0100},\n biburl = {https://dblp.org/rec/conf/qest/BiagiCSV18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Deploying Digital Twins in a Lambda Architecture for Industry 4.0.\n \n \n \n \n\n\n \n Parri, J.; Sampietro, S.; and Vicario, E.\n\n\n \n\n\n\n
ERCIM News, 2018(115). 2018.\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/ercim/ParriSV18,\n author = {Jacopo Parri and\n Samuele Sampietro and\n Enrico Vicario},\n title = {Deploying Digital Twins in a Lambda Architecture for Industry 4.0},\n journal = {{ERCIM} News},\n volume = {2018},\n number = {115},\n year = {2018},\n url = {https://ercim-news.ercim.eu/en115/special/2106-deploying-digital-twins-in-a-lambda-architecture-for-industry-4-0},\n timestamp = {Wed, 22 May 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/ercim/ParriSV18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n \n\n\n \n\n\n
\n
\n\n \n \n \n \n \n \n Smart City Architecture for Data Ingestion and Analytics: Processes and Solutions.\n \n \n \n \n\n\n \n Bellini, P.; Nesi, P.; Paolucci, M.; and Zaza, I.\n\n\n \n\n\n\n In
Fourth IEEE International Conference on Big Data Computing Service and Applications, BigDataService 2018, Bamberg, Germany, March 26-29, 2018, pages 137–144, 2018. IEEE Computer Society\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/bigdataservice/BelliniNPZ18,\n author = {Pierfrancesco Bellini and\n Paolo Nesi and\n Michela Paolucci and\n Imad Zaza},\n title = {Smart City Architecture for Data Ingestion and Analytics: Processes\n and Solutions},\n booktitle = {Fourth {IEEE} International Conference on Big Data Computing Service\n and Applications, BigDataService 2018, Bamberg, Germany, March 26-29,\n 2018},\n pages = {137--144},\n publisher = {{IEEE} Computer Society},\n year = {2018},\n url = {https://doi.org/10.1109/BigDataService.2018.00028},\n doi = {10.1109/BIGDATASERVICE.2018.00028},\n timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/bigdataservice/BelliniNPZ18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Auditing and Assessment of Data Traffic Flows in an IoT Architecture.\n \n \n \n \n\n\n \n Nesi, P.; Pantaleo, G.; Paolucci, M.; and Zaza, I.\n\n\n \n\n\n\n In
4th IEEE International Conference on Collaboration and Internet Computing, CIC 2018, Philadelphia, PA, USA, October 18-20, 2018, pages 388–391, 2018. IEEE Computer Society\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/coinco/NesiPPZ18,\n author = {Paolo Nesi and\n Gianni Pantaleo and\n Michela Paolucci and\n Imad Zaza},\n title = {Auditing and Assessment of Data Traffic Flows in an IoT Architecture},\n booktitle = {4th {IEEE} International Conference on Collaboration and Internet\n Computing, {CIC} 2018, Philadelphia, PA, USA, October 18-20, 2018},\n pages = {388--391},\n publisher = {{IEEE} Computer Society},\n year = {2018},\n url = {https://doi.org/10.1109/CIC.2018.00058},\n doi = {10.1109/CIC.2018.00058},\n timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/coinco/NesiPPZ18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Towards Probabilistic Modeling and Analysis of Real-Time Systems.\n \n \n \n \n\n\n \n Carnevali, L.; Santinelli, L.; and Lipari, G.\n\n\n \n\n\n\n In Bakhshi, R.; Ballarini, P.; Barbot, B.; Castel-Taleb, H.; and Remke, A., editor(s),
Computer Performance Engineering - 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings, volume 11178, of
Lecture Notes in Computer Science, pages 157–172, 2018. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/epew/CarnevaliSL18,\n author = {Laura Carnevali and\n Luca Santinelli and\n Giuseppe Lipari},\n editor = {Rena Bakhshi and\n Paolo Ballarini and\n Beno{\\^{\\i}}t Barbot and\n Hind Castel{-}Taleb and\n Anne Remke},\n title = {Towards Probabilistic Modeling and Analysis of Real-Time Systems},\n booktitle = {Computer Performance Engineering - 15th European Workshop, {EPEW}\n 2018, Paris, France, October 29-30, 2018, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {11178},\n pages = {157--172},\n publisher = {Springer},\n year = {2018},\n url = {https://doi.org/10.1007/978-3-030-02227-3\\_11},\n doi = {10.1007/978-3-030-02227-3\\_11},\n timestamp = {Tue, 07 May 2024 20:13:41 +0200},\n biburl = {https://dblp.org/rec/conf/epew/CarnevaliSL18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Evaluation of stochastic bounds on the remaining completion time of products in a buffered sequential workflow.\n \n \n \n \n\n\n \n Biagi, M.; Carnevali, L.; Tadano, K.; and Vicario, E.\n\n\n \n\n\n\n In
23rd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2018, Torino, Italy, September 4-7, 2018, pages 456–463, 2018. IEEE\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/etfa/BiagiCTV18,\n author = {Marco Biagi and\n Laura Carnevali and\n Kumiko Tadano and\n Enrico Vicario},\n title = {Evaluation of stochastic bounds on the remaining completion time of\n products in a buffered sequential workflow},\n booktitle = {23rd {IEEE} International Conference on Emerging Technologies and\n Factory Automation, {ETFA} 2018, Torino, Italy, September 4-7, 2018},\n pages = {456--463},\n publisher = {{IEEE}},\n year = {2018},\n url = {https://doi.org/10.1109/ETFA.2018.8502542},\n doi = {10.1109/ETFA.2018.8502542},\n timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},\n biburl = {https://dblp.org/rec/conf/etfa/BiagiCTV18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Hospital Inventory Management Through Markov Decision Processes @runtime.\n \n \n \n \n\n\n \n Biagi, M.; Carnevali, L.; Santoni, F.; and Vicario, E.\n\n\n \n\n\n\n In McIver, A.; and Horváth, A., editor(s),
Quantitative Evaluation of Systems - 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings, volume 11024, of
Lecture Notes in Computer Science, pages 87–103, 2018. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/qest/BiagiCSV18,\n author = {Marco Biagi and\n Laura Carnevali and\n Francesco Santoni and\n Enrico Vicario},\n editor = {Annabelle McIver and\n Andr{\\'{a}}s Horv{\\'{a}}th},\n title = {Hospital Inventory Management Through Markov Decision Processes @runtime},\n booktitle = {Quantitative Evaluation of Systems - 15th International Conference,\n {QEST} 2018, Beijing, China, September 4-7, 2018, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {11024},\n pages = {87--103},\n publisher = {Springer},\n year = {2018},\n url = {https://doi.org/10.1007/978-3-319-99154-2\\_6},\n doi = {10.1007/978-3-319-99154-2\\_6},\n timestamp = {Tue, 03 Mar 2020 12:16:34 +0100},\n biburl = {https://dblp.org/rec/conf/qest/BiagiCSV18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Architectural Technical Debt Identification: Moving Forward.\n \n \n \n \n\n\n \n Verdecchia, R.\n\n\n \n\n\n\n In
2018 IEEE International Conference on Software Architecture Companion, ICSA Companion 2018, Seattle, WA, USA, April 30 - May 4, 2018, pages 43–44, 2018. IEEE Computer Society\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/icsa/Verdecchia18,\n author = {Roberto Verdecchia},\n title = {Architectural Technical Debt Identification: Moving Forward},\n booktitle = {2018 {IEEE} International Conference on Software Architecture Companion,\n {ICSA} Companion 2018, Seattle, WA, USA, April 30 - May 4, 2018},\n pages = {43--44},\n publisher = {{IEEE} Computer Society},\n year = {2018},\n url = {https://doi.org/10.1109/ICSA-C.2018.00018},\n doi = {10.1109/ICSA-C.2018.00018},\n timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/icsa/Verdecchia18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Architectural technical debt identification: the research landscape.\n \n \n \n \n\n\n \n Verdecchia, R.; Malavolta, I.; and Lago, P.\n\n\n \n\n\n\n In Nord, R. L.; Buschmann, F.; and Kruchten, P., editor(s),
Proceedings of the 2018 International Conference on Technical Debt, TechDebt@ICSE 2018, Gothenburg, Sweden, May 27-28, 2018, pages 11–20, 2018. ACM\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/icse/VerdecchiaML18,\n author = {Roberto Verdecchia and\n Ivano Malavolta and\n Patricia Lago},\n editor = {Robert L. Nord and\n Frank Buschmann and\n Philippe Kruchten},\n title = {Architectural technical debt identification: the research landscape},\n booktitle = {Proceedings of the 2018 International Conference on Technical Debt,\n TechDebt@ICSE 2018, Gothenburg, Sweden, May 27-28, 2018},\n pages = {11--20},\n publisher = {{ACM}},\n year = {2018},\n url = {https://doi.org/10.1145/3194164.3194176},\n doi = {10.1145/3194164.3194176},\n timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/icse/VerdecchiaML18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Identifying architectural technical debt in Android applications through automated compliance checking.\n \n \n \n \n\n\n \n Verdecchia, R.\n\n\n \n\n\n\n In Julien, C.; Lewis, G. A.; and Segall, I., editor(s),
Proceedings of the 5th International Conference on Mobile Software Engineering and Systems, MOBILESoft@ICSE 2018, Gothenburg, Sweden, May 27 - 28, 2018, pages 35–36, 2018. ACM\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/icse/Verdecchia18,\n author = {Roberto Verdecchia},\n editor = {Christine Julien and\n Grace A. Lewis and\n Itai Segall},\n title = {Identifying architectural technical debt in Android applications through\n automated compliance checking},\n booktitle = {Proceedings of the 5th International Conference on Mobile Software\n Engineering and Systems, MOBILESoft@ICSE 2018, Gothenburg, Sweden,\n May 27 - 28, 2018},\n pages = {35--36},\n publisher = {{ACM}},\n year = {2018},\n url = {https://doi.org/10.1145/3197231.3198442},\n doi = {10.1145/3197231.3198442},\n timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/icse/Verdecchia18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n FAST approaches to scalable similarity-based test case prioritization.\n \n \n \n \n\n\n \n Miranda, B.; Cruciani, E.; Verdecchia, R.; and Bertolino, A.\n\n\n \n\n\n\n In Chaudron, M.; Crnkovic, I.; Chechik, M.; and Harman, M., editor(s),
Proceedings of the 40th International Conference on Software Engineering, ICSE 2018, Gothenburg, Sweden, May 27 - June 03, 2018, pages 222–232, 2018. ACM\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/icse/MirandaCVB18,\n author = {Breno Miranda and\n Emilio Cruciani and\n Roberto Verdecchia and\n Antonia Bertolino},\n editor = {Michel Chaudron and\n Ivica Crnkovic and\n Marsha Chechik and\n Mark Harman},\n title = {{FAST} approaches to scalable similarity-based test case prioritization},\n booktitle = {Proceedings of the 40th International Conference on Software Engineering,\n {ICSE} 2018, Gothenburg, Sweden, May 27 - June 03, 2018},\n pages = {222--232},\n publisher = {{ACM}},\n year = {2018},\n url = {https://doi.org/10.1145/3180155.3180210},\n doi = {10.1145/3180155.3180210},\n timestamp = {Tue, 10 Aug 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/icse/MirandaCVB18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n How Maintainability Issues of Android Apps Evolve.\n \n \n \n \n\n\n \n Malavolta, I.; Verdecchia, R.; Filipovic, B.; Bruntink, M.; and Lago, P.\n\n\n \n\n\n\n In
2018 IEEE International Conference on Software Maintenance and Evolution, ICSME 2018, Madrid, Spain, September 23-29, 2018, pages 334–344, 2018. IEEE Computer Society\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/icsm/MalavoltaVFBL18,\n author = {Ivano Malavolta and\n Roberto Verdecchia and\n Bojan Filipovic and\n Magiel Bruntink and\n Patricia Lago},\n title = {How Maintainability Issues of Android Apps Evolve},\n booktitle = {2018 {IEEE} International Conference on Software Maintenance and Evolution,\n {ICSME} 2018, Madrid, Spain, September 23-29, 2018},\n pages = {334--344},\n publisher = {{IEEE} Computer Society},\n year = {2018},\n url = {https://doi.org/10.1109/ICSME.2018.00042},\n doi = {10.1109/ICSME.2018.00042},\n timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/icsm/MalavoltaVFBL18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Empirical Evaluation of the Energy Impact of Refactoring Code Smells.\n \n \n \n \n\n\n \n Verdecchia, R.; Saez, R. A.; Procaccianti, G.; and Lago, P.\n\n\n \n\n\n\n In Penzenstadler, B.; Easterbrook, S.; Venters, C. C.; and Ahmed, S. I., editor(s),
5th International Conference on Information and Communication Technology for Sustainability, ICT4S 2018, Toronto, Canada, May 14-18, 2018, volume 52, of
EPiC Series in Computing, pages 365–383, 2018. EasyChair\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/ict4s/VerdecchiaSPL18,\n author = {Roberto Verdecchia and\n Ren{\\'{e}} Aparicio Saez and\n Giuseppe Procaccianti and\n Patricia Lago},\n editor = {Birgit Penzenstadler and\n Steve Easterbrook and\n Colin C. Venters and\n Syed Ishtiaque Ahmed},\n title = {Empirical Evaluation of the Energy Impact of Refactoring Code Smells},\n booktitle = {5th International Conference on Information and Communication Technology\n for Sustainability, {ICT4S} 2018, Toronto, Canada, May 14-18, 2018},\n series = {EPiC Series in Computing},\n volume = {52},\n pages = {365--383},\n publisher = {EasyChair},\n year = {2018},\n url = {https://doi.org/10.29007/dz83},\n doi = {10.29007/DZ83},\n timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/ict4s/VerdecchiaSPL18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Code-Level Energy Hotspot Localization via Naive Spectrum Based Testing.\n \n \n \n \n\n\n \n Verdecchia, R.; Guldner, A.; Becker, Y.; and Kern, E.\n\n\n \n\n\n\n In Bungartz, H.; Kranzlmüller, D.; Weinberg, V.; Weismüller, J.; and Wohlgemuth, V., editor(s),
Advances and New Trends in Environmental Informatics - Managing Disruption, Big Data and Open Science, pages 111–130. Springer, 2018.\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@incollection{DBLP:books/sp/18/VerdecchiaGBK18,\n author = {Roberto Verdecchia and\n Achim Guldner and\n Yannick Becker and\n Eva Kern},\n editor = {Hans{-}Joachim Bungartz and\n Dieter Kranzlm{\\"{u}}ller and\n Volker Weinberg and\n Jens Weism{\\"{u}}ller and\n Volker Wohlgemuth},\n title = {Code-Level Energy Hotspot Localization via Naive Spectrum Based Testing},\n booktitle = {Advances and New Trends in Environmental Informatics - Managing Disruption,\n Big Data and Open Science},\n pages = {111--130},\n publisher = {Springer},\n year = {2018},\n url = {https://doi.org/10.1007/978-3-319-99654-7\\_8},\n doi = {10.1007/978-3-319-99654-7\\_8},\n timestamp = {Mon, 16 Sep 2019 14:43:19 +0200},\n biburl = {https://dblp.org/rec/books/sp/18/VerdecchiaGBK18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Historical Handwritten Document Segmentation by Using a Weighted Loss.\n \n \n \n \n\n\n \n Capobianco, S.; Scommegna, L.; and Marinai, S.\n\n\n \n\n\n\n In Pancioni, L.; Schwenker, F.; and Trentin, E., editor(s),
Artificial Neural Networks in Pattern Recognition - 8th IAPR TC3 Workshop, ANNPR 2018, Siena, Italy, September 19-21, 2018, Proceedings, volume 11081, of
Lecture Notes in Computer Science, pages 395–406, 2018. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/annpr/CapobiancoSM18,\n author = {Samuele Capobianco and\n Leonardo Scommegna and\n Simone Marinai},\n editor = {Luca Pancioni and\n Friedhelm Schwenker and\n Edmondo Trentin},\n title = {Historical Handwritten Document Segmentation by Using a Weighted Loss},\n booktitle = {Artificial Neural Networks in Pattern Recognition - 8th {IAPR} {TC3}\n Workshop, {ANNPR} 2018, Siena, Italy, September 19-21, 2018, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {11081},\n pages = {395--406},\n publisher = {Springer},\n year = {2018},\n url = {https://doi.org/10.1007/978-3-319-99978-4\\_31},\n doi = {10.1007/978-3-319-99978-4\\_31},\n timestamp = {Tue, 12 Sep 2023 07:57:21 +0200},\n biburl = {https://dblp.org/rec/conf/annpr/CapobiancoSM18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Detecting requirements defects with NLP patterns: an industrial experience in the railway domain.\n \n \n \n \n\n\n \n Ferrari, A.; Gori, G.; Rosadini, B.; Trotta, I.; Bacherini, S.; Fantechi, A.; and Gnesi, S.\n\n\n \n\n\n\n
Empir. Softw. Eng., 23(6): 3684–3733. 2018.\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@article{DBLP:journals/ese/FerrariGRTBFG18,\n author = {Alessio Ferrari and\n Gloria Gori and\n Benedetta Rosadini and\n Iacopo Trotta and\n Stefano Bacherini and\n Alessandro Fantechi and\n Stefania Gnesi},\n title = {Detecting requirements defects with {NLP} patterns: an industrial\n experience in the railway domain},\n journal = {Empir. Softw. Eng.},\n volume = {23},\n number = {6},\n pages = {3684--3733},\n year = {2018},\n url = {https://doi.org/10.1007/s10664-018-9596-7},\n doi = {10.1007/S10664-018-9596-7},\n timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/ese/FerrariGRTBFG18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n States and Events in KandISTI - A Retrospective.\n \n \n \n \n\n\n \n ter Beek, M. H.; Fantechi, A.; Gnesi, S.; and Mazzanti, F.\n\n\n \n\n\n\n In Margaria, T.; Graf, S.; and Larsen, K. G., editor(s),
Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday, volume 11200, of
Lecture Notes in Computer Science, pages 110–128, 2018. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/birthday/BeekFGM18,\n author = {Maurice H. ter Beek and\n Alessandro Fantechi and\n Stefania Gnesi and\n Franco Mazzanti},\n editor = {Tiziana Margaria and\n Susanne Graf and\n Kim G. Larsen},\n title = {States and Events in KandISTI - {A} Retrospective},\n booktitle = {Models, Mindsets, Meta: The What, the How, and the Why Not? - Essays\n Dedicated to Bernhard Steffen on the Occasion of His 60th Birthday},\n series = {Lecture Notes in Computer Science},\n volume = {11200},\n pages = {110--128},\n publisher = {Springer},\n year = {2018},\n url = {https://doi.org/10.1007/978-3-030-22348-9\\_8},\n doi = {10.1007/978-3-030-22348-9\\_8},\n timestamp = {Fri, 05 Jul 2019 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/birthday/BeekFGM18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n Safety Interlocking as a Distributed Mutual Exclusion Problem.\n \n \n \n \n\n\n \n Fantechi, A.; and Haxthausen, A. E.\n\n\n \n\n\n\n In Howar, F.; and Barnat, J., editor(s),
Formal Methods for Industrial Critical Systems - 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings, volume 11119, of
Lecture Notes in Computer Science, pages 52–66, 2018. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/fmics/FantechiH18,\n author = {Alessandro Fantechi and\n Anne E. Haxthausen},\n editor = {Falk Howar and\n Jiri Barnat},\n title = {Safety Interlocking as a Distributed Mutual Exclusion Problem},\n booktitle = {Formal Methods for Industrial Critical Systems - 23rd International\n Conference, {FMICS} 2018, Maynooth, Ireland, September 3-4, 2018,\n Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {11119},\n pages = {52--66},\n publisher = {Springer},\n year = {2018},\n url = {https://doi.org/10.1007/978-3-030-00244-2\\_4},\n doi = {10.1007/978-3-030-00244-2\\_4},\n timestamp = {Fri, 28 Feb 2020 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/fmics/FantechiH18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n
\n
\n\n \n \n \n \n \n \n On the Industrial Uptake of Formal Methods in the Railway Domain - A Survey with Stakeholders.\n \n \n \n \n\n\n \n Basile, D.; ter Beek, M. H.; Fantechi, A.; Gnesi, S.; Mazzanti, F.; Piattino, A.; Trentini, D.; and Ferrari, A.\n\n\n \n\n\n\n In Furia, C. A.; and Winter, K., editor(s),
Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, volume 11023, of
Lecture Notes in Computer Science, pages 20–29, 2018. Springer\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/ifm/BasileBFGMPTF18,\n author = {Davide Basile and\n Maurice H. ter Beek and\n Alessandro Fantechi and\n Stefania Gnesi and\n Franco Mazzanti and\n Andrea Piattino and\n Daniele Trentini and\n Alessio Ferrari},\n editor = {Carlo A. Furia and\n Kirsten Winter},\n title = {On the Industrial Uptake of Formal Methods in the Railway Domain -\n {A} Survey with Stakeholders},\n booktitle = {Integrated Formal Methods - 14th International Conference, {IFM} 2018,\n Maynooth, Ireland, September 5-7, 2018, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {11023},\n pages = {20--29},\n publisher = {Springer},\n year = {2018},\n url = {https://doi.org/10.1007/978-3-319-98938-9\\_2},\n doi = {10.1007/978-3-319-98938-9\\_2},\n timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/ifm/BasileBFGMPTF18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n \n\n\n
\n
\n\n \n \n \n \n \n \n Product line models of large cyber-physical systems: the case of ERTMS/ETCS.\n \n \n \n \n\n\n \n ter Beek, M. H.; Fantechi, A.; and Gnesi, S.\n\n\n \n\n\n\n In Berger, T.; Borba, P.; Botterweck, G.; Männistö, T.; Benavides, D.; Nadi, S.; Kehrer, T.; Rabiser, R.; Elsner, C.; and Mukelabai, M., editor(s),
Proceeedings of the 22nd International Systems and Software Product Line Conference - Volume 1, SPLC 2018, Gothenburg, Sweden, September 10-14, 2018, pages 208–214, 2018. ACM\n
\n\n
\n\n
\n\n
\n\n \n \n
Paper\n \n \n\n \n \n doi\n \n \n\n \n link\n \n \n\n bibtex\n \n\n \n\n \n\n \n \n \n \n \n \n \n\n \n \n \n\n\n\n
\n
@inproceedings{DBLP:conf/splc/BeekFG18,\n author = {Maurice H. ter Beek and\n Alessandro Fantechi and\n Stefania Gnesi},\n editor = {Thorsten Berger and\n Paulo Borba and\n Goetz Botterweck and\n Tomi M{\\"{a}}nnist{\\"{o}} and\n David Benavides and\n Sarah Nadi and\n Timo Kehrer and\n Rick Rabiser and\n Christoph Elsner and\n Mukelabai Mukelabai},\n title = {Product line models of large cyber-physical systems: the case of {ERTMS/ETCS}},\n booktitle = {Proceeedings of the 22nd International Systems and Software Product\n Line Conference - Volume 1, {SPLC} 2018, Gothenburg, Sweden, September\n 10-14, 2018},\n pages = {208--214},\n publisher = {{ACM}},\n year = {2018},\n url = {https://doi.org/10.1145/3233027.3233046},\n doi = {10.1145/3233027.3233046},\n timestamp = {Sat, 09 Apr 2022 12:37:33 +0200},\n biburl = {https://dblp.org/rec/conf/splc/BeekFG18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n
\n
\n\n\n\n
\n\n\n \n\n\n
\n\n\n
\n\n\n\n\n\n