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:("Software Verification and Validation Lab"). Showing records 1 – 7 of 7 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters

1. 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

2. 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

3. 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

4. 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

5. 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

6. 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

7. 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

.