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 subject:(Oracle Problem). Showing records 1 – 8 of 8 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Colorado State University

1. Kanewala, Upulee G. Testing scientific software: techniques for automatic detection of metamorphic relations.

Degree: PhD, Computer Science, 2015, Colorado State University

 Scientific software plays an important role in critical decision making in fields such as the nuclear industry, medicine, and the military. Systematic testing of such… (more)

Subjects/Keywords: metamorphic testing; software testing; oracle problem; metamorphic relations

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kanewala, U. G. (2015). Testing scientific software: techniques for automatic detection of metamorphic relations. (Doctoral Dissertation). Colorado State University. Retrieved from http://hdl.handle.net/10217/166910

Chicago Manual of Style (16th Edition):

Kanewala, Upulee G. “Testing scientific software: techniques for automatic detection of metamorphic relations.” 2015. Doctoral Dissertation, Colorado State University. Accessed October 29, 2020. http://hdl.handle.net/10217/166910.

MLA Handbook (7th Edition):

Kanewala, Upulee G. “Testing scientific software: techniques for automatic detection of metamorphic relations.” 2015. Web. 29 Oct 2020.

Vancouver:

Kanewala UG. Testing scientific software: techniques for automatic detection of metamorphic relations. [Internet] [Doctoral dissertation]. Colorado State University; 2015. [cited 2020 Oct 29]. Available from: http://hdl.handle.net/10217/166910.

Council of Science Editors:

Kanewala UG. Testing scientific software: techniques for automatic detection of metamorphic relations. [Doctoral Dissertation]. Colorado State University; 2015. Available from: http://hdl.handle.net/10217/166910


University of Wollongong

2. Xiang, Shaowen. On automatic testing of web search engines.

Degree: Master of Computer Science, 2015, University of Wollongong

  Web search engines are very important because they are the means by which people retrieve information from the World Wide Web. However, testing these… (more)

Subjects/Keywords: software testing; oracle problem; metamorphic testing; reliability; page retrieval capability; search engines

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Xiang, S. (2015). On automatic testing of web search engines. (Masters Thesis). University of Wollongong. Retrieved from 0803 COMPUTER SOFTWARE ; https://ro.uow.edu.au/theses/4310

Chicago Manual of Style (16th Edition):

Xiang, Shaowen. “On automatic testing of web search engines.” 2015. Masters Thesis, University of Wollongong. Accessed October 29, 2020. 0803 COMPUTER SOFTWARE ; https://ro.uow.edu.au/theses/4310.

MLA Handbook (7th Edition):

Xiang, Shaowen. “On automatic testing of web search engines.” 2015. Web. 29 Oct 2020.

Vancouver:

Xiang S. On automatic testing of web search engines. [Internet] [Masters thesis]. University of Wollongong; 2015. [cited 2020 Oct 29]. Available from: 0803 COMPUTER SOFTWARE ; https://ro.uow.edu.au/theses/4310.

Council of Science Editors:

Xiang S. On automatic testing of web search engines. [Masters Thesis]. University of Wollongong; 2015. Available from: 0803 COMPUTER SOFTWARE ; https://ro.uow.edu.au/theses/4310

3. Imamovic, Nermin. TEST ORACLE AUTOMATION WITH MACHINE LEARNING : A FEASIBILITY STUDY.

Degree: Design and Engineering, 2018, Mälardalen University

  The train represents a complex system, where every sub-system has an important role. If a subsystem doesn’t work how it should, the correctness of… (more)

Subjects/Keywords: Test oracle automation; the oracle problem; machine learning; classification; feature engineering; signal classification; time-series analysis; time-series classification; multivariate time-series classification; Computer Systems; Datorsystem

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Imamovic, N. (2018). TEST ORACLE AUTOMATION WITH MACHINE LEARNING : A FEASIBILITY STUDY. (Thesis). Mälardalen University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-49280

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Imamovic, Nermin. “TEST ORACLE AUTOMATION WITH MACHINE LEARNING : A FEASIBILITY STUDY.” 2018. Thesis, Mälardalen University. Accessed October 29, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-49280.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Imamovic, Nermin. “TEST ORACLE AUTOMATION WITH MACHINE LEARNING : A FEASIBILITY STUDY.” 2018. Web. 29 Oct 2020.

Vancouver:

Imamovic N. TEST ORACLE AUTOMATION WITH MACHINE LEARNING : A FEASIBILITY STUDY. [Internet] [Thesis]. Mälardalen University; 2018. [cited 2020 Oct 29]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-49280.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Imamovic N. TEST ORACLE AUTOMATION WITH MACHINE LEARNING : A FEASIBILITY STUDY. [Thesis]. Mälardalen University; 2018. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-49280

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


University of Adelaide

4. Lagana, Antonio. Quantum computation and a universal quantum computer.

Degree: 2012, University of Adelaide

 This thesis covers two main topics in quantum computing: universal quantum computation and quantum search. We first demonstrate how a quantum harmonic oscillator can be… (more)

Subjects/Keywords: universal quantum turing machine; programmable quantum computer; oracle based algorithms; quantum search; Grover search; quantum halting problem

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lagana, A. (2012). Quantum computation and a universal quantum computer. (Thesis). University of Adelaide. Retrieved from http://hdl.handle.net/2440/77320

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Lagana, Antonio. “Quantum computation and a universal quantum computer.” 2012. Thesis, University of Adelaide. Accessed October 29, 2020. http://hdl.handle.net/2440/77320.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Lagana, Antonio. “Quantum computation and a universal quantum computer.” 2012. Web. 29 Oct 2020.

Vancouver:

Lagana A. Quantum computation and a universal quantum computer. [Internet] [Thesis]. University of Adelaide; 2012. [cited 2020 Oct 29]. Available from: http://hdl.handle.net/2440/77320.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Lagana A. Quantum computation and a universal quantum computer. [Thesis]. University of Adelaide; 2012. Available from: http://hdl.handle.net/2440/77320

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Brno University of Technology

5. Kocourek, Jakub. Poradce při nákupech: Shopping Advisor.

Degree: 2019, Brno University of Technology

 The attached bachelor thesis deals with nding the shortest ways in a shop for the selected purchase. The different technologies of creating web pages are… (more)

Subjects/Keywords: Problém obchodního cestujícího; genetický algoritmus; simulované žíhání; nejkratší cesta v grafu; Dijkstrův algoritmus; Bellman-Ford algoritmus; Floyd-Warshall algoritmus; MySQL; PostgreSQL; MS SQL; Oracle; PHP; Java; ASP.NET; Perl; Nette; Javascript; JQuery.; Travelling salesman problem; genetic algorithm; simulated annealing; shortest path problem; Dijkstra's algorithm; Bellman-Ford algorithm; Floyd-Warshall algorithm; MySQL; PostgreSQL; MS SQL; Oracle; PHP; Java; ASP.NET; Perl; Nette; Javascript; JQuery.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kocourek, J. (2019). Poradce při nákupech: Shopping Advisor. (Thesis). Brno University of Technology. Retrieved from http://hdl.handle.net/11012/56144

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Kocourek, Jakub. “Poradce při nákupech: Shopping Advisor.” 2019. Thesis, Brno University of Technology. Accessed October 29, 2020. http://hdl.handle.net/11012/56144.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Kocourek, Jakub. “Poradce při nákupech: Shopping Advisor.” 2019. Web. 29 Oct 2020.

Vancouver:

Kocourek J. Poradce při nákupech: Shopping Advisor. [Internet] [Thesis]. Brno University of Technology; 2019. [cited 2020 Oct 29]. Available from: http://hdl.handle.net/11012/56144.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Kocourek J. Poradce při nákupech: Shopping Advisor. [Thesis]. Brno University of Technology; 2019. Available from: http://hdl.handle.net/11012/56144

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Queens University

6. Hook, Daniel. Using Code Mutation to Study Code Faults in Scientific Software .

Degree: Computing, 2009, Queens University

 Code faults can seriously degrade scientific software accuracy. Therefore, it is imperative that scientific software developers scrutinize their codes in an attempt to find these… (more)

Subjects/Keywords: Mutation Sensitivity Testing ; Scientific Software ; Software Testing ; Mutation Testing ; Code Faults ; Code Scrutinization ; Oracle Problem ; Tolerance Problem

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hook, D. (2009). Using Code Mutation to Study Code Faults in Scientific Software . (Thesis). Queens University. Retrieved from http://hdl.handle.net/1974/1765

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Hook, Daniel. “Using Code Mutation to Study Code Faults in Scientific Software .” 2009. Thesis, Queens University. Accessed October 29, 2020. http://hdl.handle.net/1974/1765.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Hook, Daniel. “Using Code Mutation to Study Code Faults in Scientific Software .” 2009. Web. 29 Oct 2020.

Vancouver:

Hook D. Using Code Mutation to Study Code Faults in Scientific Software . [Internet] [Thesis]. Queens University; 2009. [cited 2020 Oct 29]. Available from: http://hdl.handle.net/1974/1765.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Hook D. Using Code Mutation to Study Code Faults in Scientific Software . [Thesis]. Queens University; 2009. Available from: http://hdl.handle.net/1974/1765

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

7. Leike, Jan. Nonparametric General Reinforcement Learning .

Degree: 2016, Australian National University

 Reinforcement learning problems are often phrased in terms of Markov decision processes (MDPs). In this thesis we go beyond MDPs and consider reinforcement learning in… (more)

Subjects/Keywords: Bayesian methods; sequence prediction; merging; general reinforcement learning; universal artificial intelligence; AIXI; Thompson sampling; knowledge-seeking agents; Pareto optimality; intelligence; asymptotic optimality; computability; reflective oracle; grain of truth problem; Nash equilibrium

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Leike, J. (2016). Nonparametric General Reinforcement Learning . (Thesis). Australian National University. Retrieved from http://hdl.handle.net/1885/111080

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Leike, Jan. “Nonparametric General Reinforcement Learning .” 2016. Thesis, Australian National University. Accessed October 29, 2020. http://hdl.handle.net/1885/111080.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Leike, Jan. “Nonparametric General Reinforcement Learning .” 2016. Web. 29 Oct 2020.

Vancouver:

Leike J. Nonparametric General Reinforcement Learning . [Internet] [Thesis]. Australian National University; 2016. [cited 2020 Oct 29]. Available from: http://hdl.handle.net/1885/111080.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Leike J. Nonparametric General Reinforcement Learning . [Thesis]. Australian National University; 2016. Available from: http://hdl.handle.net/1885/111080

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Université du Luxembourg

8. 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 October 29, 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. 29 Oct 2020.

Vancouver:

Mai XP. Automated, Requirements-based Security Testing of Web-oriented Software Systems. [Internet] [Doctoral dissertation]. Université du Luxembourg; 2020. [cited 2020 Oct 29]. 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

.