Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPaolo Arcaini
Person information
- affiliation: National Institute of Informatics, Tokyo, Japan
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[e4]Paolo Arcaini
, Tao Yue, Erik M. Fredericks:
Search-Based Software Engineering - 15th International Symposium, SSBSE 2023, San Francisco, CA, USA, December 8, 2023, Proceedings. Lecture Notes in Computer Science 14415, Springer 2024, ISBN 978-3-031-48795-8 [contents]- 2023
- [j33]Stefan Klikovits, Cédric Ho Thanh, Ahmet Cetinkaya, Paolo Arcaini:
Trust your neighbours: Handling noise in multi-objective optimisation using kNN-averaging. Appl. Soft Comput. 146: 110631 (2023) - [j32]Stefan Klikovits, Ezequiel Castellano, Ahmet Cetinkaya, Paolo Arcaini:
Frenetic-lib: An extensible framework for search-based generation of road structures for ADS testing. Sci. Comput. Program. 230: 102996 (2023) - [j31]Paolo Arcaini, Andriy V. Miranskyy:
Report of the Fourth International Workshop on Quantum Software Engineering (Q-SE 2023). ACM SIGSOFT Softw. Eng. Notes 48(4): 64-65 (2023) - [j30]Toru Takisaka, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo:
A Robustness-Based Confidence Measure for Hybrid System Falsification. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(5): 1718-1731 (2023) - [j29]Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
An Incremental Approach for Understanding Collision Avoidance of an Industrial Path Planner. IEEE Trans. Dependable Secur. Comput. 20(4): 2713-2730 (2023) - [j28]Thomas Laurent, Stefan Klikovits, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque:
Parameter Coverage for Testing of Autonomous Driving Systems under Uncertainty. ACM Trans. Softw. Eng. Methodol. 32(3): 58:1-58:31 (2023) - [j27]Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao:
FalsifAI: Falsification of AI-Enabled Hybrid Control Systems Guided by Time-Aware Coverage Criteria. IEEE Trans. Software Eng. 49(4): 1842-1859 (2023) - [c115]Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo:
Online Causation Monitoring of Signal Temporal Logic. CAV (1) 2023: 62-84 - [c114]Paolo Arcaini, Ezequiel Castellano, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto:
Incremental Search-Based Allocation of Autonomous Robots for Goods Delivery. CEC 2023: 1-10 - [c113]Mingyue Zhang, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
An Investigation of the Behaviours of Machine Learning Agents Used in the Game of Go. DSA 2023: 734-742 - [c112]Jiahui Wu, Paolo Arcaini, Tao Yue, Shaukat Ali, Huihui Zhang:
On the Preferences of Quality Indicators for Multi-Objective Search Algorithms in Search-Based Software Engineering (Hot Off the Press track at GECCO 2023). GECCO Companion 2023: 47-48 - [c111]Peter J. Bentley, Soo Ling Lim, Paolo Arcaini, Fuyuki Ishikawa:
Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery. GECCO 2023: 1303-1311 - [c110]Davide Li Calsi, Matias Duran, Thomas Laurent, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
Adaptive Search-based Repair of Deep Neural Networks. GECCO 2023: 1527-1536 - [c109]Mauricio Byrd Victorica, Paolo Arcaini, Fuyuki Ishikawa, Hirokazu Kawamoto, Kaoru Sawai, Eiichi Muramoto:
Stability-aware Exploration of Design Space of Autonomous Robots for Goods Delivery. ICECCS 2023: 177-186 - [c108]Paolo Arcaini, Ahmet Cetinkaya:
CRAG at the SBFT 2023 Tool Competition - Cyber-Physical Systems Track. SBFT 2023: 41-42 - [c107]Davide Li Calsi, Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
Distributed Repair of Deep Neural Networks. ICST 2023: 83-94 - [c106]Franz Scheuer, Alessio Gambi, Paolo Arcaini:
STRETCH: Generating Challenging Scenarios for Testing Collision Avoidance Systems. IV 2023: 1-6 - [c105]Jiaming Ye, Shangzhou Xia, Fuyuan Zhang, Paolo Arcaini, Lei Ma, Jianjun Zhao, Fuyuki Ishikawa:
QuraTest: Integrating Quantum Specific Features in Quantum Program Testing. ASE 2023: 1149-1161 - [c104]Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
QuCAT: A Combinatorial Testing Tool for Quantum Software. ASE 2023: 2066-2069 - [e3]Paolo Arcaini, Maurice H. ter Beek, Gilles Perrouin, Iris Reinhartz-Berger, Miguel R. Luaces, Christa Schwanninger, Shaukat Ali, Mahsa Varshosaz, Angelo Gargantini, Stefania Gnesi, Malte Lochau, Laura Semini, Hironori Washizaki:
Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume A, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023. ACM 2023 [contents] - [e2]Paolo Arcaini, Maurice H. ter Beek, Gilles Perrouin, Iris Reinhartz-Berger, Ivan Machado, Silvia Regina Vergilio, Rick Rabiser, Tao Yue, Xavier Devroey, Mónica Pinto, Hironori Washizaki:
Proceedings of the 27th ACM International Systems and Software Product Line Conference - Volume B, SPLC 2023, Tokyo, Japan, 28 August 2023- 1 September 2023. ACM 2023 [contents] - [i18]Peter J. Bentley, Soo Ling Lim, Paolo Arcaini, Fuyuki Ishikawa:
Using a Variational Autoencoder to Learn Valid Search Spaces of Safely Monitored Autonomous Robots for Last-Mile Delivery. CoRR abs/2303.03211 (2023) - [i17]Zhenya Zhang, Jie An, Paolo Arcaini, Ichiro Hasuo:
Online Causation Monitoring of Signal Temporal Logic. CoRR abs/2305.17754 (2023) - [i16]Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini:
Noise-Aware Quantum Software Testing. CoRR abs/2306.16992 (2023) - [i15]Xinyi Wang, Asmar Muqeet, Tao Yue, Shaukat Ali, Paolo Arcaini:
Test Case Minimization with Quantum Annealers. CoRR abs/2308.05505 (2023) - [i14]Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
QuCAT: A Combinatorial Testing Tool for Quantum Software. CoRR abs/2309.00119 (2023) - [i13]Tao Yue, Shaukat Ali, Paolo Arcaini:
Towards Quantum Software Requirements Engineering. CoRR abs/2309.13358 (2023) - [i12]Qi Pan, Tiexin Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
Safety Assessment of Vehicle Characteristics Variations in Autonomous Driving Systems. CoRR abs/2311.14461 (2023) - [i11]Eñaut Mendiluze Usandizaga, Tao Yue, Paolo Arcaini, Shaukat Ali:
Which Quantum Circuit Mutants Shall Be Used? An Empirical Evaluation of Quantum Circuit Mutations. CoRR abs/2311.16913 (2023) - 2022
- [j26]Jiahui Wu, Paolo Arcaini, Tao Yue, Shaukat Ali, Huihui Zhang:
On the preferences of quality indicators for multi-objective search algorithms in search-based software engineering. Empir. Softw. Eng. 27(6): 144 (2022) - [j25]Thomas Laurent, Paolo Arcaini, Catia Trubiani, Anthony Ventresque:
Mutation-based analysis of queueing network performance models. J. Syst. Softw. 191: 111385 (2022) - [j24]Tao Yue, Paolo Arcaini, Ji Wu, Xiaowei Huang:
Editorial to theme section on open environmental software systems modeling. Softw. Syst. Model. 21(4): 1273-1275 (2022) - [j23]Zhenya Zhang, Paolo Arcaini, Xuan Xie:
Online Reset for Signal Temporal Logic Monitoring. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(11): 4421-4432 (2022) - [c103]Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie:
Targeting requirements violations of autonomous driving systems by dynamic evolutionary search (HOP at GECCO'22). GECCO Companion 2022: 33-34 - [c102]Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
Generating failing test suites for quantum programs with search (hot off the press track at GECCO 2022). GECCO Companion 2022: 47-48 - [c101]Xinyi Wang, Tongxuan Yu, Paolo Arcaini, Tao Yue, Shaukat Ali:
Mutation-based test generation for quantum programs with multi-objective search. GECCO 2022: 1345-1353 - [c100]Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
QuSBT: Search-Based Testing of Quantum Programs. ICSE-Companion 2022: 173-177 - [c99]Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa:
Less is More: Simplification of Test Scenarios for Autonomous Driving System Testing. ICST 2022: 279-290 - [c98]Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Daniele Gamba, Rita Pedercini:
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation. ICST 2022: 312-322 - [c97]Tao Yue, Shaukat Ali, Paolo Arcaini, Fuyuki Ishikawa:
Towards Requirements Engineering for Digital Twins of Cyber-Physical Systems. ISoLA (4) 2022: 9-21 - [c96]Ezequiel Castellano, Xiao-Yi Zhang, Paolo Arcaini, Toru Takisaka, Fuyuki Ishikawa, Nozomu Ikehata, Kosuke Iwakura:
Explaining the Behaviour of Game Agents Using Differential Comparison. ASE 2022: 210:1-210:8 - [c95]Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Linjuan Zhang, Fuyuki Ishikawa:
Hierarchical Assessment of Safety Requirements for Configurations of Autonomous Driving Systems. RE 2022: 88-100 - [c94]Ezequiel Castellano, Stefan Klikovits, Ahmet Cetinkaya, Paolo Arcaini:
FreneticV at the SBST 2022 Tool Competition. SBST@ICSE 2022: 47-48 - [c93]Thomas Laurent, Paolo Arcaini, Catia Trubiani, Anthony Ventresque:
JSIMutate: understanding performance results through mutations. ESEC/SIGSOFT FSE 2022: 1721-1725 - [e1]Paolo Arcaini, Xavier Devroey, Alessandro Fantechi:
VaMoS '22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems, Florence, Italy, February 23 - 25, 2022. ACM 2022, ISBN 978-1-4503-9604-2 [contents] - [i10]Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
QuSBT: Search-Based Testing of Quantum Programs. CoRR abs/2204.08561 (2022) - [i9]Stefan Klikovits, Vincenzo Riccio, Ezequiel Castellano, Ahmet Cetinkaya, Alessio Gambi, Paolo Arcaini:
Does Road Diversity Really Matter in Testing Automated Driving Systems? - A Registered Report. CoRR abs/2209.05947 (2022) - [i8]Tao Yue, Paolo Arcaini, Shaukat Ali:
Quantum Software Testing: Challenges, Early Achievements, and Opportunities. ERCIM News 2022(128) (2022) - 2021
- [c92]Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini:
Efficient Computation of Robustness of Convolutional Neural Networks. AITest 2021: 21-28 - [c91]Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang:
ARCH-COMP 2021 Category Report: Falsification with Validation of Results. ARCH@ADHS 2021: 133-152 - [c90]Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
The ASMETA Approach to Safety Assurance of Software Systems. Logic, Computation and Rigorous Methods 2021: 215-238 - [c89]Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao:
Effective Hybrid System Falsification Using Monte Carlo Tree Search Guided by QB-Robustness. CAV (1) 2021: 595-618 - [c88]Zhenya Zhang, Paolo Arcaini:
Gaussian Process-Based Confidence Estimation for Hybrid System Falsification. FM 2021: 330-348 - [c87]Shaukat Ali, Paolo Arcaini, Tao Yue:
Do quality indicators prefer particular multi-objective search algorithms in search-based software engineering?: (hot off the press track at GECCO 2021). GECCO Companion 2021: 21-22 - [c86]Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque:
Achieving weight coverage for an autonomous driving system with search-based test generation (HOP track at GECCO 2021). GECCO Companion 2021: 33-34 - [c85]Kaiou Yin, Paolo Arcaini, Tao Yue, Shaukat Ali:
Analyzing the impact of product configuration variations on advanced driver assistance systems with search. GECCO 2021: 1106-1114 - [c84]Shaukat Ali, Paolo Arcaini, Xinyi Wang, Tao Yue:
Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs. ICST 2021: 13-23 - [c83]Jordan Doyle, Takfarinas Saber, Paolo Arcaini, Anthony Ventresque:
Improving Mobile User Interface Testing with Model Driven Monkey Search. ICST Workshops 2021: 138-145 - [c82]Paolo Arcaini, Xiao-Yi Zhang, Fuyuki Ishikawa:
Targeting Patterns of Driving Characteristics in Testing Autonomous Driving Systems. ICST 2021: 295-305 - [c81]Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini:
ROBY: a Tool for Robustness Analysis of Neural Network Classifiers. ICST 2021: 442-447 - [c80]Matias Duran, Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
What to Blame? On the Granularity of Fault Localization for Deep Neural Networks. ISSRE 2021: 264-275 - [c79]Paolo Arcaini, Alessandro Calò, Fuyuki Ishikawa, Thomas Laurent, Xiao-Yi Zhang, Shaukat Ali, Florian Hauer, Anthony Ventresque:
Parameter-Based Testing and Debugging of Autonomous Driving Systems. IV Workshops 2021: 197-202 - [c78]Yixing Luo, Xiao-Yi Zhang, Paolo Arcaini, Zhi Jin, Haiyan Zhao, Fuyuki Ishikawa, Rongxin Wu, Tao Xie:
Targeting Requirements Violations of Autonomous Driving Systems by Dynamic Evolutionary Search. ASE 2021: 279-291 - [c77]Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
Quito: a Coverage-Guided Test Generator for Quantum Programs. ASE 2021: 1237-1241 - [c76]Eñaut Mendiluze, Shaukat Ali, Paolo Arcaini, Tao Yue:
Muskit: A Mutation Analysis Tool for Quantum Software Testing. ASE 2021: 1266-1270 - [c75]Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque:
Shake Those System Parameters! On the Need for Parameter Coverage for Decision Systems. ASE 2021: 1327-1331 - [c74]Stefan Klikovits, Paolo Arcaini:
On the Need for Multi-Level ADS Scenarios. MoDELS (Companion) 2021: 322-326 - [c73]Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, Jianjun Zhao:
On the Effectiveness of Signal Rescaling in Hybrid System Falsification. NFM 2021: 392-399 - [c72]Stefan Klikovits, Paolo Arcaini:
Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems. PRDC 2021: 1-6 - [c71]Ezequiel Castellano, Ahmet Cetinkaya, Paolo Arcaini:
Analysis of Road Representations in Search-Based Testing of Autonomous Driving Systems. QRS 2021: 167-178 - [c70]Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
Application of Combinatorial Testing to Quantum Programs. QRS 2021: 179-188 - [c69]Stefan Klikovits, Paolo Arcaini:
KNN-Averaging for Noisy Multi-objective Optimisation. QUATIC 2021: 503-518 - [c68]Ezequiel Castellano, Ahmet Cetinkaya, Cédric Ho Thanh, Stefan Klikovits, Xiaoyi Zhang, Paolo Arcaini:
Frenetic at the SBST 2021 Tool Competition. SBST@ICSE 2021: 36-37 - [c67]Paolo Arcaini, Omar Inverso, Catia Trubiani:
Automated model-based performance analysis of software product lines under uncertainty. SPLC (A) 2021: 112 - [c66]Xinyi Wang, Paolo Arcaini, Tao Yue, Shaukat Ali:
Generating Failing Test Suites for Quantum Programs With Search. SSBSE 2021: 9-25 - [i7]Stefan Klikovits, Paolo Arcaini:
On the Need for Multi-Level ADS Scenarios. CoRR abs/2109.05210 (2021) - [i6]Stefan Klikovits, Paolo Arcaini:
Handling Noise in Search-Based Scenario Generation for Autonomous Driving Systems. CoRR abs/2109.07698 (2021) - [i5]Stefan Klikovits, Paolo Arcaini:
KNN-Averaging for Noisy Multi-objective Optimisation. CoRR abs/2109.13104 (2021) - 2020
- [j22]Atif Mashkoor, Paolo Arcaini, Angelo Gargantini:
Intelligent Autonomous Systems. Computer 53(12): 20-23 (2020) - [j21]Paolo Arcaini, Omar Inverso, Catia Trubiani:
Automated model-based performance analysis of software product lines under uncertainty. Inf. Softw. Technol. 127: 106371 (2020) - [j20]Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
MSL: A pattern language for engineering self-adaptive systems. J. Syst. Softw. 164: 110558 (2020) - [j19]Paolo Arcaini, Jan Kofron, Pavel Jezek:
Validation of the Hybrid ERTMS/ETCS Level 3 using Spin. Int. J. Softw. Tools Technol. Transf. 22(3): 265-279 (2020) - [j18]Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo:
Hybrid System Falsification Under (In)equality Constraints via Search Space Transformation. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3674-3685 (2020) - [j17]Shaukat Ali, Paolo Arcaini, Dipesh Pradhan, Safdar Aqeel Safdar, Tao Yue:
Quality Indicators in Search-based Software Engineering: An Empirical Evaluation. ACM Trans. Softw. Eng. Methodol. 29(2): 10:1-10:29 (2020) - [c65]Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini:
Dealing with Robustness of Convolutional Neural Networks for Image Classification. AITest 2020: 7-14 - [c64]Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang:
ARCH-COMP 2020 Category Report: Falsification. ARCH 2020: 140-152 - [c63]Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA. ABZ 2020: 302-317 - [c62]Ahmet Cetinkaya, Paolo Arcaini, Hideaki Ishii, Tomohisa Hayakawa:
A Search-Based Approach to Identifying Jamming Attacks and Defense Policies in Wireless Networked Control. CDC 2020: 5717-5724 - [c61]Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa:
Simultaneously searching and solving multiple avoidable collisions for testing autonomous driving systems. GECCO 2020: 1055-1063 - [c60]Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque:
Achieving Weight Coverage for an Autonomous Driving System with Search-based Test Generation. ICECCS 2020: 93-102 - [c59]Kun Liu, Xiaoyi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Wenpin Jiao:
Leveraging test logs for building a self-adaptive path planner. SEAMS@ICSE 2020: 57-63 - [c58]Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
Model-Based Testing for MAPE-K adaptation control loops. ICST Workshops 2020: 43-51 - [c57]Alessandro Calò, Paolo Arcaini, Shaukat Ali, Florian Hauer, Fuyuki Ishikawa:
Generating Avoidable Collision Scenarios for Testing Autonomous Driving Systems. ICST 2020: 375-386 - [c56]Tao Yue, Paolo Arcaini, Shaukat Ali:
Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model. ISoLA (4) 2020: 54-71 - [c55]Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa, Kun Liu:
Investigating the Configurations of an Industrial Path Planner in Terms of Collision Avoidance. ISSRE 2020: 301-312 - [c54]Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo:
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches. NFM 2020: 401-419 - [c53]Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra, Alberto Arrigoni, Daniele Bosc, Federico Modica, Rita Pedercini:
Smart home platform supporting decentralized adaptive automation control. SAC 2020: 1893-1900 - [c52]Shaukat Ali, Paolo Arcaini, Tao Yue:
Do Quality Indicators Prefer Particular Multi-objective Search Algorithms in Search-Based Software Engineering? SSBSE 2020: 25-41 - [i4]Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo:
Constraining Counterexamples in Hybrid System Falsification: Penalty-Based Approaches. CoRR abs/2001.05107 (2020)
2010 – 2019
- 2019
- [j16]Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
Achieving change requirements of feature models by an evolutionary approach. J. Syst. Softw. 150: 64-76 (2019) - [j15]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Fault-based test generation for regular expressions by mutation. Softw. Test. Verification Reliab. 29(1-2) (2019) - [j14]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Decomposition-Based Approach for Model-Based Test Generation. IEEE Trans. Software Eng. 45(5): 507-520 (2019) - [c51]Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque:
A Mutation-Based Approach for Assessing Weight Coverage of a Path Planner. APSEC 2019: 94-101 - [c50]Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini:
Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification. CAV (1) 2019: 401-420 - [c49]Gidon Ernst, Paolo Arcaini, Alexandre Donzé, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang:
ARCH-COMP 2019 Category Report: Falsification. ARCH@CPSIoTWeek 2019: 129-140 - [c48]Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
Addressing Usability in a Formal Development Environment. FM Workshops (1) 2019: 61-76 - [c47]Nian-Ze Lee, Paolo Arcaini, Shaukat Ali, Fuyuki Ishikawa:
Stability analysis for safety of automotive multi-product lines: a search-based approach. GECCO 2019: 1241-1249 - [c46]Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
Assessing the Relation Between Hazards and Variability in Automotive Systems. ICECCS 2019: 190-199 - [c45]