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:(Test Case Generation). Showing records 1 – 30 of 38 total matches.

[1] [2]

Search Limiters

Last 2 Years | English Only

▼ Search Limiters


Università della Svizzera italiana

1. Mirzaaghaei, Mehdi. Automatic test suite evolution.

Degree: 2012, Università della Svizzera italiana

 Software testing is one of the most common approaches to verify software systems. Despite of many automated techniques proposed in the literature, test cases are… (more)

Subjects/Keywords: Test case generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mirzaaghaei, M. (2012). Automatic test suite evolution. (Thesis). Università della Svizzera italiana. Retrieved from http://doc.rero.ch/record/31413

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

Mirzaaghaei, Mehdi. “Automatic test suite evolution.” 2012. Thesis, Università della Svizzera italiana. Accessed October 29, 2020. http://doc.rero.ch/record/31413.

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

MLA Handbook (7th Edition):

Mirzaaghaei, Mehdi. “Automatic test suite evolution.” 2012. Web. 29 Oct 2020.

Vancouver:

Mirzaaghaei M. Automatic test suite evolution. [Internet] [Thesis]. Università della Svizzera italiana; 2012. [cited 2020 Oct 29]. Available from: http://doc.rero.ch/record/31413.

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

Council of Science Editors:

Mirzaaghaei M. Automatic test suite evolution. [Thesis]. Università della Svizzera italiana; 2012. Available from: http://doc.rero.ch/record/31413

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


University of Alberta

2. Shahbazi, Ali. Diversity-Based Automated Test Case Generation.

Degree: PhD, Department of Electrical and Computer Engineering, 2015, University of Alberta

 Software testing is an expensive task that consumes around half of a project’s effort. To reduce the cost of testing and improve the software quality,… (more)

Subjects/Keywords: software testing; failure detection; tree test case; diversity-based test generation; string test case; tree distance; black-box test generation; tree similarity; test case generation; automated software testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Shahbazi, A. (2015). Diversity-Based Automated Test Case Generation. (Doctoral Dissertation). University of Alberta. Retrieved from https://era.library.ualberta.ca/files/ct435gd13q

Chicago Manual of Style (16th Edition):

Shahbazi, Ali. “Diversity-Based Automated Test Case Generation.” 2015. Doctoral Dissertation, University of Alberta. Accessed October 29, 2020. https://era.library.ualberta.ca/files/ct435gd13q.

MLA Handbook (7th Edition):

Shahbazi, Ali. “Diversity-Based Automated Test Case Generation.” 2015. Web. 29 Oct 2020.

Vancouver:

Shahbazi A. Diversity-Based Automated Test Case Generation. [Internet] [Doctoral dissertation]. University of Alberta; 2015. [cited 2020 Oct 29]. Available from: https://era.library.ualberta.ca/files/ct435gd13q.

Council of Science Editors:

Shahbazi A. Diversity-Based Automated Test Case Generation. [Doctoral Dissertation]. University of Alberta; 2015. Available from: https://era.library.ualberta.ca/files/ct435gd13q


Texas Tech University

3. Momotaz, Selina. Tool support for testing Java generics.

Degree: Computer Science, 2010, Texas Tech University

Test case generation is an important, yet expensive activity in testing software applications. It is neither feasible nor cost effective to manually generate test cases… (more)

Subjects/Keywords: Test case generation; Java generics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Momotaz, S. (2010). Tool support for testing Java generics. (Thesis). Texas Tech University. Retrieved from http://hdl.handle.net/2346/ETD-TTU-2010-12-1082

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

Momotaz, Selina. “Tool support for testing Java generics.” 2010. Thesis, Texas Tech University. Accessed October 29, 2020. http://hdl.handle.net/2346/ETD-TTU-2010-12-1082.

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

MLA Handbook (7th Edition):

Momotaz, Selina. “Tool support for testing Java generics.” 2010. Web. 29 Oct 2020.

Vancouver:

Momotaz S. Tool support for testing Java generics. [Internet] [Thesis]. Texas Tech University; 2010. [cited 2020 Oct 29]. Available from: http://hdl.handle.net/2346/ETD-TTU-2010-12-1082.

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

Council of Science Editors:

Momotaz S. Tool support for testing Java generics. [Thesis]. Texas Tech University; 2010. Available from: http://hdl.handle.net/2346/ETD-TTU-2010-12-1082

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

4. HORI, Érica Aguiar Andrade. ucsCNL A controlled natural language for use case specifications .

Degree: 2010, Universidade Federal de Pernambuco

 A maioria das empresas utiliza a linguagem natural livre para documentar software, desde os seus requisitos, até os casos de uso e testes usados para… (more)

Subjects/Keywords: Automatic Generation of Test Cases; Use Case Specifications; Controlled Natural Language

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

HORI, . A. A. (2010). ucsCNL A controlled natural language for use case specifications . (Thesis). Universidade Federal de Pernambuco. Retrieved from http://repositorio.ufpe.br/handle/123456789/2393

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

HORI, Érica Aguiar Andrade. “ucsCNL A controlled natural language for use case specifications .” 2010. Thesis, Universidade Federal de Pernambuco. Accessed October 29, 2020. http://repositorio.ufpe.br/handle/123456789/2393.

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

MLA Handbook (7th Edition):

HORI, Érica Aguiar Andrade. “ucsCNL A controlled natural language for use case specifications .” 2010. Web. 29 Oct 2020.

Vancouver:

HORI AA. ucsCNL A controlled natural language for use case specifications . [Internet] [Thesis]. Universidade Federal de Pernambuco; 2010. [cited 2020 Oct 29]. Available from: http://repositorio.ufpe.br/handle/123456789/2393.

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

Council of Science Editors:

HORI AA. ucsCNL A controlled natural language for use case specifications . [Thesis]. Universidade Federal de Pernambuco; 2010. Available from: http://repositorio.ufpe.br/handle/123456789/2393

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


University of Illinois – Chicago

5. Nair, Aswathy. Automatically Finding Abstractions for Input Space Partitioning for Software Performance Testing.

Degree: 2012, University of Illinois – Chicago

 The goal of performance testing is to uncover problems where an application unexpectedly exhibits worsened characteristics for a speci c workload. It is di cult… (more)

Subjects/Keywords: Automatic Test case generation; Performance Testing; Input space partitioning; software testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nair, A. (2012). Automatically Finding Abstractions for Input Space Partitioning for Software Performance Testing. (Thesis). University of Illinois – Chicago. Retrieved from http://hdl.handle.net/10027/8947

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

Nair, Aswathy. “Automatically Finding Abstractions for Input Space Partitioning for Software Performance Testing.” 2012. Thesis, University of Illinois – Chicago. Accessed October 29, 2020. http://hdl.handle.net/10027/8947.

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

MLA Handbook (7th Edition):

Nair, Aswathy. “Automatically Finding Abstractions for Input Space Partitioning for Software Performance Testing.” 2012. Web. 29 Oct 2020.

Vancouver:

Nair A. Automatically Finding Abstractions for Input Space Partitioning for Software Performance Testing. [Internet] [Thesis]. University of Illinois – Chicago; 2012. [cited 2020 Oct 29]. Available from: http://hdl.handle.net/10027/8947.

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

Council of Science Editors:

Nair A. Automatically Finding Abstractions for Input Space Partitioning for Software Performance Testing. [Thesis]. University of Illinois – Chicago; 2012. Available from: http://hdl.handle.net/10027/8947

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


Cal Poly

6. Gilbert, Andrew. Supported Programming for Beginning Developers.

Degree: MS, Computer Science, 2019, Cal Poly

  Testing code is important, but writing test cases can be time consuming, particularly for beginning programmers who are already struggling to write an implementation.… (more)

Subjects/Keywords: Python; Test Case Generation; SMT Solvers; Programming Languages and Compilers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gilbert, A. (2019). Supported Programming for Beginning Developers. (Masters Thesis). Cal Poly. Retrieved from https://digitalcommons.calpoly.edu/theses/2032 ; 10.15368/theses.2019.9

Chicago Manual of Style (16th Edition):

Gilbert, Andrew. “Supported Programming for Beginning Developers.” 2019. Masters Thesis, Cal Poly. Accessed October 29, 2020. https://digitalcommons.calpoly.edu/theses/2032 ; 10.15368/theses.2019.9.

MLA Handbook (7th Edition):

Gilbert, Andrew. “Supported Programming for Beginning Developers.” 2019. Web. 29 Oct 2020.

Vancouver:

Gilbert A. Supported Programming for Beginning Developers. [Internet] [Masters thesis]. Cal Poly; 2019. [cited 2020 Oct 29]. Available from: https://digitalcommons.calpoly.edu/theses/2032 ; 10.15368/theses.2019.9.

Council of Science Editors:

Gilbert A. Supported Programming for Beginning Developers. [Masters Thesis]. Cal Poly; 2019. Available from: https://digitalcommons.calpoly.edu/theses/2032 ; 10.15368/theses.2019.9


Queens University

7. Rapos, Eric. Understanding the Effects of Model Evolution Through Incremental Test Case Generation for UML-RT Models .

Degree: Computing, 2012, Queens University

 Model driven development (MDD) is on the rise in software engineering and no more so than in the realm of real-time and embedded systems. Being… (more)

Subjects/Keywords: incremental ; evolution ; test case generation ; model-driven development ; UML-RT

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rapos, E. (2012). Understanding the Effects of Model Evolution Through Incremental Test Case Generation for UML-RT Models . (Thesis). Queens University. Retrieved from http://hdl.handle.net/1974/7534

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

Rapos, Eric. “Understanding the Effects of Model Evolution Through Incremental Test Case Generation for UML-RT Models .” 2012. Thesis, Queens University. Accessed October 29, 2020. http://hdl.handle.net/1974/7534.

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

MLA Handbook (7th Edition):

Rapos, Eric. “Understanding the Effects of Model Evolution Through Incremental Test Case Generation for UML-RT Models .” 2012. Web. 29 Oct 2020.

Vancouver:

Rapos E. Understanding the Effects of Model Evolution Through Incremental Test Case Generation for UML-RT Models . [Internet] [Thesis]. Queens University; 2012. [cited 2020 Oct 29]. Available from: http://hdl.handle.net/1974/7534.

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

Council of Science Editors:

Rapos E. Understanding the Effects of Model Evolution Through Incremental Test Case Generation for UML-RT Models . [Thesis]. Queens University; 2012. Available from: http://hdl.handle.net/1974/7534

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

8. Rabhi, Issam. Testabilité des services Web : Web services testability.

Degree: Docteur es, Informatique, 2012, Université Blaise-Pascale, Clermont-Ferrand II

Cette thèse s’est attaquée sous diverses formes au test automatique des services Web : une première partie est consacrée au test fonctionnel à travers le… (more)

Subjects/Keywords: Services Web; Test de robustesse; Testabilité; Sécurité; Génération de test; Web services; Robustness testing; Testability; Security; Test case generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rabhi, I. (2012). Testabilité des services Web : Web services testability. (Doctoral Dissertation). Université Blaise-Pascale, Clermont-Ferrand II. Retrieved from http://www.theses.fr/2012CLF22213

Chicago Manual of Style (16th Edition):

Rabhi, Issam. “Testabilité des services Web : Web services testability.” 2012. Doctoral Dissertation, Université Blaise-Pascale, Clermont-Ferrand II. Accessed October 29, 2020. http://www.theses.fr/2012CLF22213.

MLA Handbook (7th Edition):

Rabhi, Issam. “Testabilité des services Web : Web services testability.” 2012. Web. 29 Oct 2020.

Vancouver:

Rabhi I. Testabilité des services Web : Web services testability. [Internet] [Doctoral dissertation]. Université Blaise-Pascale, Clermont-Ferrand II; 2012. [cited 2020 Oct 29]. Available from: http://www.theses.fr/2012CLF22213.

Council of Science Editors:

Rabhi I. Testabilité des services Web : Web services testability. [Doctoral Dissertation]. Université Blaise-Pascale, Clermont-Ferrand II; 2012. Available from: http://www.theses.fr/2012CLF22213

9. AYDIN, Abdulbaki. Automata-based Model Counting String Constraint Solver for Vulnerability Analysis.

Degree: 2017, University of California – eScholarship, University of California

 Most common vulnerabilities in modern software applications are due to errors in string manipulation code. String constraint solvers are essential components of program analysis techniques… (more)

Subjects/Keywords: Computer science; automata-based string analysis; model counting; string constraint solving; test case generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

AYDIN, A. (2017). Automata-based Model Counting String Constraint Solver for Vulnerability Analysis. (Thesis). University of California – eScholarship, University of California. Retrieved from http://www.escholarship.org/uc/item/3vz3h76d

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

AYDIN, Abdulbaki. “Automata-based Model Counting String Constraint Solver for Vulnerability Analysis.” 2017. Thesis, University of California – eScholarship, University of California. Accessed October 29, 2020. http://www.escholarship.org/uc/item/3vz3h76d.

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

MLA Handbook (7th Edition):

AYDIN, Abdulbaki. “Automata-based Model Counting String Constraint Solver for Vulnerability Analysis.” 2017. Web. 29 Oct 2020.

Vancouver:

AYDIN A. Automata-based Model Counting String Constraint Solver for Vulnerability Analysis. [Internet] [Thesis]. University of California – eScholarship, University of California; 2017. [cited 2020 Oct 29]. Available from: http://www.escholarship.org/uc/item/3vz3h76d.

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

Council of Science Editors:

AYDIN A. Automata-based Model Counting String Constraint Solver for Vulnerability Analysis. [Thesis]. University of California – eScholarship, University of California; 2017. Available from: http://www.escholarship.org/uc/item/3vz3h76d

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


University of Waterloo

10. Parvez, Muhammad Riyad. Combining Static Analysis and Targeted Symbolic Execution for Scalable Bug-finding in Application Binaries.

Degree: 2016, University of Waterloo

 Manual software testing is laborious and prone to human error. Yet, it is the most popular method for quality assurance. Automating the test-case generation promises… (more)

Subjects/Keywords: software testing; automated test-case generation; static program analysis; symbolic execution; dynamic program analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Parvez, M. R. (2016). Combining Static Analysis and Targeted Symbolic Execution for Scalable Bug-finding in Application Binaries. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/10500

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

Parvez, Muhammad Riyad. “Combining Static Analysis and Targeted Symbolic Execution for Scalable Bug-finding in Application Binaries.” 2016. Thesis, University of Waterloo. Accessed October 29, 2020. http://hdl.handle.net/10012/10500.

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

MLA Handbook (7th Edition):

Parvez, Muhammad Riyad. “Combining Static Analysis and Targeted Symbolic Execution for Scalable Bug-finding in Application Binaries.” 2016. Web. 29 Oct 2020.

Vancouver:

Parvez MR. Combining Static Analysis and Targeted Symbolic Execution for Scalable Bug-finding in Application Binaries. [Internet] [Thesis]. University of Waterloo; 2016. [cited 2020 Oct 29]. Available from: http://hdl.handle.net/10012/10500.

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

Council of Science Editors:

Parvez MR. Combining Static Analysis and Targeted Symbolic Execution for Scalable Bug-finding in Application Binaries. [Thesis]. University of Waterloo; 2016. Available from: http://hdl.handle.net/10012/10500

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


Louisiana State University

11. Burris, John Wesley. Conformance testing of peer-to-peer systems using message traffic analysis.

Degree: PhD, Computer Sciences, 2012, Louisiana State University

 Peer-to-Peer architectures are used by a large number of distributed systems; however, the challenges such as maintaining a reliable and stable peer-to-peer network can make… (more)

Subjects/Keywords: distributed systems; dynamic testing; peer-to-peer; Conformance testing; test case generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Burris, J. W. (2012). Conformance testing of peer-to-peer systems using message traffic analysis. (Doctoral Dissertation). Louisiana State University. Retrieved from etd-04132012-164527 ; https://digitalcommons.lsu.edu/gradschool_dissertations/436

Chicago Manual of Style (16th Edition):

Burris, John Wesley. “Conformance testing of peer-to-peer systems using message traffic analysis.” 2012. Doctoral Dissertation, Louisiana State University. Accessed October 29, 2020. etd-04132012-164527 ; https://digitalcommons.lsu.edu/gradschool_dissertations/436.

MLA Handbook (7th Edition):

Burris, John Wesley. “Conformance testing of peer-to-peer systems using message traffic analysis.” 2012. Web. 29 Oct 2020.

Vancouver:

Burris JW. Conformance testing of peer-to-peer systems using message traffic analysis. [Internet] [Doctoral dissertation]. Louisiana State University; 2012. [cited 2020 Oct 29]. Available from: etd-04132012-164527 ; https://digitalcommons.lsu.edu/gradschool_dissertations/436.

Council of Science Editors:

Burris JW. Conformance testing of peer-to-peer systems using message traffic analysis. [Doctoral Dissertation]. Louisiana State University; 2012. Available from: etd-04132012-164527 ; https://digitalcommons.lsu.edu/gradschool_dissertations/436


Iowa State University

12. Sarkar, Tanmoy. Testing database applications using coverage analysis and mutation analysis.

Degree: 2013, Iowa State University

 Database applications are built using two different programming language constructs: one that controls the behavior of the application, also referred to as the host language;… (more)

Subjects/Keywords: Automatic Test Case Generation; Concolic Testing; Database Applications; Database State Generation; Mutation Analysis; Program Analysis; Computer Sciences

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sarkar, T. (2013). Testing database applications using coverage analysis and mutation analysis. (Thesis). Iowa State University. Retrieved from https://lib.dr.iastate.edu/etd/13308

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

Sarkar, Tanmoy. “Testing database applications using coverage analysis and mutation analysis.” 2013. Thesis, Iowa State University. Accessed October 29, 2020. https://lib.dr.iastate.edu/etd/13308.

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

MLA Handbook (7th Edition):

Sarkar, Tanmoy. “Testing database applications using coverage analysis and mutation analysis.” 2013. Web. 29 Oct 2020.

Vancouver:

Sarkar T. Testing database applications using coverage analysis and mutation analysis. [Internet] [Thesis]. Iowa State University; 2013. [cited 2020 Oct 29]. Available from: https://lib.dr.iastate.edu/etd/13308.

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

Council of Science Editors:

Sarkar T. Testing database applications using coverage analysis and mutation analysis. [Thesis]. Iowa State University; 2013. Available from: https://lib.dr.iastate.edu/etd/13308

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

13. Kangoye, Sékou. Elaboration d'une approche de vérification et de validation de logiciel embarqué automobile, basée sur la génération automatique de cas de test : Elaboration of an approach of check and validation of automobile embarked software, based on the automatic generation of case of test.

Degree: Docteur es, Informatique, 2016, Angers

Un système embarqué est un système électronique et informatique autonome dédié à une tâche précise. Dans le secteur de l’automobile, le nombre de systèmes embarqués… (more)

Subjects/Keywords: Génération cas de test; Mc/dc; Spécification logicielle; Modèles d’états-Transitions; Test case generation; Software Specification; State-Transition models; 004

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kangoye, S. (2016). Elaboration d'une approche de vérification et de validation de logiciel embarqué automobile, basée sur la génération automatique de cas de test : Elaboration of an approach of check and validation of automobile embarked software, based on the automatic generation of case of test. (Doctoral Dissertation). Angers. Retrieved from http://www.theses.fr/2016ANGE0017

Chicago Manual of Style (16th Edition):

Kangoye, Sékou. “Elaboration d'une approche de vérification et de validation de logiciel embarqué automobile, basée sur la génération automatique de cas de test : Elaboration of an approach of check and validation of automobile embarked software, based on the automatic generation of case of test.” 2016. Doctoral Dissertation, Angers. Accessed October 29, 2020. http://www.theses.fr/2016ANGE0017.

MLA Handbook (7th Edition):

Kangoye, Sékou. “Elaboration d'une approche de vérification et de validation de logiciel embarqué automobile, basée sur la génération automatique de cas de test : Elaboration of an approach of check and validation of automobile embarked software, based on the automatic generation of case of test.” 2016. Web. 29 Oct 2020.

Vancouver:

Kangoye S. Elaboration d'une approche de vérification et de validation de logiciel embarqué automobile, basée sur la génération automatique de cas de test : Elaboration of an approach of check and validation of automobile embarked software, based on the automatic generation of case of test. [Internet] [Doctoral dissertation]. Angers; 2016. [cited 2020 Oct 29]. Available from: http://www.theses.fr/2016ANGE0017.

Council of Science Editors:

Kangoye S. Elaboration d'une approche de vérification et de validation de logiciel embarqué automobile, basée sur la génération automatique de cas de test : Elaboration of an approach of check and validation of automobile embarked software, based on the automatic generation of case of test. [Doctoral Dissertation]. Angers; 2016. Available from: http://www.theses.fr/2016ANGE0017

14. Rafi, Dudekula Mohammad. Automated Software Testing : A Study of the State of Practice.

Degree: 2012, , School of Computing

  Context: Software testing is expensive, labor intensive and consumes lot of time in a software development life cycle. There was always a need in… (more)

Subjects/Keywords: Automated software testing (AST); Manual Testing (MT); automated test case generation & selection (ATDGS); automated test data generation & selection (ATCGS); Computer Sciences; Datavetenskap (datalogi); Software Engineering; Programvaruteknik

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rafi, D. M. (2012). Automated Software Testing : A Study of the State of Practice. (Thesis). , School of Computing. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:bth-3375

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

Rafi, Dudekula Mohammad. “Automated Software Testing : A Study of the State of Practice.” 2012. Thesis, , School of Computing. Accessed October 29, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-3375.

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

MLA Handbook (7th Edition):

Rafi, Dudekula Mohammad. “Automated Software Testing : A Study of the State of Practice.” 2012. Web. 29 Oct 2020.

Vancouver:

Rafi DM. Automated Software Testing : A Study of the State of Practice. [Internet] [Thesis]. , School of Computing; 2012. [cited 2020 Oct 29]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-3375.

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

Council of Science Editors:

Rafi DM. Automated Software Testing : A Study of the State of Practice. [Thesis]. , School of Computing; 2012. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:bth-3375

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


KTH

15. Salman, Alzahraa. Test Case Generation from Specifications Using Natural Language Processing.

Degree: Electrical Engineering and Computer Science (EECS), 2020, KTH

Software testing plays a fundamental role in software engineering as it ensures the quality of a software system. However, one of the major challenges… (more)

Subjects/Keywords: Software testing; Test case generation; Natural Language Processing; Test case specifications; Programvarutestning; Testfallsgenerering; Naturlig språkbehandling; Testfallspecifikationer; Computer and Information Sciences; Data- och informationsvetenskap

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Salman, A. (2020). Test Case Generation from Specifications Using Natural Language Processing. (Thesis). KTH. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-281352

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

Salman, Alzahraa. “Test Case Generation from Specifications Using Natural Language Processing.” 2020. Thesis, KTH. Accessed October 29, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-281352.

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

MLA Handbook (7th Edition):

Salman, Alzahraa. “Test Case Generation from Specifications Using Natural Language Processing.” 2020. Web. 29 Oct 2020.

Vancouver:

Salman A. Test Case Generation from Specifications Using Natural Language Processing. [Internet] [Thesis]. KTH; 2020. [cited 2020 Oct 29]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-281352.

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

Council of Science Editors:

Salman A. Test Case Generation from Specifications Using Natural Language Processing. [Thesis]. KTH; 2020. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-281352

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


Universitat Politècnica de València

16. Granda Juca, María Fernanda. Testing-Based Conceptual Schema Validation in a Model-Driven Environment .

Degree: 2017, Universitat Politècnica de València

 Despite much scepticism and problems for its adoption, the Model-Driven Development (MDD) is being used and improved to provide many inherent benefits for industry. One… (more)

Subjects/Keywords: Conceptual Schemas Validation; Early Testing; Model-Driven Development; Test Case Generation; Mutation Testing; Empirical Software Engineering

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Granda Juca, M. F. (2017). Testing-Based Conceptual Schema Validation in a Model-Driven Environment . (Doctoral Dissertation). Universitat Politècnica de València. Retrieved from http://hdl.handle.net/10251/89091

Chicago Manual of Style (16th Edition):

Granda Juca, María Fernanda. “Testing-Based Conceptual Schema Validation in a Model-Driven Environment .” 2017. Doctoral Dissertation, Universitat Politècnica de València. Accessed October 29, 2020. http://hdl.handle.net/10251/89091.

MLA Handbook (7th Edition):

Granda Juca, María Fernanda. “Testing-Based Conceptual Schema Validation in a Model-Driven Environment .” 2017. Web. 29 Oct 2020.

Vancouver:

Granda Juca MF. Testing-Based Conceptual Schema Validation in a Model-Driven Environment . [Internet] [Doctoral dissertation]. Universitat Politècnica de València; 2017. [cited 2020 Oct 29]. Available from: http://hdl.handle.net/10251/89091.

Council of Science Editors:

Granda Juca MF. Testing-Based Conceptual Schema Validation in a Model-Driven Environment . [Doctoral Dissertation]. Universitat Politècnica de València; 2017. Available from: http://hdl.handle.net/10251/89091

17. Qorbanpur, Mehdi. Automating Integration-Level Test Case Generation for Object-Oriented .Net Applications.

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

  In spite of introducing many techniques and tools, nowadays still most of software testing is done manually. This means spending more cost and time… (more)

Subjects/Keywords: Integration testing; test case generation; Roslyn; Object oriented testing; OO testing; .Net testing; Software Engineering; Programvaruteknik

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Qorbanpur, M. (2020). Automating Integration-Level Test Case Generation for Object-Oriented .Net Applications. (Thesis). Mälardalen University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-47354

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

Qorbanpur, Mehdi. “Automating Integration-Level Test Case Generation for Object-Oriented .Net Applications.” 2020. Thesis, Mälardalen University. Accessed October 29, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-47354.

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

MLA Handbook (7th Edition):

Qorbanpur, Mehdi. “Automating Integration-Level Test Case Generation for Object-Oriented .Net Applications.” 2020. Web. 29 Oct 2020.

Vancouver:

Qorbanpur M. Automating Integration-Level Test Case Generation for Object-Oriented .Net Applications. [Internet] [Thesis]. Mälardalen University; 2020. [cited 2020 Oct 29]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-47354.

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

Council of Science Editors:

Qorbanpur M. Automating Integration-Level Test Case Generation for Object-Oriented .Net Applications. [Thesis]. Mälardalen University; 2020. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-47354

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


University of Waterloo

18. Ganjali, Afshar. A Requirements-Based Partition Testing Framework Using Particle Swarm Optimization Technique.

Degree: 2009, University of Waterloo

 Modern society is increasingly dependent on the quality of software systems. Software failure can cause severe consequences, including loss of human life. There are various… (more)

Subjects/Keywords: Software Testing; Test Case Generation; Combinatorial Testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ganjali, A. (2009). A Requirements-Based Partition Testing Framework Using Particle Swarm Optimization Technique. (Thesis). University of Waterloo. Retrieved from http://hdl.handle.net/10012/4242

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

Ganjali, Afshar. “A Requirements-Based Partition Testing Framework Using Particle Swarm Optimization Technique.” 2009. Thesis, University of Waterloo. Accessed October 29, 2020. http://hdl.handle.net/10012/4242.

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

MLA Handbook (7th Edition):

Ganjali, Afshar. “A Requirements-Based Partition Testing Framework Using Particle Swarm Optimization Technique.” 2009. Web. 29 Oct 2020.

Vancouver:

Ganjali A. A Requirements-Based Partition Testing Framework Using Particle Swarm Optimization Technique. [Internet] [Thesis]. University of Waterloo; 2009. [cited 2020 Oct 29]. Available from: http://hdl.handle.net/10012/4242.

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

Council of Science Editors:

Ganjali A. A Requirements-Based Partition Testing Framework Using Particle Swarm Optimization Technique. [Thesis]. University of Waterloo; 2009. Available from: http://hdl.handle.net/10012/4242

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


Freie Universität Berlin

19. Kruse, Peter Michael. Erweiterte Testfallgenerierung mit der Klassifikationsbaummethode.

Degree: 2014, Freie Universität Berlin

 Um eine Aussage über die Qualität von Software machen zu können, sind methodische Ansätze für den Softwaretest dringend erforderlich. Ein typischer Ansatz ist die 1993… (more)

Subjects/Keywords: Classification Tree Method; Test Case Generation; Combinatorial Test Design; 000 Informatik, Informationswissenschaft, allgemeine Werke::000 Informatik, Wissen, Systeme::005 Computerprogrammierung, Programme, Daten

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kruse, P. M. (2014). Erweiterte Testfallgenerierung mit der Klassifikationsbaummethode. (Thesis). Freie Universität Berlin. Retrieved from http://dx.doi.org/10.17169/refubium-7452

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

Kruse, Peter Michael. “Erweiterte Testfallgenerierung mit der Klassifikationsbaummethode.” 2014. Thesis, Freie Universität Berlin. Accessed October 29, 2020. http://dx.doi.org/10.17169/refubium-7452.

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

MLA Handbook (7th Edition):

Kruse, Peter Michael. “Erweiterte Testfallgenerierung mit der Klassifikationsbaummethode.” 2014. Web. 29 Oct 2020.

Vancouver:

Kruse PM. Erweiterte Testfallgenerierung mit der Klassifikationsbaummethode. [Internet] [Thesis]. Freie Universität Berlin; 2014. [cited 2020 Oct 29]. Available from: http://dx.doi.org/10.17169/refubium-7452.

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

Council of Science Editors:

Kruse PM. Erweiterte Testfallgenerierung mit der Klassifikationsbaummethode. [Thesis]. Freie Universität Berlin; 2014. Available from: http://dx.doi.org/10.17169/refubium-7452

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


Université de Bordeaux I

20. Cao, Tien Dung. Test and Validation of Web Services : A comparative analysis of natural and farmed populations of the Pacific oyster, Crassostrea gigas in a macrotidal lagoon (Arcachon Bay) : biological cycle, trophic relations and effects on benthos.

Degree: Docteur es, Informatique, 2010, Université de Bordeaux I

Nous proposons dans cette thèse les approches de test pour la composition de services web. Nous nous intéressons aux test unitaire et d’intégration d’une orchestration… (more)

Subjects/Keywords: Orchestration de services web; Machine à états finis étendues temporisés; Test en-ligne; Test actif/passif; Vérification d’exécution en-ligne; Génération de cas de test temporisé; Web service orchestration; Timed Extended Finite State Machine; Online/ Offline testing; Active/Passive testing; Runtime verification; Test case generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cao, T. D. (2010). Test and Validation of Web Services : A comparative analysis of natural and farmed populations of the Pacific oyster, Crassostrea gigas in a macrotidal lagoon (Arcachon Bay) : biological cycle, trophic relations and effects on benthos. (Doctoral Dissertation). Université de Bordeaux I. Retrieved from http://www.theses.fr/2010BOR14122

Chicago Manual of Style (16th Edition):

Cao, Tien Dung. “Test and Validation of Web Services : A comparative analysis of natural and farmed populations of the Pacific oyster, Crassostrea gigas in a macrotidal lagoon (Arcachon Bay) : biological cycle, trophic relations and effects on benthos.” 2010. Doctoral Dissertation, Université de Bordeaux I. Accessed October 29, 2020. http://www.theses.fr/2010BOR14122.

MLA Handbook (7th Edition):

Cao, Tien Dung. “Test and Validation of Web Services : A comparative analysis of natural and farmed populations of the Pacific oyster, Crassostrea gigas in a macrotidal lagoon (Arcachon Bay) : biological cycle, trophic relations and effects on benthos.” 2010. Web. 29 Oct 2020.

Vancouver:

Cao TD. Test and Validation of Web Services : A comparative analysis of natural and farmed populations of the Pacific oyster, Crassostrea gigas in a macrotidal lagoon (Arcachon Bay) : biological cycle, trophic relations and effects on benthos. [Internet] [Doctoral dissertation]. Université de Bordeaux I; 2010. [cited 2020 Oct 29]. Available from: http://www.theses.fr/2010BOR14122.

Council of Science Editors:

Cao TD. Test and Validation of Web Services : A comparative analysis of natural and farmed populations of the Pacific oyster, Crassostrea gigas in a macrotidal lagoon (Arcachon Bay) : biological cycle, trophic relations and effects on benthos. [Doctoral Dissertation]. Université de Bordeaux I; 2010. Available from: http://www.theses.fr/2010BOR14122


Kyoto University / 京都大学

21. Kutsuna, Takuro. Enhancing System Reliability using Abstraction and Efficient Logical Computation : 抽象化技術と高速な論理演算を利用したシステムの高信頼化.

Degree: 博士(情報学), 2015, Kyoto University / 京都大学

新制・課程博士

甲第19335号

情博第587号

Subjects/Keywords: Embedded system; Test case generation; Anomaly detection; Diagnosis; Satisfiability; Binary decision diagram

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kutsuna, T. (2015). Enhancing System Reliability using Abstraction and Efficient Logical Computation : 抽象化技術と高速な論理演算を利用したシステムの高信頼化. (Thesis). Kyoto University / 京都大学. Retrieved from http://hdl.handle.net/2433/202740 ; http://dx.doi.org/10.14989/doctor.k19335

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

Kutsuna, Takuro. “Enhancing System Reliability using Abstraction and Efficient Logical Computation : 抽象化技術と高速な論理演算を利用したシステムの高信頼化.” 2015. Thesis, Kyoto University / 京都大学. Accessed October 29, 2020. http://hdl.handle.net/2433/202740 ; http://dx.doi.org/10.14989/doctor.k19335.

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

MLA Handbook (7th Edition):

Kutsuna, Takuro. “Enhancing System Reliability using Abstraction and Efficient Logical Computation : 抽象化技術と高速な論理演算を利用したシステムの高信頼化.” 2015. Web. 29 Oct 2020.

Vancouver:

Kutsuna T. Enhancing System Reliability using Abstraction and Efficient Logical Computation : 抽象化技術と高速な論理演算を利用したシステムの高信頼化. [Internet] [Thesis]. Kyoto University / 京都大学; 2015. [cited 2020 Oct 29]. Available from: http://hdl.handle.net/2433/202740 ; http://dx.doi.org/10.14989/doctor.k19335.

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

Council of Science Editors:

Kutsuna T. Enhancing System Reliability using Abstraction and Efficient Logical Computation : 抽象化技術と高速な論理演算を利用したシステムの高信頼化. [Thesis]. Kyoto University / 京都大学; 2015. Available from: http://hdl.handle.net/2433/202740 ; http://dx.doi.org/10.14989/doctor.k19335

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

22. Yuan, Xun. Feedback-Directed Model-Based GUI Test Case Generation.

Degree: Computer Science, 2008, University of Maryland

 Most of today's software users interact with the software through a graphical user interfac (GUI), which is a representative of the broader class of event-driven… (more)

Subjects/Keywords: Computer Science; GUI Testing; Test Case Generation; Feedback

…ABSTRACT Title of dissertation: Feedback-Directed Model-Based GUI Test Case Generation… …prohibitively large number of test cases. Any practical test case generation technique must sample the… …new models, algorithms, and metrics for automated GUI test case generation. A novel aspect… …1.6 Feedback-Directed GUI Test Case Generation 1.7 Structure of the Dissertation… …17 2.2 GUI Test Case Generation . . . . . . . . . . . . . . . . . . . . . . . . 20 2.3… 

Page 1 Page 2 Page 3 Page 4 Page 5

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yuan, X. (2008). Feedback-Directed Model-Based GUI Test Case Generation. (Thesis). University of Maryland. Retrieved from http://hdl.handle.net/1903/8621

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

Yuan, Xun. “Feedback-Directed Model-Based GUI Test Case Generation.” 2008. Thesis, University of Maryland. Accessed October 29, 2020. http://hdl.handle.net/1903/8621.

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

MLA Handbook (7th Edition):

Yuan, Xun. “Feedback-Directed Model-Based GUI Test Case Generation.” 2008. Web. 29 Oct 2020.

Vancouver:

Yuan X. Feedback-Directed Model-Based GUI Test Case Generation. [Internet] [Thesis]. University of Maryland; 2008. [cited 2020 Oct 29]. Available from: http://hdl.handle.net/1903/8621.

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

Council of Science Editors:

Yuan X. Feedback-Directed Model-Based GUI Test Case Generation. [Thesis]. University of Maryland; 2008. Available from: http://hdl.handle.net/1903/8621

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


Uppsala University

23. Gangadharan, Athul. An Evaluation of Automatic Test Case Generation strategy from Requirements for Electric/Autonomous Vehicles.

Degree: Informatics and Media, 2020, Uppsala University

  Software testing is becoming more prominent within the automotive industry due to more complex systems, and functions are implemented in the vehicles. The vehicles… (more)

Subjects/Keywords: software testing; nlp; test case generation; natural language requirements; requirements-based testing; electric vehicles; Information Systems, Social aspects; Systemvetenskap, informationssystem och informatik med samhällsvetenskaplig inriktning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gangadharan, A. (2020). An Evaluation of Automatic Test Case Generation strategy from Requirements for Electric/Autonomous Vehicles. (Thesis). Uppsala University. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-419583

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

Gangadharan, Athul. “An Evaluation of Automatic Test Case Generation strategy from Requirements for Electric/Autonomous Vehicles.” 2020. Thesis, Uppsala University. Accessed October 29, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-419583.

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

MLA Handbook (7th Edition):

Gangadharan, Athul. “An Evaluation of Automatic Test Case Generation strategy from Requirements for Electric/Autonomous Vehicles.” 2020. Web. 29 Oct 2020.

Vancouver:

Gangadharan A. An Evaluation of Automatic Test Case Generation strategy from Requirements for Electric/Autonomous Vehicles. [Internet] [Thesis]. Uppsala University; 2020. [cited 2020 Oct 29]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-419583.

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

Council of Science Editors:

Gangadharan A. An Evaluation of Automatic Test Case Generation strategy from Requirements for Electric/Autonomous Vehicles. [Thesis]. Uppsala University; 2020. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-419583

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

24. Kutsuna, Takuro. Enhancing System Reliability using Abstraction and Efficient Logical Computation .

Degree: 2015, Kyoto University

Subjects/Keywords: Embedded system; Test case generation; Anomaly detection; Diagnosis; Satisfiability; Binary decision diagram

Page 1 Page 2 Page 3 Page 4

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kutsuna, T. (2015). Enhancing System Reliability using Abstraction and Efficient Logical Computation . (Thesis). Kyoto University. Retrieved from http://hdl.handle.net/2433/202740

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

Kutsuna, Takuro. “Enhancing System Reliability using Abstraction and Efficient Logical Computation .” 2015. Thesis, Kyoto University. Accessed October 29, 2020. http://hdl.handle.net/2433/202740.

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

MLA Handbook (7th Edition):

Kutsuna, Takuro. “Enhancing System Reliability using Abstraction and Efficient Logical Computation .” 2015. Web. 29 Oct 2020.

Vancouver:

Kutsuna T. Enhancing System Reliability using Abstraction and Efficient Logical Computation . [Internet] [Thesis]. Kyoto University; 2015. [cited 2020 Oct 29]. Available from: http://hdl.handle.net/2433/202740.

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

Council of Science Editors:

Kutsuna T. Enhancing System Reliability using Abstraction and Efficient Logical Computation . [Thesis]. Kyoto University; 2015. Available from: http://hdl.handle.net/2433/202740

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

25. Rane, Prerana Pradeepkumar. Automatic Generation of Test Cases for Agile using Natural Language Processing.

Degree: MS, Computer Engineering, 2017, Virginia Tech

Test case design and generation is a tedious manual process that requires 40-70% of the software test life cycle. The test cases written manually by… (more)

Subjects/Keywords: Automatic Test Case Generation; Agile Testing; Requirements Engineering

…2.3 Different processes involved in test case generation . . . . . . . . . . . . . . . 15… …cases. Hence, there is a need for an automated test case generation tool which can help in… …testing process consists of test case generation, test execution, and test evaluation. While… …which test cases are sufficient to verify the system is more difficult. Test case generation… …Agile software development workflow using the automatic test case generation tool that we have… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Rane, P. P. (2017). Automatic Generation of Test Cases for Agile using Natural Language Processing. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/76680

Chicago Manual of Style (16th Edition):

Rane, Prerana Pradeepkumar. “Automatic Generation of Test Cases for Agile using Natural Language Processing.” 2017. Masters Thesis, Virginia Tech. Accessed October 29, 2020. http://hdl.handle.net/10919/76680.

MLA Handbook (7th Edition):

Rane, Prerana Pradeepkumar. “Automatic Generation of Test Cases for Agile using Natural Language Processing.” 2017. Web. 29 Oct 2020.

Vancouver:

Rane PP. Automatic Generation of Test Cases for Agile using Natural Language Processing. [Internet] [Masters thesis]. Virginia Tech; 2017. [cited 2020 Oct 29]. Available from: http://hdl.handle.net/10919/76680.

Council of Science Editors:

Rane PP. Automatic Generation of Test Cases for Agile using Natural Language Processing. [Masters Thesis]. Virginia Tech; 2017. Available from: http://hdl.handle.net/10919/76680

26. Nilsson, Robert. Automated Selective Test Case Generation Methods for Real-Time Systems.

Degree: Computer Science, 2000, University of Skövde

  This work aims to investigate the state of the art in test case generation for real-time systems, to analyze existing methods, and to propose… (more)

Subjects/Keywords: Test Case Generation; Real-Time; Automation; Timeliness; Information Systems; Systemvetenskap, informationssystem och informatik

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nilsson, R. (2000). Automated Selective Test Case Generation Methods for Real-Time Systems. (Thesis). University of Skövde. Retrieved from http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-487

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

Nilsson, Robert. “Automated Selective Test Case Generation Methods for Real-Time Systems.” 2000. Thesis, University of Skövde. Accessed October 29, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-487.

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

MLA Handbook (7th Edition):

Nilsson, Robert. “Automated Selective Test Case Generation Methods for Real-Time Systems.” 2000. Web. 29 Oct 2020.

Vancouver:

Nilsson R. Automated Selective Test Case Generation Methods for Real-Time Systems. [Internet] [Thesis]. University of Skövde; 2000. [cited 2020 Oct 29]. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-487.

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

Council of Science Editors:

Nilsson R. Automated Selective Test Case Generation Methods for Real-Time Systems. [Thesis]. University of Skövde; 2000. Available from: http://urn.kb.se/resolve?urn=urn:nbn:se:his:diva-487

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


Université Paris-Sud – Paris XI

27. Bentakouk, Lina. Test symbolique de services web composite : Symbolic Testing Approach of Composite Web Services.

Degree: Docteur es, Informatique, 2011, Université Paris-Sud – Paris XI

L’acceptation et l’utilisation des services Web en industrie se développent de par leursupport au développement d’application distribuées comme compositions d’entitéslogicielles plus simples appelées services. En… (more)

Subjects/Keywords: Services; Orchestration; Test formel; Génération de cas de test; WS-BPEL; Système de transitions; Exécution symbolique; SMT solver; Services; Orchestration; Formal testing; Test-case generation; WS-BPEL; Transition systems; Symbolic execution; SMT solver

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bentakouk, L. (2011). Test symbolique de services web composite : Symbolic Testing Approach of Composite Web Services. (Doctoral Dissertation). Université Paris-Sud – Paris XI. Retrieved from http://www.theses.fr/2011PA112348

Chicago Manual of Style (16th Edition):

Bentakouk, Lina. “Test symbolique de services web composite : Symbolic Testing Approach of Composite Web Services.” 2011. Doctoral Dissertation, Université Paris-Sud – Paris XI. Accessed October 29, 2020. http://www.theses.fr/2011PA112348.

MLA Handbook (7th Edition):

Bentakouk, Lina. “Test symbolique de services web composite : Symbolic Testing Approach of Composite Web Services.” 2011. Web. 29 Oct 2020.

Vancouver:

Bentakouk L. Test symbolique de services web composite : Symbolic Testing Approach of Composite Web Services. [Internet] [Doctoral dissertation]. Université Paris-Sud – Paris XI; 2011. [cited 2020 Oct 29]. Available from: http://www.theses.fr/2011PA112348.

Council of Science Editors:

Bentakouk L. Test symbolique de services web composite : Symbolic Testing Approach of Composite Web Services. [Doctoral Dissertation]. Université Paris-Sud – Paris XI; 2011. Available from: http://www.theses.fr/2011PA112348

28. Nguyen, Ngo Minh Thang. Test case generation for Symbolic Distributed System Models : Application to Trickle based IoT Protocol : Génération de cas de test pour les modèles symboliques de système distribués : Application au protocole IoT à base de Trickle.

Degree: Docteur es, Informatique, 2019, Université Paris-Saclay (ComUE)

Les systèmes distribués sont composés de nombreux sous-systèmes distants les uns des autres. Afin de réaliser une même tâche, les sous-systèmes communiquent à la fois… (more)

Subjects/Keywords: Systèmes distribués; Test à base de modèles; Systèmes de Transition Symbolique Temporisé avec des Entrées et Sorties; Génération de cas de test; Critères de couverture; Protocole MPL; Distributed systems; Model-Based Testing; Timed Input Output Symbolic Transition Systems; Test case generation; Coverage criteria; MPL protocol

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nguyen, N. M. T. (2019). Test case generation for Symbolic Distributed System Models : Application to Trickle based IoT Protocol : Génération de cas de test pour les modèles symboliques de système distribués : Application au protocole IoT à base de Trickle. (Doctoral Dissertation). Université Paris-Saclay (ComUE). Retrieved from http://www.theses.fr/2019SACLC092

Chicago Manual of Style (16th Edition):

Nguyen, Ngo Minh Thang. “Test case generation for Symbolic Distributed System Models : Application to Trickle based IoT Protocol : Génération de cas de test pour les modèles symboliques de système distribués : Application au protocole IoT à base de Trickle.” 2019. Doctoral Dissertation, Université Paris-Saclay (ComUE). Accessed October 29, 2020. http://www.theses.fr/2019SACLC092.

MLA Handbook (7th Edition):

Nguyen, Ngo Minh Thang. “Test case generation for Symbolic Distributed System Models : Application to Trickle based IoT Protocol : Génération de cas de test pour les modèles symboliques de système distribués : Application au protocole IoT à base de Trickle.” 2019. Web. 29 Oct 2020.

Vancouver:

Nguyen NMT. Test case generation for Symbolic Distributed System Models : Application to Trickle based IoT Protocol : Génération de cas de test pour les modèles symboliques de système distribués : Application au protocole IoT à base de Trickle. [Internet] [Doctoral dissertation]. Université Paris-Saclay (ComUE); 2019. [cited 2020 Oct 29]. Available from: http://www.theses.fr/2019SACLC092.

Council of Science Editors:

Nguyen NMT. Test case generation for Symbolic Distributed System Models : Application to Trickle based IoT Protocol : Génération de cas de test pour les modèles symboliques de système distribués : Application au protocole IoT à base de Trickle. [Doctoral Dissertation]. Université Paris-Saclay (ComUE); 2019. Available from: http://www.theses.fr/2019SACLC092


Université du Luxembourg

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


Cal Poly

30. Parker, Joshua B. Automation in CS1 with the Factoring Problem Generator.

Degree: MS, Computer Science, 2009, Cal Poly

 As the field of computer science continues to grow, the number of students enrolled in related programs will grow as well. Though one-on-one tutoring is… (more)

Subjects/Keywords: function factoring; intelligent tutoring system; classroom automation; CS1; code generation; test case generation; Programming Languages and Compilers; Science and Mathematics Education

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Parker, J. B. (2009). Automation in CS1 with the Factoring Problem Generator. (Masters Thesis). Cal Poly. Retrieved from https://digitalcommons.calpoly.edu/theses/210 ; 10.15368/theses.2009.179

Chicago Manual of Style (16th Edition):

Parker, Joshua B. “Automation in CS1 with the Factoring Problem Generator.” 2009. Masters Thesis, Cal Poly. Accessed October 29, 2020. https://digitalcommons.calpoly.edu/theses/210 ; 10.15368/theses.2009.179.

MLA Handbook (7th Edition):

Parker, Joshua B. “Automation in CS1 with the Factoring Problem Generator.” 2009. Web. 29 Oct 2020.

Vancouver:

Parker JB. Automation in CS1 with the Factoring Problem Generator. [Internet] [Masters thesis]. Cal Poly; 2009. [cited 2020 Oct 29]. Available from: https://digitalcommons.calpoly.edu/theses/210 ; 10.15368/theses.2009.179.

Council of Science Editors:

Parker JB. Automation in CS1 with the Factoring Problem Generator. [Masters Thesis]. Cal Poly; 2009. Available from: https://digitalcommons.calpoly.edu/theses/210 ; 10.15368/theses.2009.179

[1] [2]

.