Briand, Lionel C.

1. Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification
   2019/10/07 by Claudio Menghi, Menghi, Claudio, Shiva Nejati +5 · 4 citations
   Computer Science · #Software Testing and Debugging Techniques #Formal Methods in Verification #Software Reliability and Analysis Research
2. SMARLA: A Safety Monitoring Approach for Deep Reinforcement Learning Agents
   2023/08/03 by Zolfagharian, Amirhossein, Abdellatif, Manel, Briand, Lionel C. +1 · 4 citations
   #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Software Engineering (cs.SE)
3. Evaluating Model Testing and Model Checking for Finding Requirements\n Violations in Simulink Models
   2019/05/09 by Shiva Nejati, Khouloud Gaaloul, Nejati, Shiva +9 · 3 citations
   Computer Science · Engineering · #Formal Methods in Verification #Software Testing and Debugging Techniques #Real-time simulation and control systems
4. Metamorphic Testing for Web System Security
   2022/08/19 by Nazanin Bayati Chaleshtari, Fabrizio Pastore, Chaleshtari, Nazanin Bayati +5 · 2 citations
   Computer Science · #Software Testing and Debugging Techniques #Software Engineering Research #Web Application Security Vulnerabilities
5. Automated Smell Detection and Recommendation in Natural Language Requirements
   2023/05/11 by Veizaga, Alvaro, Shin, Seung Yeob, Briand, Lionel C. · 2 citations
   #FOS: Computer and information sciences #Software Engineering (cs.SE)
6. Combining Genetic Programming and Model Checking to Generate Environment Assumptions
   2021/01/06 by Gaaloul, Khouloud, Menghi, Claudio, Nejati, Shiva +2 · 2 citations
   #FOS: Computer and information sciences #Software Engineering (cs.SE)
7. System Safety Monitoring of Learned Components Using Temporal Metric Forecasting
   2024/05/21 by Sepehr Sharifi, Sharifi, Sepehr, Andrea Stocco +3 · 2 citations
   Engineering · #Fault Detection and Control Systems
8. AI-enabled Automation for Completeness Checking of Privacy Policies
   2021/06/10 by Amaral, Orlando, Abualhaija, Sallam, Torre, Damiano +2 · 1 citation
   #Artificial Intelligence (cs.AI) #Cryptography and Security (cs.CR) #FOS: Computer and information sciences #Software Engineering (cs.SE)
9. Identifying the Hazard Boundary of ML-enabled Autonomous Systems Using Cooperative Co-Evolutionary Search
   2023/01/31 by Sharifi, Sepehr, Shin, Donghwan, Briand, Lionel C. +1 · 1 citation
   #FOS: Computer and information sciences #Machine Learning (cs.LG) #Neural and Evolutionary Computing (cs.NE) #Robotics (cs.RO) #Software Engineering (cs.SE)
10. Using Cooperative Co-evolutionary Search to Generate Metamorphic Test Cases for Autonomous Driving Systems
    2024/12/05 by Hossein Yousefizadeh, Yousefizadeh, Hossein, S. Gu +5 · 2 citations
    Computer Science · #FOS: Computer and information sciences #Model-Driven Software Engineering Techniques #Neural and Evolutionary Computing (cs.NE) #Reinforcement Learning in Robotics #Software Engineering (cs.SE) #Software Testing and Debugging Techniques
11. Mutation-Guided Unit Test Generation with a Large Language Model
    2025/06/03 by Wang, Guancheng, Xu, Qinghua, Briand, Lionel C. +1 · 1 citation
    #FOS: Computer and information sciences #Software Engineering (cs.SE)