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:(mutation testing). Showing records 1 – 30 of 87 total matches.

[1] [2] [3]

Search Limiters

Last 2 Years | English Only

Levels

Country

▼ Search Limiters


University of Illinois – Urbana-Champaign

1. Hariri, Farah. Exploring design decisions for mutation testing.

Degree: PhD, Computer Science, 2018, University of Illinois – Urbana-Champaign

 Software testing is by far the most popular technique used in industry for quality assurance. One key challenge of software testing is how to evaluate… (more)

Subjects/Keywords: software testing; mutation testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hariri, F. (2018). Exploring design decisions for mutation testing. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/101008

Chicago Manual of Style (16th Edition):

Hariri, Farah. “Exploring design decisions for mutation testing.” 2018. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed March 06, 2021. http://hdl.handle.net/2142/101008.

MLA Handbook (7th Edition):

Hariri, Farah. “Exploring design decisions for mutation testing.” 2018. Web. 06 Mar 2021.

Vancouver:

Hariri F. Exploring design decisions for mutation testing. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2018. [cited 2021 Mar 06]. Available from: http://hdl.handle.net/2142/101008.

Council of Science Editors:

Hariri F. Exploring design decisions for mutation testing. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2018. Available from: http://hdl.handle.net/2142/101008


University of Texas – Austin

2. Wang, Kaiyuan. MuAlloy : an automated mutation system for alloy.

Degree: MSin Engineering, Electrical and Computer Engineering, 2015, University of Texas – Austin

Mutation is a powerful technique that researchers have studied for several decades in the context of imperative code. For example, mutation testing is commonly considered… (more)

Subjects/Keywords: MuAlloy; Mutation; Alloy; Mutation testing; Repair

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wang, K. (2015). MuAlloy : an automated mutation system for alloy. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/31865

Chicago Manual of Style (16th Edition):

Wang, Kaiyuan. “MuAlloy : an automated mutation system for alloy.” 2015. Masters Thesis, University of Texas – Austin. Accessed March 06, 2021. http://hdl.handle.net/2152/31865.

MLA Handbook (7th Edition):

Wang, Kaiyuan. “MuAlloy : an automated mutation system for alloy.” 2015. Web. 06 Mar 2021.

Vancouver:

Wang K. MuAlloy : an automated mutation system for alloy. [Internet] [Masters thesis]. University of Texas – Austin; 2015. [cited 2021 Mar 06]. Available from: http://hdl.handle.net/2152/31865.

Council of Science Editors:

Wang K. MuAlloy : an automated mutation system for alloy. [Masters Thesis]. University of Texas – Austin; 2015. Available from: http://hdl.handle.net/2152/31865


Delft University of Technology

3. Leontiuc, Ioana (author). Continuous Mutation Testing in Modern Software Development.

Degree: 2017, Delft University of Technology

 Modern software is being built in a continuously integrated fashion, in order to overcome the challenges that come with developing large software systems from many… (more)

Subjects/Keywords: mutation testing continuous integration

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Leontiuc, I. (. (2017). Continuous Mutation Testing in Modern Software Development. (Masters Thesis). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:ce135a31-972f-4f96-bfbb-28b813045e1b

Chicago Manual of Style (16th Edition):

Leontiuc, Ioana (author). “Continuous Mutation Testing in Modern Software Development.” 2017. Masters Thesis, Delft University of Technology. Accessed March 06, 2021. http://resolver.tudelft.nl/uuid:ce135a31-972f-4f96-bfbb-28b813045e1b.

MLA Handbook (7th Edition):

Leontiuc, Ioana (author). “Continuous Mutation Testing in Modern Software Development.” 2017. Web. 06 Mar 2021.

Vancouver:

Leontiuc I(. Continuous Mutation Testing in Modern Software Development. [Internet] [Masters thesis]. Delft University of Technology; 2017. [cited 2021 Mar 06]. Available from: http://resolver.tudelft.nl/uuid:ce135a31-972f-4f96-bfbb-28b813045e1b.

Council of Science Editors:

Leontiuc I(. Continuous Mutation Testing in Modern Software Development. [Masters Thesis]. Delft University of Technology; 2017. Available from: http://resolver.tudelft.nl/uuid:ce135a31-972f-4f96-bfbb-28b813045e1b


University of Texas – Austin

4. Zhang, Lingming. Unifying regression testing with mutation testing.

Degree: PhD, Electrical and Computer Engineering, 2014, University of Texas – Austin

 Software testing is the most commonly used methodology for validating quality of software systems. Conceptually, testing is simple, but in practice, given the huge (practically… (more)

Subjects/Keywords: Regression testing; Mutation testing; Fault localization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhang, L. (2014). Unifying regression testing with mutation testing. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/25055

Chicago Manual of Style (16th Edition):

Zhang, Lingming. “Unifying regression testing with mutation testing.” 2014. Doctoral Dissertation, University of Texas – Austin. Accessed March 06, 2021. http://hdl.handle.net/2152/25055.

MLA Handbook (7th Edition):

Zhang, Lingming. “Unifying regression testing with mutation testing.” 2014. Web. 06 Mar 2021.

Vancouver:

Zhang L. Unifying regression testing with mutation testing. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2014. [cited 2021 Mar 06]. Available from: http://hdl.handle.net/2152/25055.

Council of Science Editors:

Zhang L. Unifying regression testing with mutation testing. [Doctoral Dissertation]. University of Texas – Austin; 2014. Available from: http://hdl.handle.net/2152/25055

5. Hagman, Hans. Mutation Testing : A comparison of mutation selection methods.

Degree: Humanities and Informatics, 2012, University of Skövde

  Software is all around us in our lives in the industrialized world, and we as a society and individuals need it to function correctly.… (more)

Subjects/Keywords: Software Testing; Mutation; Testing Effectiveness; Selective Mutation; Mjukvarutestning; Mutation; Testeffektivitet; Utvald Mutation; Computer Sciences; Datavetenskap (datalogi)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hagman, H. (2012). Mutation Testing : A comparison of mutation selection methods. (Thesis). University of Skövde. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-6569

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):

Hagman, Hans. “Mutation Testing : A comparison of mutation selection methods.” 2012. Thesis, University of Skövde. Accessed March 06, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-6569.

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

MLA Handbook (7th Edition):

Hagman, Hans. “Mutation Testing : A comparison of mutation selection methods.” 2012. Web. 06 Mar 2021.

Vancouver:

Hagman H. Mutation Testing : A comparison of mutation selection methods. [Internet] [Thesis]. University of Skövde; 2012. [cited 2021 Mar 06]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-6569.

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

Council of Science Editors:

Hagman H. Mutation Testing : A comparison of mutation selection methods. [Thesis]. University of Skövde; 2012. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-6569

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


University of Waterloo

6. Inozemtseva, Laura Michelle McLean. Predicting Test Suite Effectiveness for Java Programs.

Degree: 2012, University of Waterloo

 The coverage of a test suite is often used as a proxy for its effectiveness. However, previous studies that investigated the influence of code coverage… (more)

Subjects/Keywords: software engineering; testing; mutation; block coverage; Java

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Inozemtseva, L. M. M. (2012). Predicting Test Suite Effectiveness for Java Programs. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/6830

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):

Inozemtseva, Laura Michelle McLean. “Predicting Test Suite Effectiveness for Java Programs.” 2012. Thesis, University of Waterloo. Accessed March 06, 2021. http://hdl.handle.net/10012/6830.

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

MLA Handbook (7th Edition):

Inozemtseva, Laura Michelle McLean. “Predicting Test Suite Effectiveness for Java Programs.” 2012. Web. 06 Mar 2021.

Vancouver:

Inozemtseva LMM. Predicting Test Suite Effectiveness for Java Programs. [Internet] [Thesis]. University of Waterloo; 2012. [cited 2021 Mar 06]. Available from: http://hdl.handle.net/10012/6830.

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

Council of Science Editors:

Inozemtseva LMM. Predicting Test Suite Effectiveness for Java Programs. [Thesis]. University of Waterloo; 2012. Available from: http://hdl.handle.net/10012/6830

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

7. Abusamaan, Mohammed. Efficient Generation of Mutants for Testing Execution Time.

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

  In this thesis, we specifically focus on testing non-functional proprieties. We target the Worst-Case Execution Time (WCET), which is very important for real-time tasks.… (more)

Subjects/Keywords: Targeted Mutation; Mutation Testing; Software Engineering; Mutants; WCET; Testing; Engineering and Technology; Teknik och teknologier

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Abusamaan, M. (2020). Efficient Generation of Mutants for Testing Execution Time. (Thesis). Mälardalen University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-48591

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):

Abusamaan, Mohammed. “Efficient Generation of Mutants for Testing Execution Time.” 2020. Thesis, Mälardalen University. Accessed March 06, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-48591.

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

MLA Handbook (7th Edition):

Abusamaan, Mohammed. “Efficient Generation of Mutants for Testing Execution Time.” 2020. Web. 06 Mar 2021.

Vancouver:

Abusamaan M. Efficient Generation of Mutants for Testing Execution Time. [Internet] [Thesis]. Mälardalen University; 2020. [cited 2021 Mar 06]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-48591.

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

Council of Science Editors:

Abusamaan M. Efficient Generation of Mutants for Testing Execution Time. [Thesis]. Mälardalen University; 2020. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-48591

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

8. Gamini, Devi charan. Generate Test Selection Statistics With Automated Selective Mutation.

Degree: 2020, , Department of Computer Science

  Context. Software systems are under constant updating for being faulty and to improve and introduce features. The Software testing is the most commonly used … (more)

Subjects/Keywords: Regression testing; test case selection; mutation testing; selective mutation.; Computer Sciences; Datavetenskap (datalogi)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gamini, D. c. (2020). Generate Test Selection Statistics With Automated Selective Mutation. (Thesis). , Department of Computer Science. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:bth-19313

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):

Gamini, Devi charan. “Generate Test Selection Statistics With Automated Selective Mutation.” 2020. Thesis, , Department of Computer Science. Accessed March 06, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-19313.

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

MLA Handbook (7th Edition):

Gamini, Devi charan. “Generate Test Selection Statistics With Automated Selective Mutation.” 2020. Web. 06 Mar 2021.

Vancouver:

Gamini Dc. Generate Test Selection Statistics With Automated Selective Mutation. [Internet] [Thesis]. , Department of Computer Science; 2020. [cited 2021 Mar 06]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-19313.

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

Council of Science Editors:

Gamini Dc. Generate Test Selection Statistics With Automated Selective Mutation. [Thesis]. , Department of Computer Science; 2020. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-19313

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

9. Márki, András. On Software Testing and Subsuming Mutants : An empirical study.

Degree: Informatics, 2014, University of Skövde

Mutation testing is a powerful, but resource intense technique for asserting software quality. This report investigates two claims about one of the mutation operators… (more)

Subjects/Keywords: Software Testing; Mutation Testing; Mutant Subsumption; Relation Operator Replacement; ROR; Empirical Study; Strong Mutation; Weak Mutation; Computer Sciences; Datavetenskap (datalogi)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Márki, A. (2014). On Software Testing and Subsuming Mutants : An empirical study. (Thesis). University of Skövde. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-10595

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):

Márki, András. “On Software Testing and Subsuming Mutants : An empirical study.” 2014. Thesis, University of Skövde. Accessed March 06, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-10595.

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

MLA Handbook (7th Edition):

Márki, András. “On Software Testing and Subsuming Mutants : An empirical study.” 2014. Web. 06 Mar 2021.

Vancouver:

Márki A. On Software Testing and Subsuming Mutants : An empirical study. [Internet] [Thesis]. University of Skövde; 2014. [cited 2021 Mar 06]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-10595.

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

Council of Science Editors:

Márki A. On Software Testing and Subsuming Mutants : An empirical study. [Thesis]. University of Skövde; 2014. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-10595

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


George Mason University

10. Deng, Lin. Mutation Testing for Android Applications .

Degree: 2017, George Mason University

 Along with the significantly widespread of Android devices, Android applications (apps) also dominate the global market, in terms of the users, developers, app releases, and… (more)

Subjects/Keywords: Computer science; Android; crowdsourcing; empirical evaluation; mutation testing; software testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Deng, L. (2017). Mutation Testing for Android Applications . (Thesis). George Mason University. Retrieved from http://hdl.handle.net/1920/11324

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):

Deng, Lin. “Mutation Testing for Android Applications .” 2017. Thesis, George Mason University. Accessed March 06, 2021. http://hdl.handle.net/1920/11324.

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

MLA Handbook (7th Edition):

Deng, Lin. “Mutation Testing for Android Applications .” 2017. Web. 06 Mar 2021.

Vancouver:

Deng L. Mutation Testing for Android Applications . [Internet] [Thesis]. George Mason University; 2017. [cited 2021 Mar 06]. Available from: http://hdl.handle.net/1920/11324.

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

Council of Science Editors:

Deng L. Mutation Testing for Android Applications . [Thesis]. George Mason University; 2017. Available from: http://hdl.handle.net/1920/11324

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


University of Sydney

11. Kamali, Amir Hossein. Automated, Systematic and Parallel Approaches to Software Testing in Bioinformatics .

Degree: 2016, University of Sydney

 Software quality assurance becomes especially critical if bioinformatics tools are to be used in a translational medical setting, such as analysis and interpretation of biological… (more)

Subjects/Keywords: Software testing; cloud computing; bioinformatics; metamorphic testing; mutation analysis; sequence alignment

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kamali, A. H. (2016). Automated, Systematic and Parallel Approaches to Software Testing in Bioinformatics . (Thesis). University of Sydney. Retrieved from http://hdl.handle.net/2123/14673

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):

Kamali, Amir Hossein. “Automated, Systematic and Parallel Approaches to Software Testing in Bioinformatics .” 2016. Thesis, University of Sydney. Accessed March 06, 2021. http://hdl.handle.net/2123/14673.

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

MLA Handbook (7th Edition):

Kamali, Amir Hossein. “Automated, Systematic and Parallel Approaches to Software Testing in Bioinformatics .” 2016. Web. 06 Mar 2021.

Vancouver:

Kamali AH. Automated, Systematic and Parallel Approaches to Software Testing in Bioinformatics . [Internet] [Thesis]. University of Sydney; 2016. [cited 2021 Mar 06]. Available from: http://hdl.handle.net/2123/14673.

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

Council of Science Editors:

Kamali AH. Automated, Systematic and Parallel Approaches to Software Testing in Bioinformatics . [Thesis]. University of Sydney; 2016. Available from: http://hdl.handle.net/2123/14673

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


George Mason University

12. Praphamontripong, Upsorn. Testing Web Applications with Mutation Analysis .

Degree: 2017, George Mason University

 Web application software uses new technologies that have novel methods for integration and state maintenance that amount to new control flow mechanisms and new variables… (more)

Subjects/Keywords: Information technology; Interaction faults; Mutation analysis; Software engineering; Software testing; Web application testing; Web mutation testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Praphamontripong, U. (2017). Testing Web Applications with Mutation Analysis . (Thesis). George Mason University. Retrieved from http://hdl.handle.net/1920/11313

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):

Praphamontripong, Upsorn. “Testing Web Applications with Mutation Analysis .” 2017. Thesis, George Mason University. Accessed March 06, 2021. http://hdl.handle.net/1920/11313.

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

MLA Handbook (7th Edition):

Praphamontripong, Upsorn. “Testing Web Applications with Mutation Analysis .” 2017. Web. 06 Mar 2021.

Vancouver:

Praphamontripong U. Testing Web Applications with Mutation Analysis . [Internet] [Thesis]. George Mason University; 2017. [cited 2021 Mar 06]. Available from: http://hdl.handle.net/1920/11313.

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

Council of Science Editors:

Praphamontripong U. Testing Web Applications with Mutation Analysis . [Thesis]. George Mason University; 2017. Available from: http://hdl.handle.net/1920/11313

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

13. Warsame, Mohamed Abdillahi. Mutasyon bazlı yazılım testlerinin iyileştirilmesi için bir yaklaşım: An approach for improving mutation based software testing.

Degree: Mühendislik Fakültesi, 2019, University of Ankara

 Mutasyon testi, hataları ortaya çıkarmak ve tespit etmek için etkili olduğu bilinen bir tür beyaz kutu testidir. Hata tespitinde test kümesinin yeterliliğini değerlendirmek için tasarlanmış… (more)

Subjects/Keywords: Mutation testing; Test case priority; Mutation clustering; Mutasyon testi; Test vakası önceliği; Mutasyon kümelemesi

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Warsame, M. A. (2019). Mutasyon bazlı yazılım testlerinin iyileştirilmesi için bir yaklaşım: An approach for improving mutation based software testing. (Masters Thesis). University of Ankara. Retrieved from http://hdl.handle.net/20.500.12575/68986

Chicago Manual of Style (16th Edition):

Warsame, Mohamed Abdillahi. “Mutasyon bazlı yazılım testlerinin iyileştirilmesi için bir yaklaşım: An approach for improving mutation based software testing.” 2019. Masters Thesis, University of Ankara. Accessed March 06, 2021. http://hdl.handle.net/20.500.12575/68986.

MLA Handbook (7th Edition):

Warsame, Mohamed Abdillahi. “Mutasyon bazlı yazılım testlerinin iyileştirilmesi için bir yaklaşım: An approach for improving mutation based software testing.” 2019. Web. 06 Mar 2021.

Vancouver:

Warsame MA. Mutasyon bazlı yazılım testlerinin iyileştirilmesi için bir yaklaşım: An approach for improving mutation based software testing. [Internet] [Masters thesis]. University of Ankara; 2019. [cited 2021 Mar 06]. Available from: http://hdl.handle.net/20.500.12575/68986.

Council of Science Editors:

Warsame MA. Mutasyon bazlı yazılım testlerinin iyileştirilmesi için bir yaklaşım: An approach for improving mutation based software testing. [Masters Thesis]. University of Ankara; 2019. Available from: http://hdl.handle.net/20.500.12575/68986


Colorado State University

14. Wedyan, Fadi. Testing with state variable data-flow criteria for aspect-oriented programs.

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

 Data-flow testing approaches have been used for procedural and object-oriented (OO) programs, and empirically shown to be effective in detecting faults. However, few such approaches… (more)

Subjects/Keywords: aspectJ; aspect-oriented testing; coverage tool; data-flow criteria; mutation testing; software testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wedyan, F. (2011). Testing with state variable data-flow criteria for aspect-oriented programs. (Doctoral Dissertation). Colorado State University. Retrieved from http://hdl.handle.net/10217/48181

Chicago Manual of Style (16th Edition):

Wedyan, Fadi. “Testing with state variable data-flow criteria for aspect-oriented programs.” 2011. Doctoral Dissertation, Colorado State University. Accessed March 06, 2021. http://hdl.handle.net/10217/48181.

MLA Handbook (7th Edition):

Wedyan, Fadi. “Testing with state variable data-flow criteria for aspect-oriented programs.” 2011. Web. 06 Mar 2021.

Vancouver:

Wedyan F. Testing with state variable data-flow criteria for aspect-oriented programs. [Internet] [Doctoral dissertation]. Colorado State University; 2011. [cited 2021 Mar 06]. Available from: http://hdl.handle.net/10217/48181.

Council of Science Editors:

Wedyan F. Testing with state variable data-flow criteria for aspect-oriented programs. [Doctoral Dissertation]. Colorado State University; 2011. Available from: http://hdl.handle.net/10217/48181


University of Minnesota

15. Movva, Venkata. Automatic Test Suite Generation for Scientific MATLAB Code.

Degree: MS, Computer Science, 2015, University of Minnesota

 Software testing is the process of finding code faults by applying tests and comparing results from the code to an oracle. Mutation testing is one… (more)

Subjects/Keywords: Genetic algorithm; Mutation testing; oracle; Scientific code; Testing Test suite; unit testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Movva, V. (2015). Automatic Test Suite Generation for Scientific MATLAB Code. (Masters Thesis). University of Minnesota. Retrieved from http://hdl.handle.net/11299/174817

Chicago Manual of Style (16th Edition):

Movva, Venkata. “Automatic Test Suite Generation for Scientific MATLAB Code.” 2015. Masters Thesis, University of Minnesota. Accessed March 06, 2021. http://hdl.handle.net/11299/174817.

MLA Handbook (7th Edition):

Movva, Venkata. “Automatic Test Suite Generation for Scientific MATLAB Code.” 2015. Web. 06 Mar 2021.

Vancouver:

Movva V. Automatic Test Suite Generation for Scientific MATLAB Code. [Internet] [Masters thesis]. University of Minnesota; 2015. [cited 2021 Mar 06]. Available from: http://hdl.handle.net/11299/174817.

Council of Science Editors:

Movva V. Automatic Test Suite Generation for Scientific MATLAB Code. [Masters Thesis]. University of Minnesota; 2015. Available from: http://hdl.handle.net/11299/174817

16. Silva, Rodolfo Adamshuk. Teste de mutação aplicado a programas concorrentes em MPI.

Degree: Mestrado, Ciências de Computação e Matemática Computacional, 2013, University of São Paulo

A Programação Concorrente tornou-se uma forma popular de desenvolvimento de software. Este paradigma de desenvolvimento e essencial para construir aplicações com o intuito de reduzir… (more)

Subjects/Keywords: Concurrent programming; Mutation testing; Programação concorrente; Software testing; Teste de mutação; Teste de software

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Silva, R. A. (2013). Teste de mutação aplicado a programas concorrentes em MPI. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10062013-103319/ ;

Chicago Manual of Style (16th Edition):

Silva, Rodolfo Adamshuk. “Teste de mutação aplicado a programas concorrentes em MPI.” 2013. Masters Thesis, University of São Paulo. Accessed March 06, 2021. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10062013-103319/ ;.

MLA Handbook (7th Edition):

Silva, Rodolfo Adamshuk. “Teste de mutação aplicado a programas concorrentes em MPI.” 2013. Web. 06 Mar 2021.

Vancouver:

Silva RA. Teste de mutação aplicado a programas concorrentes em MPI. [Internet] [Masters thesis]. University of São Paulo; 2013. [cited 2021 Mar 06]. Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10062013-103319/ ;.

Council of Science Editors:

Silva RA. Teste de mutação aplicado a programas concorrentes em MPI. [Masters Thesis]. University of São Paulo; 2013. Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-10062013-103319/ ;


Syracuse University

17. Bolazar, Sefik Kanat. VERDICTS: Visual Exploratory Requirements Discovery and Injection for Comprehension and Testing of Software.

Degree: PhD, Electrical Engineering and Computer Science, 2013, Syracuse University

  We introduce a methodology and research tools for visual exploratory software analysis. VERDICTS combines exploratory testing, tracing, visualization, dynamic discovery and injection of requirements… (more)

Subjects/Keywords: Debugging; Design by Contract; Mutation Testing; Requirements Discovery; Software Testing; Software Visualization; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bolazar, S. K. (2013). VERDICTS: Visual Exploratory Requirements Discovery and Injection for Comprehension and Testing of Software. (Doctoral Dissertation). Syracuse University. Retrieved from https://surface.syr.edu/eecs_etd/335

Chicago Manual of Style (16th Edition):

Bolazar, Sefik Kanat. “VERDICTS: Visual Exploratory Requirements Discovery and Injection for Comprehension and Testing of Software.” 2013. Doctoral Dissertation, Syracuse University. Accessed March 06, 2021. https://surface.syr.edu/eecs_etd/335.

MLA Handbook (7th Edition):

Bolazar, Sefik Kanat. “VERDICTS: Visual Exploratory Requirements Discovery and Injection for Comprehension and Testing of Software.” 2013. Web. 06 Mar 2021.

Vancouver:

Bolazar SK. VERDICTS: Visual Exploratory Requirements Discovery and Injection for Comprehension and Testing of Software. [Internet] [Doctoral dissertation]. Syracuse University; 2013. [cited 2021 Mar 06]. Available from: https://surface.syr.edu/eecs_etd/335.

Council of Science Editors:

Bolazar SK. VERDICTS: Visual Exploratory Requirements Discovery and Injection for Comprehension and Testing of Software. [Doctoral Dissertation]. Syracuse University; 2013. Available from: https://surface.syr.edu/eecs_etd/335

18. Norman, Niclas. Mutation testing as quality assurance in base station software.

Degree: The Institute of Technology, 2014, Linköping UniversityLinköping University

  Telecom base stations are a critical part of society's information infrastructure. To ensure high quality base station software, automated testing is an important part… (more)

Subjects/Keywords: Mutation testing; software testing; code coverage; statement coverage; MiLu; telecom; base station; Software Engineering; Programvaruteknik

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Norman, N. (2014). Mutation testing as quality assurance in base station software. (Thesis). Linköping UniversityLinköping University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-109636

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):

Norman, Niclas. “Mutation testing as quality assurance in base station software.” 2014. Thesis, Linköping UniversityLinköping University. Accessed March 06, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-109636.

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

MLA Handbook (7th Edition):

Norman, Niclas. “Mutation testing as quality assurance in base station software.” 2014. Web. 06 Mar 2021.

Vancouver:

Norman N. Mutation testing as quality assurance in base station software. [Internet] [Thesis]. Linköping UniversityLinköping University; 2014. [cited 2021 Mar 06]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-109636.

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

Council of Science Editors:

Norman N. Mutation testing as quality assurance in base station software. [Thesis]. Linköping UniversityLinköping University; 2014. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-109636

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


Université de Sherbrooke

19. Fély, Vincent. Génération de tests de vulnérabilité pour des programmes Java Card itératifs.

Degree: 2019, Université de Sherbrooke

 Utilisée très largement par le système bancaire actuel, la carte à puce peut être considérée comme un système critique. La majorité de ces cartes évoluent… (more)

Subjects/Keywords: VTG; Java Card; Event-B; ProB; Tests de vulnérabilité; Model-based testing; Mutation testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fély, V. (2019). Génération de tests de vulnérabilité pour des programmes Java Card itératifs. (Masters Thesis). Université de Sherbrooke. Retrieved from http://hdl.handle.net/11143/15870

Chicago Manual of Style (16th Edition):

Fély, Vincent. “Génération de tests de vulnérabilité pour des programmes Java Card itératifs.” 2019. Masters Thesis, Université de Sherbrooke. Accessed March 06, 2021. http://hdl.handle.net/11143/15870.

MLA Handbook (7th Edition):

Fély, Vincent. “Génération de tests de vulnérabilité pour des programmes Java Card itératifs.” 2019. Web. 06 Mar 2021.

Vancouver:

Fély V. Génération de tests de vulnérabilité pour des programmes Java Card itératifs. [Internet] [Masters thesis]. Université de Sherbrooke; 2019. [cited 2021 Mar 06]. Available from: http://hdl.handle.net/11143/15870.

Council of Science Editors:

Fély V. Génération de tests de vulnérabilité pour des programmes Java Card itératifs. [Masters Thesis]. Université de Sherbrooke; 2019. Available from: http://hdl.handle.net/11143/15870


Virginia Tech

20. Shams, Zalia. Automated Assessment of Student-written Tests Based on Defect-detection Capability.

Degree: PhD, Computer Science and Applications, 2015, Virginia Tech

 Software testing is important, but judging whether a set of software tests is effective is difficult. This problem also appears in the classroom as educators… (more)

Subjects/Keywords: Software Testing; Automated Assessment; All-pairs Execution; Mutation Testing; Coverage Criteria; Defect-detection Capability

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Shams, Z. (2015). Automated Assessment of Student-written Tests Based on Defect-detection Capability. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/52024

Chicago Manual of Style (16th Edition):

Shams, Zalia. “Automated Assessment of Student-written Tests Based on Defect-detection Capability.” 2015. Doctoral Dissertation, Virginia Tech. Accessed March 06, 2021. http://hdl.handle.net/10919/52024.

MLA Handbook (7th Edition):

Shams, Zalia. “Automated Assessment of Student-written Tests Based on Defect-detection Capability.” 2015. Web. 06 Mar 2021.

Vancouver:

Shams Z. Automated Assessment of Student-written Tests Based on Defect-detection Capability. [Internet] [Doctoral dissertation]. Virginia Tech; 2015. [cited 2021 Mar 06]. Available from: http://hdl.handle.net/10919/52024.

Council of Science Editors:

Shams Z. Automated Assessment of Student-written Tests Based on Defect-detection Capability. [Doctoral Dissertation]. Virginia Tech; 2015. Available from: http://hdl.handle.net/10919/52024


Delft University of Technology

21. Zhu, Q. The application perspective of mutatoin testing.

Degree: 2020, Delft University of Technology

 The main goal of this thesis is to investigate, improve and extend the applicability of mutation testing. To seek the potential directions of how to… (more)

Subjects/Keywords: Software Testing; Software Quality; Mutation Testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhu, Q. (2020). The application perspective of mutatoin testing. (Doctoral Dissertation). Delft University of Technology. Retrieved from http://resolver.tudelft.nl/uuid:116a487e-c14d-47f8-b1f5-8e9738d263d0 ; urn:NBN:nl:ui:24-uuid:116a487e-c14d-47f8-b1f5-8e9738d263d0 ; 116a487e-c14d-47f8-b1f5-8e9738d263d0 ; 10.4233/uuid:116a487e-c14d-47f8-b1f5-8e9738d263d0 ; urn:NBN:nl:ui:24-uuid:116a487e-c14d-47f8-b1f5-8e9738d263d0 ; http://resolver.tudelft.nl/uuid:116a487e-c14d-47f8-b1f5-8e9738d263d0

Chicago Manual of Style (16th Edition):

Zhu, Q. “The application perspective of mutatoin testing.” 2020. Doctoral Dissertation, Delft University of Technology. Accessed March 06, 2021. http://resolver.tudelft.nl/uuid:116a487e-c14d-47f8-b1f5-8e9738d263d0 ; urn:NBN:nl:ui:24-uuid:116a487e-c14d-47f8-b1f5-8e9738d263d0 ; 116a487e-c14d-47f8-b1f5-8e9738d263d0 ; 10.4233/uuid:116a487e-c14d-47f8-b1f5-8e9738d263d0 ; urn:NBN:nl:ui:24-uuid:116a487e-c14d-47f8-b1f5-8e9738d263d0 ; http://resolver.tudelft.nl/uuid:116a487e-c14d-47f8-b1f5-8e9738d263d0.

MLA Handbook (7th Edition):

Zhu, Q. “The application perspective of mutatoin testing.” 2020. Web. 06 Mar 2021.

Vancouver:

Zhu Q. The application perspective of mutatoin testing. [Internet] [Doctoral dissertation]. Delft University of Technology; 2020. [cited 2021 Mar 06]. Available from: http://resolver.tudelft.nl/uuid:116a487e-c14d-47f8-b1f5-8e9738d263d0 ; urn:NBN:nl:ui:24-uuid:116a487e-c14d-47f8-b1f5-8e9738d263d0 ; 116a487e-c14d-47f8-b1f5-8e9738d263d0 ; 10.4233/uuid:116a487e-c14d-47f8-b1f5-8e9738d263d0 ; urn:NBN:nl:ui:24-uuid:116a487e-c14d-47f8-b1f5-8e9738d263d0 ; http://resolver.tudelft.nl/uuid:116a487e-c14d-47f8-b1f5-8e9738d263d0.

Council of Science Editors:

Zhu Q. The application perspective of mutatoin testing. [Doctoral Dissertation]. Delft University of Technology; 2020. Available from: http://resolver.tudelft.nl/uuid:116a487e-c14d-47f8-b1f5-8e9738d263d0 ; urn:NBN:nl:ui:24-uuid:116a487e-c14d-47f8-b1f5-8e9738d263d0 ; 116a487e-c14d-47f8-b1f5-8e9738d263d0 ; 10.4233/uuid:116a487e-c14d-47f8-b1f5-8e9738d263d0 ; urn:NBN:nl:ui:24-uuid:116a487e-c14d-47f8-b1f5-8e9738d263d0 ; http://resolver.tudelft.nl/uuid:116a487e-c14d-47f8-b1f5-8e9738d263d0

22. Celik, Ahmet. Proof engineering for large-scale verification projects.

Degree: PhD, Computer Science, 2019, University of Texas – Austin

 Software controls many aspects of our daily lives, thus, software correctness is of utmost importance. One way to develop correct-by-construction software is by using proof… (more)

Subjects/Keywords: Proof assistants; Verification; Parallelism; Proof engineering; Proof selection; Regression testing; Mutation testing; Coq

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Celik, A. (2019). Proof engineering for large-scale verification projects. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://dx.doi.org/10.26153/tsw/5348

Chicago Manual of Style (16th Edition):

Celik, Ahmet. “Proof engineering for large-scale verification projects.” 2019. Doctoral Dissertation, University of Texas – Austin. Accessed March 06, 2021. http://dx.doi.org/10.26153/tsw/5348.

MLA Handbook (7th Edition):

Celik, Ahmet. “Proof engineering for large-scale verification projects.” 2019. Web. 06 Mar 2021.

Vancouver:

Celik A. Proof engineering for large-scale verification projects. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2019. [cited 2021 Mar 06]. Available from: http://dx.doi.org/10.26153/tsw/5348.

Council of Science Editors:

Celik A. Proof engineering for large-scale verification projects. [Doctoral Dissertation]. University of Texas – Austin; 2019. Available from: http://dx.doi.org/10.26153/tsw/5348


KTH

23. Watanabe, Hikari. Effectiveness of Inadequate Test Suites : A Case Study of Mutation Analysis.

Degree: Computer Science and Communication (CSC), 2017, KTH

How can you tell whether your test suites are reliable? This is often done through the use of coverage criterion that would define a… (more)

Subjects/Keywords: Mutation testing; code coverage; regression analysis; Computer Sciences; Datavetenskap (datalogi)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Watanabe, H. (2017). Effectiveness of Inadequate Test Suites : A Case Study of Mutation Analysis. (Thesis). KTH. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-223950

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):

Watanabe, Hikari. “Effectiveness of Inadequate Test Suites : A Case Study of Mutation Analysis.” 2017. Thesis, KTH. Accessed March 06, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-223950.

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

MLA Handbook (7th Edition):

Watanabe, Hikari. “Effectiveness of Inadequate Test Suites : A Case Study of Mutation Analysis.” 2017. Web. 06 Mar 2021.

Vancouver:

Watanabe H. Effectiveness of Inadequate Test Suites : A Case Study of Mutation Analysis. [Internet] [Thesis]. KTH; 2017. [cited 2021 Mar 06]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-223950.

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

Council of Science Editors:

Watanabe H. Effectiveness of Inadequate Test Suites : A Case Study of Mutation Analysis. [Thesis]. KTH; 2017. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-223950

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


Linköping University

24. Pettersson, Niklas. Systematically uncovering mutants in testing safety critical software : Using symbolic execution on surviving mutants from mutation testing.

Degree: Software and Systems, 2019, Linköping University

  This thesis investigates how symbolic execution and constraint solving can be used for detecting equivalent and non-equivalent mutants in mutation testing. The presented method… (more)

Subjects/Keywords: Mutation Testing; Symbolic Execution; Dextool; Computer Engineering; Datorteknik; Computer Systems; Datorsystem

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pettersson, N. (2019). Systematically uncovering mutants in testing safety critical software : Using symbolic execution on surviving mutants from mutation testing. (Thesis). Linköping University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-163338

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):

Pettersson, Niklas. “Systematically uncovering mutants in testing safety critical software : Using symbolic execution on surviving mutants from mutation testing.” 2019. Thesis, Linköping University. Accessed March 06, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-163338.

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

MLA Handbook (7th Edition):

Pettersson, Niklas. “Systematically uncovering mutants in testing safety critical software : Using symbolic execution on surviving mutants from mutation testing.” 2019. Web. 06 Mar 2021.

Vancouver:

Pettersson N. Systematically uncovering mutants in testing safety critical software : Using symbolic execution on surviving mutants from mutation testing. [Internet] [Thesis]. Linköping University; 2019. [cited 2021 Mar 06]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-163338.

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

Council of Science Editors:

Pettersson N. Systematically uncovering mutants in testing safety critical software : Using symbolic execution on surviving mutants from mutation testing. [Thesis]. Linköping University; 2019. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-163338

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


Virginia Tech

25. McCormick II, Donald W. Towards A Sufficient Set of Mutation Operators for Structured Query Language (SQL).

Degree: MS, Computer Science, 2010, Virginia Tech

 Test suites for database applications depend on adequate test data and real-world test faults for success. An automated tool is available that quantifies test data… (more)

Subjects/Keywords: Database Testing; Test Adequacy Criteria; Mutation Testing; SQL Testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

McCormick II, D. W. (2010). Towards A Sufficient Set of Mutation Operators for Structured Query Language (SQL). (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/32526

Chicago Manual of Style (16th Edition):

McCormick II, Donald W. “Towards A Sufficient Set of Mutation Operators for Structured Query Language (SQL).” 2010. Masters Thesis, Virginia Tech. Accessed March 06, 2021. http://hdl.handle.net/10919/32526.

MLA Handbook (7th Edition):

McCormick II, Donald W. “Towards A Sufficient Set of Mutation Operators for Structured Query Language (SQL).” 2010. Web. 06 Mar 2021.

Vancouver:

McCormick II DW. Towards A Sufficient Set of Mutation Operators for Structured Query Language (SQL). [Internet] [Masters thesis]. Virginia Tech; 2010. [cited 2021 Mar 06]. Available from: http://hdl.handle.net/10919/32526.

Council of Science Editors:

McCormick II DW. Towards A Sufficient Set of Mutation Operators for Structured Query Language (SQL). [Masters Thesis]. Virginia Tech; 2010. Available from: http://hdl.handle.net/10919/32526

26. Campanha, Diogo Nascimento. Teste de mutação nos paradigmas procedimental e oo: uma avaliação no contexto de estrutura de dados.

Degree: Mestrado, Ciências de Computação e Matemática Computacional, 2010, University of São Paulo

Com o objetivo de auxiliar a definição e evolução de estratégias de testes, estudos experimentais vêm sendo realizados comparando diferentes técnicas e critérios de teste… (more)

Subjects/Keywords: Análise de mutantes; Mutation test; Paradigma de programação; Programming paradigm; Software testing; Teste de software

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Campanha, D. N. (2010). Teste de mutação nos paradigmas procedimental e oo: uma avaliação no contexto de estrutura de dados. (Masters Thesis). University of São Paulo. Retrieved from http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14022011-151308/ ;

Chicago Manual of Style (16th Edition):

Campanha, Diogo Nascimento. “Teste de mutação nos paradigmas procedimental e oo: uma avaliação no contexto de estrutura de dados.” 2010. Masters Thesis, University of São Paulo. Accessed March 06, 2021. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14022011-151308/ ;.

MLA Handbook (7th Edition):

Campanha, Diogo Nascimento. “Teste de mutação nos paradigmas procedimental e oo: uma avaliação no contexto de estrutura de dados.” 2010. Web. 06 Mar 2021.

Vancouver:

Campanha DN. Teste de mutação nos paradigmas procedimental e oo: uma avaliação no contexto de estrutura de dados. [Internet] [Masters thesis]. University of São Paulo; 2010. [cited 2021 Mar 06]. Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14022011-151308/ ;.

Council of Science Editors:

Campanha DN. Teste de mutação nos paradigmas procedimental e oo: uma avaliação no contexto de estrutura de dados. [Masters Thesis]. University of São Paulo; 2010. Available from: http://www.teses.usp.br/teses/disponiveis/55/55134/tde-14022011-151308/ ;


Kaunas University of Technology

27. Žolynaitė, Asta. WEB servisų automatinių testų generavimo algoritmų analizė ir tyrimas atliekant mutacinį testavimą.

Degree: Master, Informatics, 2013, Kaunas University of Technology

Šiame magistro darbe pateikiama automatinių testų generavimas XML WEB servisams, naudojantis WSDL failais. Pirma dalis aprašo algoritmų tyrimą ir būdus generuoti automatinius testus XML WEB… (more)

Subjects/Keywords: WEB servisai; Mutacinis testavimas; Automatiniai testai; WEB services; Mutation testing; Automated tests

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Žolynaitė, Asta. (2013). WEB servisų automatinių testų generavimo algoritmų analizė ir tyrimas atliekant mutacinį testavimą. (Masters Thesis). Kaunas University of Technology. Retrieved from http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2013~D_20130826_111130-62197 ;

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Chicago Manual of Style (16th Edition):

Žolynaitė, Asta. “WEB servisų automatinių testų generavimo algoritmų analizė ir tyrimas atliekant mutacinį testavimą.” 2013. Masters Thesis, Kaunas University of Technology. Accessed March 06, 2021. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2013~D_20130826_111130-62197 ;.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

MLA Handbook (7th Edition):

Žolynaitė, Asta. “WEB servisų automatinių testų generavimo algoritmų analizė ir tyrimas atliekant mutacinį testavimą.” 2013. Web. 06 Mar 2021.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Vancouver:

Žolynaitė, Asta. WEB servisų automatinių testų generavimo algoritmų analizė ir tyrimas atliekant mutacinį testavimą. [Internet] [Masters thesis]. Kaunas University of Technology; 2013. [cited 2021 Mar 06]. Available from: http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2013~D_20130826_111130-62197 ;.

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete

Council of Science Editors:

Žolynaitė, Asta. WEB servisų automatinių testų generavimo algoritmų analizė ir tyrimas atliekant mutacinį testavimą. [Masters Thesis]. Kaunas University of Technology; 2013. Available from: http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2013~D_20130826_111130-62197 ;

Note: this citation may be lacking information needed for this citation format:
Author name may be incomplete


Texas Medical Center

28. Nolden, Laura. Patient Characteristics and Outcomes of Gastrointestinal Stromal Tumor Patients Undergoing Imatinib Plasma Level Testing.

Degree: PhD, 2011, Texas Medical Center

  Although gastrointestinal stromal tumor (GIST) is effectively treated with imatinib, there are a number of clinical challenges in the optimal treatment of these patients.… (more)

Subjects/Keywords: Gastrointestinal stromal tumor; GIST; imatinib mesylate; plasma level testing; KIT; KIT mutation; Choi criteria; Oncology

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nolden, L. (2011). Patient Characteristics and Outcomes of Gastrointestinal Stromal Tumor Patients Undergoing Imatinib Plasma Level Testing. (Doctoral Dissertation). Texas Medical Center. Retrieved from https://digitalcommons.library.tmc.edu/utgsbs_dissertations/139

Chicago Manual of Style (16th Edition):

Nolden, Laura. “Patient Characteristics and Outcomes of Gastrointestinal Stromal Tumor Patients Undergoing Imatinib Plasma Level Testing.” 2011. Doctoral Dissertation, Texas Medical Center. Accessed March 06, 2021. https://digitalcommons.library.tmc.edu/utgsbs_dissertations/139.

MLA Handbook (7th Edition):

Nolden, Laura. “Patient Characteristics and Outcomes of Gastrointestinal Stromal Tumor Patients Undergoing Imatinib Plasma Level Testing.” 2011. Web. 06 Mar 2021.

Vancouver:

Nolden L. Patient Characteristics and Outcomes of Gastrointestinal Stromal Tumor Patients Undergoing Imatinib Plasma Level Testing. [Internet] [Doctoral dissertation]. Texas Medical Center; 2011. [cited 2021 Mar 06]. Available from: https://digitalcommons.library.tmc.edu/utgsbs_dissertations/139.

Council of Science Editors:

Nolden L. Patient Characteristics and Outcomes of Gastrointestinal Stromal Tumor Patients Undergoing Imatinib Plasma Level Testing. [Doctoral Dissertation]. Texas Medical Center; 2011. Available from: https://digitalcommons.library.tmc.edu/utgsbs_dissertations/139


Colorado State University

29. Homayouni, Hajar. Approach for testing the extract-transform-load process in data warehouse systems, An.

Degree: MS(M.S.), Computer Science, 2018, Colorado State University

 Enterprises use data warehouses to accumulate data from multiple sources for data analysis and research. Since organizational decisions are often made based on the data… (more)

Subjects/Keywords: ETL; mutation analysis; test assertion; extract-transform-load; data warehouse; software testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Homayouni, H. (2018). Approach for testing the extract-transform-load process in data warehouse systems, An. (Masters Thesis). Colorado State University. Retrieved from http://hdl.handle.net/10217/189268

Chicago Manual of Style (16th Edition):

Homayouni, Hajar. “Approach for testing the extract-transform-load process in data warehouse systems, An.” 2018. Masters Thesis, Colorado State University. Accessed March 06, 2021. http://hdl.handle.net/10217/189268.

MLA Handbook (7th Edition):

Homayouni, Hajar. “Approach for testing the extract-transform-load process in data warehouse systems, An.” 2018. Web. 06 Mar 2021.

Vancouver:

Homayouni H. Approach for testing the extract-transform-load process in data warehouse systems, An. [Internet] [Masters thesis]. Colorado State University; 2018. [cited 2021 Mar 06]. Available from: http://hdl.handle.net/10217/189268.

Council of Science Editors:

Homayouni H. Approach for testing the extract-transform-load process in data warehouse systems, An. [Masters Thesis]. Colorado State University; 2018. Available from: http://hdl.handle.net/10217/189268


Univerzitet u Beogradu

30. Janković, Milena Z., 1982-. Studija genetičke osnove Parkinsonove bolesti kod stanovništva Srbije.

Degree: Biološki fakultet, 2016, Univerzitet u Beogradu

Biologija - Medicinska genetika / Biology - Medical Genetics

Parkinsonova bolest je drugo najčešće neurodegenerativno oboljenje koje pogaĎa od 1% do 2% stanovništva starijeg od… (more)

Subjects/Keywords: Parkinson’s disease; PARK2; LRRK2; VPS35; GBA; mutation frequency; Serbia; genetic testing; direct sequencing; MLPA

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Janković, Milena Z., 1. (2016). Studija genetičke osnove Parkinsonove bolesti kod stanovništva Srbije. (Thesis). Univerzitet u Beogradu. Retrieved from https://fedorabg.bg.ac.rs/fedora/get/o:10436/bdef:Content/get

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):

Janković, Milena Z., 1982-. “Studija genetičke osnove Parkinsonove bolesti kod stanovništva Srbije.” 2016. Thesis, Univerzitet u Beogradu. Accessed March 06, 2021. https://fedorabg.bg.ac.rs/fedora/get/o:10436/bdef:Content/get.

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

MLA Handbook (7th Edition):

Janković, Milena Z., 1982-. “Studija genetičke osnove Parkinsonove bolesti kod stanovništva Srbije.” 2016. Web. 06 Mar 2021.

Vancouver:

Janković, Milena Z. 1. Studija genetičke osnove Parkinsonove bolesti kod stanovništva Srbije. [Internet] [Thesis]. Univerzitet u Beogradu; 2016. [cited 2021 Mar 06]. Available from: https://fedorabg.bg.ac.rs/fedora/get/o:10436/bdef:Content/get.

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

Council of Science Editors:

Janković, Milena Z. 1. Studija genetičke osnove Parkinsonove bolesti kod stanovništva Srbije. [Thesis]. Univerzitet u Beogradu; 2016. Available from: https://fedorabg.bg.ac.rs/fedora/get/o:10436/bdef:Content/get

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

[1] [2] [3]

.