Primary tabs

2021
K. Yin, P. Arcaini, T. Yue and S. Ali. Analyzing the Impact of Product Configuration Variations on Advanced Driver Assistance Systems with Search In The Genetic and Evolutionary Computation Conference. ACM, 2021.
Q. Xu, S. Ali and T. Yue. Anomaly Detection with Digital Twin in Cyber-Physical Systems In IEEE International Conference on Software Testing., 2021.PDF icon digital_twin_icst_2.pdf (447.31 KB)
Q. Xu, S. Ali and T. Yue. Anomaly Detection with Digital Twin in Cyber-Physical Systems In IEEE International Conference on Software Testing, Verification and Validation ., 2021.
S. Ali, P. Arcaini, X. Wang and T. Yue. Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs In IEEE International Conference on Software Testing, Verification and Validation . IEEE, 2021.
S. Ali, P. Arcaini, X. Wang and T. Yue. Assessing the Effectiveness of Input and Output Coverage Criteria for Testing Quantum Programs In IEEE International Conference on Software Testing, Verification and Validation (ICST)), Edited by R. Hierons and F. Ferrari. IEEE, 2021.PDF icon quito.pdf (1021.96 KB)
S. Ali, P. Arcaini and T. Yue. Do Quality Indicators Prefer Particular Multi-Objective Search Algorithms in Search-Based Software Engineering? (Hot Off the Press) In The Genetic and Evolutionary Computation Conference., 2021.
R. Abreu, S. Ali and T. Yue. "First International Workshop on Quantum Software Engineering (Q-SE 2020)." ACM SIGSOFT Softw. Eng. Notes 46, no. 2 (2021).
X. Wang, P. Arcaini, T. Yue and S. Ali. Generating Failing Test Suites for Quantum Programs with Search In 13th Symposium on Search-Based Software Engineering. LNCS, 2021.
A. Gartziandia, A. Arrieta, S. Ali, T. Yue, A. Agirre, G. Sagardui and M. Arratibel. Microservices for Continuous Deployment, Monitoring and Validation in Cyber-Physical Systems: an Industrial Case Study for Elevators Systems In ICSA Software Architecture in Practice (SAIP) . IEEE, 2021.
E. Mendiluze, S. Ali, P. Arcaini and T. Yue. Muskit: A Mutation Analysis Tool for Quantum Software Testing. Simula Research Laboratory, Technical Report, 2021.PDF icon quantum_mutation_tool_ase_tr.pdf (317.39 KB)
E. Mendiluze, S. Ali, P. Arcaini and T. Yue. Muskit: A Mutation Analysis Tool for Quantum Software Testing In The 36th IEEE/ACM International Conference on Automated Software Engineering. IEEE/ACM, 2021.
F. O. Catak, T. Yue and S. Ali. Prediction Surface Uncertainty Quantification in Object Detection Models for Autonomous Driving In The Third IEEE International Conference On Artificial Intelligence Testing. Oxford, England: IEEE, 2021.PDF icon 2107.04991.pdf (6.56 MB)
S. Ali, P. Arcaini, D. Pradhan, S. A. Safdar and T. Yue. Quality Indicators in Search-Based Software Engineering: An Empirical Evaluation In 43rd International Conference on Software Engineering. IEEE, 2021.
X. Wang, P. Arcaini, T. Yue and S. Ali. Quito: a Coverage-Guided Test Generator for Quantum Programs In The 36th IEEE/ACM International Conference on Automated Software Engineering. IEEE/ACM, 2021.
S. A. Safdar, T. Yue and S. Ali. "Recommending Faulty Configurations for Interacting Systems Under Test Using Multi-Objective Search." ACM Transactions on Software Engineering and Methodology (TOSEM) (2021).
S. A. Safdar. "Recommending Faulty Configurations for Interacting Systems Under Test Using Multi-Objective Search." ACM Transactions on Software Engineering and Methodology (TOSEM) (2021).
Y. Shi, C. Lu, M. Zhang, H. Zhang, T. Yue and S. Ali. Restricted Natural Language and Model-based Adaptive Test Generation for Autonomous Driving In ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems (MODELS). ACM/IEEE, 2021.
S. Ali, T. Yue and R. Abreu. The Role of Quantum Software Engineering in the Second Quantum Revolution In Communications of the ACM Europe Region Special Section Virtual Workshop., 2021.
C. Lu, H. Zhang, T. Yue and S. Ali. Search-based Selection and Prioritization of Test Scenarios for Autonomous Driving Systems In 13th Symposium on Search-Based Software Engineering. LNCS Springer, 2021.
T. Ma, S. Ali and T. Yue. "Testing Self-Healing Cyber-Physical Systems under Uncertainty with Reinforcement Learning: An Empirical Study." Empirical Software Engineering (2021).
T. Yue, P. Arcaini and S. Ali. Understanding Digital Twins for Cyber-Physical Systems: A Conceptual Model In th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Edited by J. Fitzgerald and P. G. Larsen. LNCS, 2021.
2020
S. Ali, P. Arcaini and T. Yue. Do Quality Indicators Prefer Particular Multi-Objective Search Algorithms in Search-Based Software Engineering? In 12th Symposium on Search-Based Software Engineering, Edited by A. Aleti and A. Panichella. LNCS, 2020.PDF icon ssbse_qi_preprint.pdf (347.59 KB)
T. Yue and S. Ali. Empowering Model-based Engineering with the CynefinFramework for Systematic Uncertainty Thinking In 1st Uncertainty in Modeling Workshop 2020, Co-located with the ACM/IEEE 213rd International Conference on Model Driven Engineering Languages and Systems., 2020.
S. A. Safdar, H. Lu, T. Yue, S. Ali and K. Nie. "A framework for automated multi‑stage and multi‑step product confguration of cyber‑physical systems." Software and Systems Modeling (SoSym) 19, no. 4 (2020): 1-55.
S. Ali and T. Yue. Handling Uncertainties in Cyber-Physical Systems during TheirOperations with Digital Twins. Simula Research Laboratory, 2020.PDF icon mt_cps_2020.pdf (386.86 KB)

Pages