{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:50:12Z","timestamp":1750308612570,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":62,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T00:00:00Z","timestamp":1567987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,9,9]]},"DOI":"10.1145\/3336294.3336309","type":"proceedings-article","created":{"date-parts":[[2019,8,8]],"date-time":"2019-08-08T12:38:04Z","timestamp":1565267884000},"page":"277-288","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Towards Quality Assurance of Software Product Lines with Adversarial Configurations"],"prefix":"10.1145","author":[{"given":"Paul","family":"Temple","sequence":"first","affiliation":[{"name":"University of Namur, Namur, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathieu","family":"Acher","sequence":"additional","affiliation":[{"name":"Univ Rennes, Rennes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gilles","family":"Perrouin","sequence":"additional","affiliation":[{"name":"University of Namur, Namur, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Battista","family":"Biggio","sequence":"additional","affiliation":[{"name":"University of Cagliari, Cagliari, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Marc","family":"Jezequel","sequence":"additional","affiliation":[{"name":"Univ Rennes, Rennes, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Roli","sequence":"additional","affiliation":[{"name":"University of Cagliari, Cagliari, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,9,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1128817.1128824"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/11554844_3"},{"volume-title":"Dynamic Programming (1 ed.)","author":"Bellman Richard","key":"e_1_3_2_1_3_1","unstructured":"Richard Bellman . 1957. Dynamic Programming (1 ed.) . Princeton University Press , Princeton, NJ, USA . Richard Bellman. 1957. Dynamic Programming (1 ed.). Princeton University Press, Princeton, NJ, USA."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2430502.2430513"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40994-3_25"},{"volume-title":"2013 International Conference on Biometrics (ICB). IEEE","author":"Biggio B.","key":"e_1_3_2_1_7_1","unstructured":"B. Biggio , L. Didaci , G. Fumera , and F. Roli . 2013. Poisoning attacks to compromise face templates . In 2013 International Conference on Biometrics (ICB). IEEE , New York, USA, 1--7. B. Biggio, L. Didaci, G. Fumera, and F. Roli. 2013. Poisoning attacks to compromise face templates. In 2013 International Conference on Biometrics (ICB). IEEE, New York, USA, 1--7."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218001414600027"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2013.57"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 29th International Coference on International Conference on Machine Learning (ICML'12)","author":"Nelson Blaine","year":"2012","unstructured":"BattistaBiggio, Blaine Nelson , andPavelLaskov. 2012 . PoisoningAttacks Against Support Vector Machines . In Proceedings of the 29th International Coference on International Conference on Machine Learning (ICML'12) . Omnipress, USA, 1467--1474. http:\/\/dl.acm.org\/citation.cfm?id=3042573.3042761 BattistaBiggio, Blaine Nelson, andPavelLaskov. 2012. PoisoningAttacks Against Support Vector Machines. In Proceedings of the 29th International Coference on International Conference on Machine Learning (ICML'12). Omnipress, USA, 1467--1474. http:\/\/dl.acm.org\/citation.cfm?id=3042573.3042761"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.patcog.2018.07.023"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2491976"},{"key":"e_1_3_2_1_13_1","volume-title":"Fourth International Workshop on Variability Modelling of Software-Intensive Systems","volume":"37","author":"Boucher Quentin","year":"2010","unstructured":"Quentin Boucher , Andreas Classen , Paul Faber , and Patrick Heymans . 2010 . Introducing TVL, a Text-based Feature Modelling . In Fourth International Workshop on Variability Modelling of Software-Intensive Systems , Linz, Austria, January 27--29 , 2010. Proceedings (ICB-Research Report), David Benavides, Don S. Batory, and Paul Griinbacher (Eds.), Vol. 37 . Universitat Duisburg-Essen, Essen, Germany, 159--162. http:\/\/www.vamos-workshop.net\/proceedings\/VaMoS_2010_Proceedings.pdf Quentin Boucher, Andreas Classen, Paul Faber, and Patrick Heymans. 2010. Introducing TVL, a Text-based Feature Modelling. In Fourth International Workshop on Variability Modelling of Software-Intensive Systems, Linz, Austria, January 27--29, 2010. Proceedings (ICB-Research Report), David Benavides, Don S. Batory, and Paul Griinbacher (Eds.), Vol. 37. Universitat Duisburg-Essen, Essen, Germany, 159--162. http:\/\/www.vamos-workshop.net\/proceedings\/VaMoS_2010_Proceedings.pdf"},{"key":"e_1_3_2_1_14_1","volume-title":"https:\/\/arxiv.org\/pdf\/1712.09665.pdf","author":"Brown Tom","year":"2017","unstructured":"Tom Brown , Dandelion Mane , Aurko Roy , Martin Abadi , and Justin Gilmer . 2017. Adversarial Patch . https:\/\/arxiv.org\/pdf\/1712.09665.pdf ( 2017 ). Tom Brown, Dandelion Mane, Aurko Roy, Martin Abadi, and Justin Gilmer. 2017. Adversarial Patch. https:\/\/arxiv.org\/pdf\/1712.09665.pdf (2017)."},{"key":"e_1_3_2_1_15_1","volume-title":"Amazon's Mechanical Turk: A new source of inexpensive, yet high-quality, data? Perspectives on psychological science 6, 1","author":"Buhrmester Michael","year":"2011","unstructured":"Michael Buhrmester , Tracy Kwang , and Samuel D Gosling . 2011. Amazon's Mechanical Turk: A new source of inexpensive, yet high-quality, data? Perspectives on psychological science 6, 1 ( 2011 ), 3--5. Michael Buhrmester, Tracy Kwang, and Samuel D Gosling. 2011. Amazon's Mechanical Turk: A new source of inexpensive, yet high-quality, data? Perspectives on psychological science 6, 1 (2011), 3--5."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.953"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2010.10.005"},{"key":"e_1_3_2_1_18_1","volume-title":"Northrop","author":"Clements Paul","year":"2001","unstructured":"Paul Clements and Linda M . Northrop . 2001 . Software Product Lines : Practices and Patterns. Addison-Wesley Professional , Boston, USA. Paul Clements and Linda M. Northrop. 2001. Software Product Lines : Practices and Patterns. Addison-Wesley Professional, Boston, USA."},{"key":"e_1_3_2_1_19_1","volume-title":"OnBreakingTheCurseofDimensionalityinReverseEngineeringFeatureModels. In 17th International Configuration Workshop (17th International Configuration Workshop)","volume":"01243571","author":"Davril Jean-Marc","year":"2015","unstructured":"Jean-Marc Davril , Patrick Heymans , Guillaume Becan , and Mathieu Acher . 2015 . OnBreakingTheCurseofDimensionalityinReverseEngineeringFeatureModels. In 17th International Configuration Workshop (17th International Configuration Workshop) , Vol. 17th International Configuration Workshop. Vienna, Austria. https:\/\/hal.inria.fr\/hal- 01243571 Jean-Marc Davril, Patrick Heymans, Guillaume Becan, and Mathieu Acher. 2015. OnBreakingTheCurseofDimensionalityinReverseEngineeringFeatureModels. In 17th International Configuration Workshop (17th International Configuration Workshop), Vol. 17th International Configuration Workshop. Vienna, Austria. https:\/\/hal.inria.fr\/hal-01243571"},{"key":"e_1_3_2_1_20_1","volume-title":"On the Intriguing Connections of Regularization, Input Gradients and Transferability of Evasion and Poisoning Attacks. CoRR abs\/1809.02861","author":"Demontis Ambra","year":"2018","unstructured":"Ambra Demontis , Marco Melis , Maura Pintor , Matthew Jagielski , Battista Biggio , Alina Oprea , Cristina Nita-Rotaru , and Fabio Roli . 2018. On the Intriguing Connections of Regularization, Input Gradients and Transferability of Evasion and Poisoning Attacks. CoRR abs\/1809.02861 ( 2018 ). arXiv:1809.02861 http:\/\/arxiv.org\/abs\/1809.02861 Ambra Demontis, Marco Melis, Maura Pintor, Matthew Jagielski, Battista Biggio, Alina Oprea, Cristina Nita-Rotaru, and Fabio Roli. 2018. On the Intriguing Connections of Regularization, Input Gradients and Transferability of Evasion and Poisoning Attacks. CoRR abs\/1809.02861 (2018). arXiv:1809.02861 http:\/\/arxiv.org\/abs\/1809.02861"},{"key":"e_1_3_2_1_21_1","volume-title":"Explaining Transferability of Evasion and Poisoning Attacks. In 28th USENIX Security Symposium (USENIX Security 19)","author":"Demontis Ambra","year":"2019","unstructured":"Ambra Demontis , Marco Melis , Maura Pintor , MatthewJagielski, Battista Biggio , Alina Oprea , Cristina Nita-Rotaru , and Fabio Roli . 2019 . Why Do Adversarial Attacks Transfer? Explaining Transferability of Evasion and Poisoning Attacks. In 28th USENIX Security Symposium (USENIX Security 19) . USENIX Association, Santa Clara, CA. https:\/\/www.usenix.org\/conference\/usenixsecurity19\/presentation\/demontis Ambra Demontis, Marco Melis, Maura Pintor, MatthewJagielski, Battista Biggio, Alina Oprea, Cristina Nita-Rotaru, and Fabio Roli. 2019. Why Do Adversarial Attacks Transfer? Explaining Transferability of Evasion and Poisoning Attacks. In 28th USENIX Security Symposium (USENIX Security 19). USENIX Association, Santa Clara, CA. https:\/\/www.usenix.org\/conference\/usenixsecurity19\/presentation\/demontis"},{"key":"e_1_3_2_1_22_1","volume-title":"Stochastic activation pruning for robust adversarial defense. arXiv preprint arXiv:1803.01442","author":"Dhillon Guneet S","year":"2018","unstructured":"Guneet S Dhillon , Kamyar Azizzadenesheli , Zachary C Lipton , Jeremy Bernstein , Jean Kossaifi , Aran Khanna , and Anima Anandkumar . 2018. Stochastic activation pruning for robust adversarial defense. arXiv preprint arXiv:1803.01442 ( 2018 ). Guneet S Dhillon, Kamyar Azizzadenesheli, Zachary C Lipton, Jeremy Bernstein, Jean Kossaifi, Aran Khanna, and Anima Anandkumar. 2018. Stochastic activation pruning for robust adversarial defense. arXiv preprint arXiv:1803.01442 (2018)."},{"key":"e_1_3_2_1_23_1","volume-title":"Dosselman and Xue Dong Yang","author":"Richard","year":"2012","unstructured":"Richard W. Dosselman and Xue Dong Yang . 2012 . No-Reference Noise and Blur Detection via the Fourier Transform. Technical Report. University of Regina , CANADA. Richard W. Dosselman and Xue Dong Yang. 2012. No-Reference Noise and Blur Detection via the Fourier Transform. Technical Report. University of Regina, CANADA."},{"key":"e_1_3_2_1_24_1","volume-title":"Adversarial Examples that Fool both Human and Computer Vision. arXiv preprint arXiv:1802.08195","author":"Elsayed Gamaleldin F","year":"2018","unstructured":"Gamaleldin F Elsayed , Shreya Shankar , Brian Cheung , Nicolas Papernot , Alex Kurakin , Ian Goodfellow , and Jascha Sohl-Dickstein . 2018. Adversarial Examples that Fool both Human and Computer Vision. arXiv preprint arXiv:1802.08195 ( 2018 ). Gamaleldin F Elsayed, Shreya Shankar, Brian Cheung, Nicolas Papernot, Alex Kurakin, Ian Goodfellow, and Jascha Sohl-Dickstein. 2018. Adversarial Examples that Fool both Human and Computer Vision. arXiv preprint arXiv:1802.08195 (2018)."},{"key":"e_1_3_2_1_25_1","volume-title":"Robust Physical-World Attacks on Deep Learning Models. arXiv preprint arXiv:1707.08945 1","author":"Evtimov Ivan","year":"2017","unstructured":"Ivan Evtimov , Kevin Eykholt , Earlence Fernandes , Tadayoshi Kohno , Bo Li , Atul Prakash , Amir Rahmati , and Dawn Song . 2017. Robust Physical-World Attacks on Deep Learning Models. arXiv preprint arXiv:1707.08945 1 ( 2017 ). Ivan Evtimov, Kevin Eykholt, Earlence Fernandes, Tadayoshi Kohno, Bo Li, Atul Prakash, Amir Rahmati, and Dawn Song. 2017. Robust Physical-World Attacks on Deep Learning Models. arXiv preprint arXiv:1707.08945 1 (2017)."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610411"},{"key":"e_1_3_2_1_27_1","unstructured":"Ian Goodfellow Jean Pouget-Abadie Mehdi Mirza Bing Xu David Warde-Farley Sherjil Ozair Aaron Courville and Yoshua Bengio. 2014. Generative adversarial nets. In Advances in neural information processing systems. 2672--2680.   Ian Goodfellow Jean Pouget-Abadie Mehdi Mirza Bing Xu David Warde-Farley Sherjil Ozair Aaron Courville and Yoshua Bengio. 2014. Generative adversarial nets. In Advances in neural information processing systems. 2672--2680."},{"key":"e_1_3_2_1_28_1","volume-title":"Countering adversarial images using input transformations. arXiv preprint arXiv:1711.00117","author":"Guo Chuan","year":"2017","unstructured":"Chuan Guo , Mayank Rana , Moustapha Cisse , and Laurens van der Maaten . 2017. Countering adversarial images using input transformations. arXiv preprint arXiv:1711.00117 ( 2017 ). Chuan Guo, Mayank Rana, Moustapha Cisse, and Laurens van der Maaten. 2017. Countering adversarial images using input transformations. arXiv preprint arXiv:1711.00117 (2017)."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2013.6693089"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-018-9635-4"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-018-9635-4"},{"key":"e_1_3_2_1_32_1","unstructured":"Roberto Ierusalimschy. 2006. Programmingin Lua SecondEdition. Lua.Org.   Roberto Ierusalimschy. 2006. Programmingin Lua SecondEdition. Lua.Org."},{"volume-title":"Lessons Learned in Software Testing","author":"Kaner Cem","key":"e_1_3_2_1_33_1","unstructured":"Cem Kaner , James Bach , and Bret Pettichord . 2001. Lessons Learned in Software Testing . John Wiley & Sons, Inc. , New York, NY, USA . Cem Kaner, James Bach, and Bret Pettichord. 2001. Lessons Learned in Software Testing. John Wiley & Sons, Inc., New York, NY, USA."},{"key":"e_1_3_2_1_34_1","volume-title":"SE 2018, 5.-9. Marz","volume":"279","author":"Knuppel Alexander","year":"2018","unstructured":"Alexander Knuppel , Thomas Thiim , Stephan Mennicke , Jens Meinicke , and Ina Schaefer . 2018 . Is There a Mismatch between Real-World Feature Models and Product-Line Research?. In Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik , SE 2018, 5.-9. Marz 2018, Ulm, Germany. (LNI), Matthias Tichy, Eric Bodden, Marco Kuhrmann, Stefan Wagner, and Jan-Philipp Steghofer (Eds.) , Vol. P- 279 . Gesellschaft fur Informatik, 53--54. https:\/\/dl.gi.de\/20.500.12116\/16312 Alexander Knuppel, Thomas Thiim, Stephan Mennicke, Jens Meinicke, and Ina Schaefer. 2018. Is There a Mismatch between Real-World Feature Models and Product-Line Research?. In Software Engineering und Software Management 2018, Fachtagung des GI-Fachbereichs Softwaretechnik, SE 2018, 5.-9. Marz 2018, Ulm, Germany. (LNI), Matthias Tichy, Eric Bodden, Marco Kuhrmann, Stefan Wagner, and Jan-Philipp Steghofer (Eds.), Vol. P-279. Gesellschaft fur Informatik, 53--54. https:\/\/dl.gi.de\/20.500.12116\/16312"},{"key":"e_1_3_2_1_35_1","volume-title":"Adversarial examples in the physical world. arXivpreprintarXiv:1607.02533","author":"Kurakin Alexey","year":"2016","unstructured":"Alexey Kurakin , Ian Goodfellow , and Samy Bengio . 2016. Adversarial examples in the physical world. arXivpreprintarXiv:1607.02533 ( 2016 ). Alexey Kurakin, Ian Goodfellow, and Samy Bengio. 2016. Adversarial examples in the physical world. arXivpreprintarXiv:1607.02533 (2016)."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/3023956.3023970"},{"key":"e_1_3_2_1_37_1","volume-title":"Towardsdeeplearningmodels resistanttoadversarialattacks. arXiv preprint arXiv:1706.06083","author":"Madry Aleksander","year":"2017","unstructured":"Aleksander Madry , Aleksandar Makelov , Ludwig Schmidt , Dimitris Tsipras , and AdrianVladu.2017. Towardsdeeplearningmodels resistanttoadversarialattacks. arXiv preprint arXiv:1706.06083 ( 2017 ). Aleksander Madry, Aleksandar Makelov, Ludwig Schmidt, Dimitris Tsipras, and AdrianVladu.2017. Towardsdeeplearningmodels resistanttoadversarialattacks. arXiv preprint arXiv:1706.06083 (2017)."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884793"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568283"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106238"},{"key":"e_1_3_2_1_41_1","first-page":"1","article-title":"Exploiting Machine Learning to Subvert Your Spam Filter","volume":"8","author":"Nelson Blaine","year":"2008","unstructured":"Blaine Nelson , Marco Barreno , Fuching Jack Chi , Anthony D Joseph , Benjamin IP Rubinstein , Udam Saini , Charles A Sutton , J Doug Tygar , and Kai Xia . 2008 . Exploiting Machine Learning to Subvert Your Spam Filter . LEET 8 (2008), 1 -- 9 . Blaine Nelson, Marco Barreno, Fuching Jack Chi, Anthony D Joseph, Benjamin IP Rubinstein, Udam Saini, Charles A Sutton, J Doug Tygar, and Kai Xia. 2008. Exploiting Machine Learning to Subvert Your Spam Filter. LEET 8 (2008), 1--9.","journal-title":"LEET"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106273"},{"volume-title":"The Limitations of Deep Learning in Adversarial Settings. In 2016 IEEE European Symposium on Security and Privacy (EuroS P). 372--387","author":"Papernot N.","key":"e_1_3_2_1_43_1","unstructured":"N. Papernot , P. McDaniel , S. Jha , M. Fredrikson , Z. B. Celik , and A. Swami . 2016 . The Limitations of Deep Learning in Adversarial Settings. In 2016 IEEE European Symposium on Security and Privacy (EuroS P). 372--387 . N. Papernot, P. McDaniel, S. Jha, M. Fredrikson, Z. B. Celik, and A. Swami. 2016. The Limitations of Deep Learning in Adversarial Settings. In 2016 IEEE European Symposium on Security and Privacy (EuroS P). 372--387."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132785"},{"key":"e_1_3_2_1_45_1","unstructured":"Juliana Alves Pereira Hugo Martin Mathieu Acher Jean-Marc J\u00c3l'z\u00c3l'quel Goetz Botterweck and Anthony Ventresque. 2019. Learning Software Configuration Spaces: A Systematic Literature Review. arXiv:arXiv:1906.03018  Juliana Alves Pereira Hugo Martin Mathieu Acher Jean-Marc J\u00c3l'z\u00c3l'quel Goetz Botterweck and Anthony Ventresque. 2019. Learning Software Configuration Spaces: A Systematic Literature Review. arXiv:arXiv:1906.03018"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2019.00032"},{"key":"e_1_3_2_1_47_1","volume-title":"van der Linden","author":"Pohl Klaus","year":"2005","unstructured":"Klaus Pohl , G\u00fcnter B\u00f6ckle , and Frank J . van der Linden . 2005 . Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag . Klaus Pohl, G\u00fcnter B\u00f6ckle, and Frank J. van der Linden. 2005. Software Product Line Engineering: Foundations, Principles and Techniques. Springer-Verlag."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.45"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2006.08.008"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976749.2978392"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786845"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.07.020"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106251"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-017-0441-3"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2017.4121211"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934466.2934472"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2015.11.006"},{"key":"e_1_3_2_1_58_1","volume-title":"Alessandro Fantechi, Stefania Gnesi, and Laura Semini.","author":"Maurice","year":"2016","unstructured":"Maurice H. ter Beek , Alessandro Fantechi, Stefania Gnesi, and Laura Semini. 2016 . Variability-Based Design of Services for Smart Transportation Systems. In Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10--14, 2016, Proceedings, Part II. 465--481. Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, and Laura Semini. 2016. Variability-Based Design of Services for Smart Transportation Systems. In Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10--14, 2016, Proceedings, Part II. 465--481."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3302333.3302349"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2580950"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/3233027.3233035"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238187"}],"event":{"name":"SPLC 2019: 23rd International Systems and Software Product Line Conference","acronym":"SPLC 2019","location":"Paris France"},"container-title":["Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3336294.3336309","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3336294.3336309","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:07:25Z","timestamp":1750273645000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3336294.3336309"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,9]]},"references-count":62,"alternative-id":["10.1145\/3336294.3336309","10.1145\/3336294"],"URL":"https:\/\/doi.org\/10.1145\/3336294.3336309","relation":{},"subject":[],"published":{"date-parts":[[2019,9,9]]},"assertion":[{"value":"2019-09-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}