Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for +publisher:"Université du Luxembourg" +contributor:("Briand, Lionel [superviser]"). Showing records 1 – 15 of 15 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Université du Luxembourg

1. Di Nardo, Daniel. Model-Based Test Automation Strategies for Data Processing Systems.

Degree: 2016, Université du Luxembourg

 Data processing software is an essential component of systems that aggregate and analyse real-world data, thereby enabling automated interaction between such systems and the real… (more)

Subjects/Keywords: Engineering, computing & technology :: Computer science [C05]; Ingénierie, informatique & technologie :: Sciences informatiques [C05]

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Di Nardo, D. (2016). Model-Based Test Automation Strategies for Data Processing Systems. (Doctoral Dissertation). Université du Luxembourg. Retrieved from http://orbilu.uni.lu/handle/10993/26911

Chicago Manual of Style (16th Edition):

Di Nardo, Daniel. “Model-Based Test Automation Strategies for Data Processing Systems.” 2016. Doctoral Dissertation, Université du Luxembourg. Accessed November 24, 2020. http://orbilu.uni.lu/handle/10993/26911.

MLA Handbook (7th Edition):

Di Nardo, Daniel. “Model-Based Test Automation Strategies for Data Processing Systems.” 2016. Web. 24 Nov 2020.

Vancouver:

Di Nardo D. Model-Based Test Automation Strategies for Data Processing Systems. [Internet] [Doctoral dissertation]. Université du Luxembourg; 2016. [cited 2020 Nov 24]. Available from: http://orbilu.uni.lu/handle/10993/26911.

Council of Science Editors:

Di Nardo D. Model-Based Test Automation Strategies for Data Processing Systems. [Doctoral Dissertation]. Université du Luxembourg; 2016. Available from: http://orbilu.uni.lu/handle/10993/26911


Université du Luxembourg

2. Matinnejad, Reza. AUTOMATED TESTING OF SIMULINK/STATEFLOW MODELS IN THE AUTOMOTIVE DOMAIN.

Degree: 2016, Université du Luxembourg

 Context. Simulink/Stateflow is an advanced system modeling platform which is prevalently used in the Cyber Physical Systems domain, e.g., automotive industry, to implement software con-… (more)

Subjects/Keywords: Simulink models; software testing; test generation; test oracle; search-based software testing; output diversity; Engineering, computing & technology :: Computer science [C05]; Ingénierie, informatique & technologie :: Sciences informatiques [C05]

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Matinnejad, R. (2016). AUTOMATED TESTING OF SIMULINK/STATEFLOW MODELS IN THE AUTOMOTIVE DOMAIN. (Doctoral Dissertation). Université du Luxembourg. Retrieved from http://orbilu.uni.lu/handle/10993/28688

Chicago Manual of Style (16th Edition):

Matinnejad, Reza. “AUTOMATED TESTING OF SIMULINK/STATEFLOW MODELS IN THE AUTOMOTIVE DOMAIN.” 2016. Doctoral Dissertation, Université du Luxembourg. Accessed November 24, 2020. http://orbilu.uni.lu/handle/10993/28688.

MLA Handbook (7th Edition):

Matinnejad, Reza. “AUTOMATED TESTING OF SIMULINK/STATEFLOW MODELS IN THE AUTOMOTIVE DOMAIN.” 2016. Web. 24 Nov 2020.

Vancouver:

Matinnejad R. AUTOMATED TESTING OF SIMULINK/STATEFLOW MODELS IN THE AUTOMOTIVE DOMAIN. [Internet] [Doctoral dissertation]. Université du Luxembourg; 2016. [cited 2020 Nov 24]. Available from: http://orbilu.uni.lu/handle/10993/28688.

Council of Science Editors:

Matinnejad R. AUTOMATED TESTING OF SIMULINK/STATEFLOW MODELS IN THE AUTOMOTIVE DOMAIN. [Doctoral Dissertation]. Université du Luxembourg; 2016. Available from: http://orbilu.uni.lu/handle/10993/28688


Université du Luxembourg

3. Appelt, Dennis. Automated Security Testing of Web-Based Systems Against SQL Injection Attacks.

Degree: 2016, Université du Luxembourg

 Injection vulnerabilities, such as SQL injection (SQLi), are ranked amongst the most dangerous types of vulnerabilities. Despite having received much attention from academia and practitioners,… (more)

Subjects/Keywords: Security Testing; Penetration Testing; SQL Injection; Engineering, computing & technology :: Computer science [C05]; Ingénierie, informatique & technologie :: Sciences informatiques [C05]

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Appelt, D. (2016). Automated Security Testing of Web-Based Systems Against SQL Injection Attacks. (Doctoral Dissertation). Université du Luxembourg. Retrieved from http://orbilu.uni.lu/handle/10993/27947

Chicago Manual of Style (16th Edition):

Appelt, Dennis. “Automated Security Testing of Web-Based Systems Against SQL Injection Attacks.” 2016. Doctoral Dissertation, Université du Luxembourg. Accessed November 24, 2020. http://orbilu.uni.lu/handle/10993/27947.

MLA Handbook (7th Edition):

Appelt, Dennis. “Automated Security Testing of Web-Based Systems Against SQL Injection Attacks.” 2016. Web. 24 Nov 2020.

Vancouver:

Appelt D. Automated Security Testing of Web-Based Systems Against SQL Injection Attacks. [Internet] [Doctoral dissertation]. Université du Luxembourg; 2016. [cited 2020 Nov 24]. Available from: http://orbilu.uni.lu/handle/10993/27947.

Council of Science Editors:

Appelt D. Automated Security Testing of Web-Based Systems Against SQL Injection Attacks. [Doctoral Dissertation]. Université du Luxembourg; 2016. Available from: http://orbilu.uni.lu/handle/10993/27947


Université du Luxembourg

4. Wang, Chunhui. Automated requirements-driven testing of embedded systems based on use case specifications and timed automata.

Degree: 2017, Université du Luxembourg

 The complexity of embedded software in safety-critical domains, such as automotive and avionics, has significantly increased over the years. For most embedded systems, standards require… (more)

Subjects/Keywords: Engineering, computing & technology :: Computer science [C05]; Ingénierie, informatique & technologie :: Sciences informatiques [C05]

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Wang, C. (2017). Automated requirements-driven testing of embedded systems based on use case specifications and timed automata. (Doctoral Dissertation). Université du Luxembourg. Retrieved from http://orbilu.uni.lu/handle/10993/32054

Chicago Manual of Style (16th Edition):

Wang, Chunhui. “Automated requirements-driven testing of embedded systems based on use case specifications and timed automata.” 2017. Doctoral Dissertation, Université du Luxembourg. Accessed November 24, 2020. http://orbilu.uni.lu/handle/10993/32054.

MLA Handbook (7th Edition):

Wang, Chunhui. “Automated requirements-driven testing of embedded systems based on use case specifications and timed automata.” 2017. Web. 24 Nov 2020.

Vancouver:

Wang C. Automated requirements-driven testing of embedded systems based on use case specifications and timed automata. [Internet] [Doctoral dissertation]. Université du Luxembourg; 2017. [cited 2020 Nov 24]. Available from: http://orbilu.uni.lu/handle/10993/32054.

Council of Science Editors:

Wang C. Automated requirements-driven testing of embedded systems based on use case specifications and timed automata. [Doctoral Dissertation]. Université du Luxembourg; 2017. Available from: http://orbilu.uni.lu/handle/10993/32054

5. Di Alesio, Stefano. Supporting Stress Testing in Real-Time Systems with Constraint Programming.

Degree: 2015, Université du Luxembourg

 Failures in safety-critical Real-Time Embedded Systems (RTES) could result in catastrophic consequences for the system itself, its users, and the environment. Therefore, these systems are… (more)

Subjects/Keywords: Stress Testing; Real-Time Systems; Genetic Algorithms; Constraint Programming; Search-Based Software Testing; Engineering, computing & technology :: Computer science [C05]; Ingénierie, informatique & technologie :: Sciences informatiques [C05]

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Di Alesio, S. (2015). Supporting Stress Testing in Real-Time Systems with Constraint Programming. (Doctoral Dissertation). Université du Luxembourg. Retrieved from http://orbilu.uni.lu/handle/10993/20984

Chicago Manual of Style (16th Edition):

Di Alesio, Stefano. “Supporting Stress Testing in Real-Time Systems with Constraint Programming.” 2015. Doctoral Dissertation, Université du Luxembourg. Accessed November 24, 2020. http://orbilu.uni.lu/handle/10993/20984.

MLA Handbook (7th Edition):

Di Alesio, Stefano. “Supporting Stress Testing in Real-Time Systems with Constraint Programming.” 2015. Web. 24 Nov 2020.

Vancouver:

Di Alesio S. Supporting Stress Testing in Real-Time Systems with Constraint Programming. [Internet] [Doctoral dissertation]. Université du Luxembourg; 2015. [cited 2020 Nov 24]. Available from: http://orbilu.uni.lu/handle/10993/20984.

Council of Science Editors:

Di Alesio S. Supporting Stress Testing in Real-Time Systems with Constraint Programming. [Doctoral Dissertation]. Université du Luxembourg; 2015. Available from: http://orbilu.uni.lu/handle/10993/20984

6. Arora, Chetan. AUTOMATED ANALYSIS OF NATURAL-LANGUAGE REQUIREMENTS USING NATURAL LANGUAGE PROCESSING.

Degree: 2016, Université du Luxembourg

 Natural Language (NL) is arguably the most common vehicle for specifying requirements. This dissertation devises automated assistance for some important tasks that requirements engineers need… (more)

Subjects/Keywords: Engineering, computing & technology :: Computer science [C05]; Ingénierie, informatique & technologie :: Sciences informatiques [C05]

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Arora, C. (2016). AUTOMATED ANALYSIS OF NATURAL-LANGUAGE REQUIREMENTS USING NATURAL LANGUAGE PROCESSING. (Doctoral Dissertation). Université du Luxembourg. Retrieved from http://orbilu.uni.lu/handle/10993/28922

Chicago Manual of Style (16th Edition):

Arora, Chetan. “AUTOMATED ANALYSIS OF NATURAL-LANGUAGE REQUIREMENTS USING NATURAL LANGUAGE PROCESSING.” 2016. Doctoral Dissertation, Université du Luxembourg. Accessed November 24, 2020. http://orbilu.uni.lu/handle/10993/28922.

MLA Handbook (7th Edition):

Arora, Chetan. “AUTOMATED ANALYSIS OF NATURAL-LANGUAGE REQUIREMENTS USING NATURAL LANGUAGE PROCESSING.” 2016. Web. 24 Nov 2020.

Vancouver:

Arora C. AUTOMATED ANALYSIS OF NATURAL-LANGUAGE REQUIREMENTS USING NATURAL LANGUAGE PROCESSING. [Internet] [Doctoral dissertation]. Université du Luxembourg; 2016. [cited 2020 Nov 24]. Available from: http://orbilu.uni.lu/handle/10993/28922.

Council of Science Editors:

Arora C. AUTOMATED ANALYSIS OF NATURAL-LANGUAGE REQUIREMENTS USING NATURAL LANGUAGE PROCESSING. [Doctoral Dissertation]. Université du Luxembourg; 2016. Available from: http://orbilu.uni.lu/handle/10993/28922


Université du Luxembourg

7. Dou, Wei. A Model-Driven Approach to Offline Trace Checking of Temporal Properties.

Degree: 2016, Université du Luxembourg

 Offline trace checking is a procedure for evaluating requirements over a log of events produced by a system. The goal of this thesis is to… (more)

Subjects/Keywords: trace checking; temporal properties; property specification patterns; model-driven engineering; OCL; Engineering, computing & technology :: Computer science [C05]; Ingénierie, informatique & technologie :: Sciences informatiques [C05]

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Dou, W. (2016). A Model-Driven Approach to Offline Trace Checking of Temporal Properties. (Doctoral Dissertation). Université du Luxembourg. Retrieved from http://orbilu.uni.lu/handle/10993/29184

Chicago Manual of Style (16th Edition):

Dou, Wei. “A Model-Driven Approach to Offline Trace Checking of Temporal Properties.” 2016. Doctoral Dissertation, Université du Luxembourg. Accessed November 24, 2020. http://orbilu.uni.lu/handle/10993/29184.

MLA Handbook (7th Edition):

Dou, Wei. “A Model-Driven Approach to Offline Trace Checking of Temporal Properties.” 2016. Web. 24 Nov 2020.

Vancouver:

Dou W. A Model-Driven Approach to Offline Trace Checking of Temporal Properties. [Internet] [Doctoral dissertation]. Université du Luxembourg; 2016. [cited 2020 Nov 24]. Available from: http://orbilu.uni.lu/handle/10993/29184.

Council of Science Editors:

Dou W. A Model-Driven Approach to Offline Trace Checking of Temporal Properties. [Doctoral Dissertation]. Université du Luxembourg; 2016. Available from: http://orbilu.uni.lu/handle/10993/29184

8. Soltana, Ghanem. A Model-Based Framework for Legal Policy Simulation and Compliance Checking.

Degree: 2017, Université du Luxembourg

 Information systems implementing requirements from laws and regulations, such as taxes and social benefits, need to be thoroughly verified to demonstrate their compliance. Several Verification… (more)

Subjects/Keywords: Law modeling; Model-based micro-simulation; Compliance checking; Test data generation; Model-driven-engineering; UML/OCL models; Engineering, computing & technology :: Computer science [C05]; Ingénierie, informatique & technologie :: Sciences informatiques [C05]

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Soltana, G. (2017). A Model-Based Framework for Legal Policy Simulation and Compliance Checking. (Doctoral Dissertation). Université du Luxembourg. Retrieved from http://orbilu.uni.lu/handle/10993/32633

Chicago Manual of Style (16th Edition):

Soltana, Ghanem. “A Model-Based Framework for Legal Policy Simulation and Compliance Checking.” 2017. Doctoral Dissertation, Université du Luxembourg. Accessed November 24, 2020. http://orbilu.uni.lu/handle/10993/32633.

MLA Handbook (7th Edition):

Soltana, Ghanem. “A Model-Based Framework for Legal Policy Simulation and Compliance Checking.” 2017. Web. 24 Nov 2020.

Vancouver:

Soltana G. A Model-Based Framework for Legal Policy Simulation and Compliance Checking. [Internet] [Doctoral dissertation]. Université du Luxembourg; 2017. [cited 2020 Nov 24]. Available from: http://orbilu.uni.lu/handle/10993/32633.

Council of Science Editors:

Soltana G. A Model-Based Framework for Legal Policy Simulation and Compliance Checking. [Doctoral Dissertation]. Université du Luxembourg; 2017. Available from: http://orbilu.uni.lu/handle/10993/32633


Université du Luxembourg

9. Mai, Xuan Phu. Automated, Requirements-based Security Testing of Web-oriented Software Systems.

Degree: 2020, Université du Luxembourg

 Motivation and Context. Modern Internet-based services (e.g., home-banking, personal-training, healthcare) are delivered through Web-oriented software systems which run on multiple and different devices including computers,… (more)

Subjects/Keywords: Metamorphic Security Testing; Misuse Case Programming; Restricted Misuse Case Modeling; Security Modeling; Test Case Generation; Oracle Problem; Software Security; Natural Language Programming; Engineering, computing & technology :: Computer science [C05]; Ingénierie, informatique & technologie :: Sciences informatiques [C05]

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Mai, X. P. (2020). Automated, Requirements-based Security Testing of Web-oriented Software Systems. (Doctoral Dissertation). Université du Luxembourg. Retrieved from http://orbilu.uni.lu/handle/10993/44344

Chicago Manual of Style (16th Edition):

Mai, Xuan Phu. “Automated, Requirements-based Security Testing of Web-oriented Software Systems.” 2020. Doctoral Dissertation, Université du Luxembourg. Accessed November 24, 2020. http://orbilu.uni.lu/handle/10993/44344.

MLA Handbook (7th Edition):

Mai, Xuan Phu. “Automated, Requirements-based Security Testing of Web-oriented Software Systems.” 2020. Web. 24 Nov 2020.

Vancouver:

Mai XP. Automated, Requirements-based Security Testing of Web-oriented Software Systems. [Internet] [Doctoral dissertation]. Université du Luxembourg; 2020. [cited 2020 Nov 24]. Available from: http://orbilu.uni.lu/handle/10993/44344.

Council of Science Editors:

Mai XP. Automated, Requirements-based Security Testing of Web-oriented Software Systems. [Doctoral Dissertation]. Université du Luxembourg; 2020. Available from: http://orbilu.uni.lu/handle/10993/44344


Université du Luxembourg

10. Thome, Julian. A Scalable and Accurate Hybrid Vulnerability Analysis Framework.

Degree: 2018, Université du Luxembourg

 As the Internet has become an integral part of our everyday life for activities such as e-mail, online-banking, shopping, entertainment, etc., vulnerabilities in Web software… (more)

Subjects/Keywords: vulnerability detection; string constraint solving; security auditing; static analysis; search-based software engineering; Engineering, computing & technology :: Computer science [C05]; Ingénierie, informatique & technologie :: Sciences informatiques [C05]

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Thome, J. (2018). A Scalable and Accurate Hybrid Vulnerability Analysis Framework. (Doctoral Dissertation). Université du Luxembourg. Retrieved from http://orbilu.uni.lu/handle/10993/35504

Chicago Manual of Style (16th Edition):

Thome, Julian. “A Scalable and Accurate Hybrid Vulnerability Analysis Framework.” 2018. Doctoral Dissertation, Université du Luxembourg. Accessed November 24, 2020. http://orbilu.uni.lu/handle/10993/35504.

MLA Handbook (7th Edition):

Thome, Julian. “A Scalable and Accurate Hybrid Vulnerability Analysis Framework.” 2018. Web. 24 Nov 2020.

Vancouver:

Thome J. A Scalable and Accurate Hybrid Vulnerability Analysis Framework. [Internet] [Doctoral dissertation]. Université du Luxembourg; 2018. [cited 2020 Nov 24]. Available from: http://orbilu.uni.lu/handle/10993/35504.

Council of Science Editors:

Thome J. A Scalable and Accurate Hybrid Vulnerability Analysis Framework. [Doctoral Dissertation]. Université du Luxembourg; 2018. Available from: http://orbilu.uni.lu/handle/10993/35504


Université du Luxembourg

11. Jan, Sadeeq. Automated and Effective Security Testing for XML-based Vulnerabilities.

Degree: 2017, Université du Luxembourg

 Nowadays, the External Markup Language (XML) is the most commonly used technology in web services for enabling service providers and consumers to exchange data. XML… (more)

Subjects/Keywords: Security testing; XML injection; Search-based software testing; Engineering, computing & technology :: Computer science [C05]; Ingénierie, informatique & technologie :: Sciences informatiques [C05]

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Jan, S. (2017). Automated and Effective Security Testing for XML-based Vulnerabilities. (Doctoral Dissertation). Université du Luxembourg. Retrieved from http://orbilu.uni.lu/handle/10993/32350

Chicago Manual of Style (16th Edition):

Jan, Sadeeq. “Automated and Effective Security Testing for XML-based Vulnerabilities.” 2017. Doctoral Dissertation, Université du Luxembourg. Accessed November 24, 2020. http://orbilu.uni.lu/handle/10993/32350.

MLA Handbook (7th Edition):

Jan, Sadeeq. “Automated and Effective Security Testing for XML-based Vulnerabilities.” 2017. Web. 24 Nov 2020.

Vancouver:

Jan S. Automated and Effective Security Testing for XML-based Vulnerabilities. [Internet] [Doctoral dissertation]. Université du Luxembourg; 2017. [cited 2020 Nov 24]. Available from: http://orbilu.uni.lu/handle/10993/32350.

Council of Science Editors:

Jan S. Automated and Effective Security Testing for XML-based Vulnerabilities. [Doctoral Dissertation]. Université du Luxembourg; 2017. Available from: http://orbilu.uni.lu/handle/10993/32350


Université du Luxembourg

12. Liu, Bing. AUTOMATED DEBUGGING AND FAULT LOCALIZATION OF MATLAB/SIMULINK MODELS.

Degree: 2017, Université du Luxembourg

 Matlab/Simulink is an advanced environment for modeling and simulating multidomain dynamic systems. It has been widely used to model advanced Cyber-Physical Systems, e.g. in the… (more)

Subjects/Keywords: Engineering, computing & technology :: Computer science [C05]; Ingénierie, informatique & technologie :: Sciences informatiques [C05]; Engineering, computing & technology :: Electrical & electronics engineering [C06]; Ingénierie, informatique & technologie :: Ingénierie électrique & électronique [C06]

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Liu, B. (2017). AUTOMATED DEBUGGING AND FAULT LOCALIZATION OF MATLAB/SIMULINK MODELS. (Doctoral Dissertation). Université du Luxembourg. Retrieved from http://orbilu.uni.lu/handle/10993/31979

Chicago Manual of Style (16th Edition):

Liu, Bing. “AUTOMATED DEBUGGING AND FAULT LOCALIZATION OF MATLAB/SIMULINK MODELS.” 2017. Doctoral Dissertation, Université du Luxembourg. Accessed November 24, 2020. http://orbilu.uni.lu/handle/10993/31979.

MLA Handbook (7th Edition):

Liu, Bing. “AUTOMATED DEBUGGING AND FAULT LOCALIZATION OF MATLAB/SIMULINK MODELS.” 2017. Web. 24 Nov 2020.

Vancouver:

Liu B. AUTOMATED DEBUGGING AND FAULT LOCALIZATION OF MATLAB/SIMULINK MODELS. [Internet] [Doctoral dissertation]. Université du Luxembourg; 2017. [cited 2020 Nov 24]. Available from: http://orbilu.uni.lu/handle/10993/31979.

Council of Science Editors:

Liu B. AUTOMATED DEBUGGING AND FAULT LOCALIZATION OF MATLAB/SIMULINK MODELS. [Doctoral Dissertation]. Université du Luxembourg; 2017. Available from: http://orbilu.uni.lu/handle/10993/31979


Université du Luxembourg

13. Ben Abdessalem (helali), Raja. Effective Testing Of Advanced Driver Assistance Systems Using Evolutionary Algorithms And Machine Learning.

Degree: 2019, Université du Luxembourg

 Improving road safety is a major concern for most car manufacturers. In recent years, the development of Advanced Driver Assistance Systems (ADAS) has subsequently seen… (more)

Subjects/Keywords: Search-based Software Engineering; Software Testing; Evolutionary algorithms; Automotive Software Systems; Feature Interaction Problem; Program Repair; Engineering, computing & technology :: Computer science [C05]; Ingénierie, informatique & technologie :: Sciences informatiques [C05]

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ben Abdessalem (helali), R. (2019). Effective Testing Of Advanced Driver Assistance Systems Using Evolutionary Algorithms And Machine Learning. (Doctoral Dissertation). Université du Luxembourg. Retrieved from http://orbilu.uni.lu/handle/10993/39529

Chicago Manual of Style (16th Edition):

Ben Abdessalem (helali), Raja. “Effective Testing Of Advanced Driver Assistance Systems Using Evolutionary Algorithms And Machine Learning.” 2019. Doctoral Dissertation, Université du Luxembourg. Accessed November 24, 2020. http://orbilu.uni.lu/handle/10993/39529.

MLA Handbook (7th Edition):

Ben Abdessalem (helali), Raja. “Effective Testing Of Advanced Driver Assistance Systems Using Evolutionary Algorithms And Machine Learning.” 2019. Web. 24 Nov 2020.

Vancouver:

Ben Abdessalem (helali) R. Effective Testing Of Advanced Driver Assistance Systems Using Evolutionary Algorithms And Machine Learning. [Internet] [Doctoral dissertation]. Université du Luxembourg; 2019. [cited 2020 Nov 24]. Available from: http://orbilu.uni.lu/handle/10993/39529.

Council of Science Editors:

Ben Abdessalem (helali) R. Effective Testing Of Advanced Driver Assistance Systems Using Evolutionary Algorithms And Machine Learning. [Doctoral Dissertation]. Université du Luxembourg; 2019. Available from: http://orbilu.uni.lu/handle/10993/39529

14. Hajri, Ines. Supporting Change in Product Lines Within the Context of Use Case-driven Development and Testing.

Degree: 2019, Université du Luxembourg

 Product Line Engineering (PLE) is a crucial practice in many software development environments where systems are complex and developed for multiple customers with varying needs.… (more)

Subjects/Keywords: Product Line Engineering; Use Case-Driven Development; Use Case Configurator; Natural Language Processing; Consistency Checking; Evolving Decisions; Change Impact Analysis; Test Case Classification; Test Case Prioritization; Engineering, computing & technology :: Computer science [C05]; Ingénierie, informatique & technologie :: Sciences informatiques [C05]

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Hajri, I. (2019). Supporting Change in Product Lines Within the Context of Use Case-driven Development and Testing. (Doctoral Dissertation). Université du Luxembourg. Retrieved from http://orbilu.uni.lu/handle/10993/38385

Chicago Manual of Style (16th Edition):

Hajri, Ines. “Supporting Change in Product Lines Within the Context of Use Case-driven Development and Testing.” 2019. Doctoral Dissertation, Université du Luxembourg. Accessed November 24, 2020. http://orbilu.uni.lu/handle/10993/38385.

MLA Handbook (7th Edition):

Hajri, Ines. “Supporting Change in Product Lines Within the Context of Use Case-driven Development and Testing.” 2019. Web. 24 Nov 2020.

Vancouver:

Hajri I. Supporting Change in Product Lines Within the Context of Use Case-driven Development and Testing. [Internet] [Doctoral dissertation]. Université du Luxembourg; 2019. [cited 2020 Nov 24]. Available from: http://orbilu.uni.lu/handle/10993/38385.

Council of Science Editors:

Hajri I. Supporting Change in Product Lines Within the Context of Use Case-driven Development and Testing. [Doctoral Dissertation]. Université du Luxembourg; 2019. Available from: http://orbilu.uni.lu/handle/10993/38385

15. Ben Fadhel, Ameni. Comprehensive Specification and Efficient Enforcement of Role-based Access Control Policies using a Model-driven Approach.

Degree: 2017, Université du Luxembourg

 Prohibiting unauthorized access to critical resources and data has become a major requirement for enterprises. Access control (AC) mechanisms manage requests from users to access… (more)

Subjects/Keywords: Engineering, computing & technology :: Computer science [C05]; Ingénierie, informatique & technologie :: Sciences informatiques [C05]

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Ben Fadhel, A. (2017). Comprehensive Specification and Efficient Enforcement of Role-based Access Control Policies using a Model-driven Approach. (Doctoral Dissertation). Université du Luxembourg. Retrieved from http://orbilu.uni.lu/handle/10993/32665

Chicago Manual of Style (16th Edition):

Ben Fadhel, Ameni. “Comprehensive Specification and Efficient Enforcement of Role-based Access Control Policies using a Model-driven Approach.” 2017. Doctoral Dissertation, Université du Luxembourg. Accessed November 24, 2020. http://orbilu.uni.lu/handle/10993/32665.

MLA Handbook (7th Edition):

Ben Fadhel, Ameni. “Comprehensive Specification and Efficient Enforcement of Role-based Access Control Policies using a Model-driven Approach.” 2017. Web. 24 Nov 2020.

Vancouver:

Ben Fadhel A. Comprehensive Specification and Efficient Enforcement of Role-based Access Control Policies using a Model-driven Approach. [Internet] [Doctoral dissertation]. Université du Luxembourg; 2017. [cited 2020 Nov 24]. Available from: http://orbilu.uni.lu/handle/10993/32665.

Council of Science Editors:

Ben Fadhel A. Comprehensive Specification and Efficient Enforcement of Role-based Access Control Policies using a Model-driven Approach. [Doctoral Dissertation]. Université du Luxembourg; 2017. Available from: http://orbilu.uni.lu/handle/10993/32665

.