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 input generation). Showing records 1 – 8 of 8 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of Texas – Austin

1. Dini, Nima. MKorat : a novel approach for memorizing the Korat search and some potential applications.

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

 Writing logical constraints that describe properties of desired inputs enables an effective approach for systematic software testing, which can find many bugs. The key problem… (more)

Subjects/Keywords: Software testing; Test input generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dini, N. (2016). MKorat : a novel approach for memorizing the Korat search and some potential applications. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/38682

Chicago Manual of Style (16th Edition):

Dini, Nima. “MKorat : a novel approach for memorizing the Korat search and some potential applications.” 2016. Masters Thesis, University of Texas – Austin. Accessed March 06, 2021. http://hdl.handle.net/2152/38682.

MLA Handbook (7th Edition):

Dini, Nima. “MKorat : a novel approach for memorizing the Korat search and some potential applications.” 2016. Web. 06 Mar 2021.

Vancouver:

Dini N. MKorat : a novel approach for memorizing the Korat search and some potential applications. [Internet] [Masters thesis]. University of Texas – Austin; 2016. [cited 2021 Mar 06]. Available from: http://hdl.handle.net/2152/38682.

Council of Science Editors:

Dini N. MKorat : a novel approach for memorizing the Korat search and some potential applications. [Masters Thesis]. University of Texas – Austin; 2016. Available from: http://hdl.handle.net/2152/38682


University of Illinois – Urbana-Champaign

2. Cao, Jiayi. Aiding automated testing generation process by visualizing dynamic symbolic execution.

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

 Significant progress has been made in the field of automatic test generation, and Dynamic Symbolic Execution (DSE) is among the most effective techniques in this… (more)

Subjects/Keywords: Visualization; Dynamic Symbolic Execution; Test Input Generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cao, J. (2018). Aiding automated testing generation process by visualizing dynamic symbolic execution. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/101243

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

Cao, Jiayi. “Aiding automated testing generation process by visualizing dynamic symbolic execution.” 2018. Thesis, University of Illinois – Urbana-Champaign. Accessed March 06, 2021. http://hdl.handle.net/2142/101243.

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

MLA Handbook (7th Edition):

Cao, Jiayi. “Aiding automated testing generation process by visualizing dynamic symbolic execution.” 2018. Web. 06 Mar 2021.

Vancouver:

Cao J. Aiding automated testing generation process by visualizing dynamic symbolic execution. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2018. [cited 2021 Mar 06]. Available from: http://hdl.handle.net/2142/101243.

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

Council of Science Editors:

Cao J. Aiding automated testing generation process by visualizing dynamic symbolic execution. [Thesis]. University of Illinois – Urbana-Champaign; 2018. Available from: http://hdl.handle.net/2142/101243

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


University of Illinois – Chicago

3. 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 March 06, 2021. 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. 06 Mar 2021.

Vancouver:

Nair A. Automatically Finding Abstractions for Input Space Partitioning for Software Performance Testing. [Internet] [Thesis]. University of Illinois – Chicago; 2012. [cited 2021 Mar 06]. 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

4. Srinivasan, Raghavendra. Improving constraint-based test input generation using Korat.

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

 Korat is an existing technique for test input generation using imperative constraints that describe properties of desired inputs written as Java predicates, termed RepOk methods,… (more)

Subjects/Keywords: Constraint solving; Korat; Test input generation; Automatic testing

…solving [4, 9, 10, 11, 15, 16, 18, 20]. The focus of our work is test input generation… …constraint-based test input generation is to represent the property of the desired test inputs as a… …method that uses this re-usable check as a helper method can provide test input generation… …constraint such that the solution to the con- 2 straint represents a test input. While there are… …several previous approaches for constraint-based input generation, most address program with… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Srinivasan, R. (2015). Improving constraint-based test input generation using Korat. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/30200

Chicago Manual of Style (16th Edition):

Srinivasan, Raghavendra. “Improving constraint-based test input generation using Korat.” 2015. Masters Thesis, University of Texas – Austin. Accessed March 06, 2021. http://hdl.handle.net/2152/30200.

MLA Handbook (7th Edition):

Srinivasan, Raghavendra. “Improving constraint-based test input generation using Korat.” 2015. Web. 06 Mar 2021.

Vancouver:

Srinivasan R. Improving constraint-based test input generation using Korat. [Internet] [Masters thesis]. University of Texas – Austin; 2015. [cited 2021 Mar 06]. Available from: http://hdl.handle.net/2152/30200.

Council of Science Editors:

Srinivasan R. Improving constraint-based test input generation using Korat. [Masters Thesis]. University of Texas – Austin; 2015. Available from: http://hdl.handle.net/2152/30200


University of Texas – Austin

5. Chang, Walter Chochen. Improving dynamic analysis with data flow analysis.

Degree: PhD, Computer Sciences, 2010, University of Texas – Austin

 Many challenges in software quality can be tackled with dynamic analysis. However, these techniques are often limited in their efficiency or scalability as they are… (more)

Subjects/Keywords: Data flow; Software testing; Software security; Dynamic analysis; Static analysis; Test input generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chang, W. C. (2010). Improving dynamic analysis with data flow analysis. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2010-08-1586

Chicago Manual of Style (16th Edition):

Chang, Walter Chochen. “Improving dynamic analysis with data flow analysis.” 2010. Doctoral Dissertation, University of Texas – Austin. Accessed March 06, 2021. http://hdl.handle.net/2152/ETD-UT-2010-08-1586.

MLA Handbook (7th Edition):

Chang, Walter Chochen. “Improving dynamic analysis with data flow analysis.” 2010. Web. 06 Mar 2021.

Vancouver:

Chang WC. Improving dynamic analysis with data flow analysis. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2010. [cited 2021 Mar 06]. Available from: http://hdl.handle.net/2152/ETD-UT-2010-08-1586.

Council of Science Editors:

Chang WC. Improving dynamic analysis with data flow analysis. [Doctoral Dissertation]. University of Texas – Austin; 2010. Available from: http://hdl.handle.net/2152/ETD-UT-2010-08-1586

6. 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 March 06, 2021. 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. 06 Mar 2021.

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 2021 Mar 06]. 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

7. Siddiqui, Junaid Haroon. Improving systematic constraint-driven analysis using incremental and parallel techniques.

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

 This dissertation introduces Pikse, a novel methodology for more effective and efficient checking of code conformance to specifications using parallel and incremental techniques, describes a… (more)

Subjects/Keywords: Software engineering; Software testing and verification; test input generation; Symbolic execution; Incremental test generation algorithms; Parallel test generation; Constraint-driven analysis; Constraint-based testing

…tandem, for example, for combined black-box constraint-based input generation with white-box… …3.1.1 Illustrative Example . . . . . . . . . . 3.1.2 Test input as analysis state… …code, e.g, statements and branches, are leveraged, e.g., to direct input generation to… …symbolic execution is input generation for (bounded) path coverage in white-box testing… …that an input constraint can be solved partially to build abstract test suites that can be… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Siddiqui, J. H. (2012). Improving systematic constraint-driven analysis using incremental and parallel techniques. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/19568

Chicago Manual of Style (16th Edition):

Siddiqui, Junaid Haroon. “Improving systematic constraint-driven analysis using incremental and parallel techniques.” 2012. Doctoral Dissertation, University of Texas – Austin. Accessed March 06, 2021. http://hdl.handle.net/2152/19568.

MLA Handbook (7th Edition):

Siddiqui, Junaid Haroon. “Improving systematic constraint-driven analysis using incremental and parallel techniques.” 2012. Web. 06 Mar 2021.

Vancouver:

Siddiqui JH. Improving systematic constraint-driven analysis using incremental and parallel techniques. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2012. [cited 2021 Mar 06]. Available from: http://hdl.handle.net/2152/19568.

Council of Science Editors:

Siddiqui JH. Improving systematic constraint-driven analysis using incremental and parallel techniques. [Doctoral Dissertation]. University of Texas – Austin; 2012. Available from: http://hdl.handle.net/2152/19568

8. Nokhbeh Zaeem, Razieh. Contract-driven data structure repair : a novel approach for error recovery.

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

 Software systems are now pervasive throughout our world. The reliability of these systems is an urgent necessity. A large degree of research effort on increasing… (more)

Subjects/Keywords: Data structure; Repair; Error recovery; Repair history; Repair abstraction; Alloy; Dynamic programming; Test input generation; Contracts

…Problem in Testing and Repair . . . . . 1.4.1 Test Input Generation Using Dynamic Programming… …2.2 Test Input Generation . . . . . . . . . . . . . . . . . . . . . . 18 18 22 ix 1 2 5 7… …Example . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85 Test Input Generation… …Generation Algorithm . . . . . . . . . 100 Evaluation: Test Input Generation Using Dynamic… …Safari test input generation results. . . . . . . . . 121 xiv List of Figures 1.1… 

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nokhbeh Zaeem, R. (2014). Contract-driven data structure repair : a novel approach for error recovery. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/24967

Chicago Manual of Style (16th Edition):

Nokhbeh Zaeem, Razieh. “Contract-driven data structure repair : a novel approach for error recovery.” 2014. Doctoral Dissertation, University of Texas – Austin. Accessed March 06, 2021. http://hdl.handle.net/2152/24967.

MLA Handbook (7th Edition):

Nokhbeh Zaeem, Razieh. “Contract-driven data structure repair : a novel approach for error recovery.” 2014. Web. 06 Mar 2021.

Vancouver:

Nokhbeh Zaeem R. Contract-driven data structure repair : a novel approach for error recovery. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2014. [cited 2021 Mar 06]. Available from: http://hdl.handle.net/2152/24967.

Council of Science Editors:

Nokhbeh Zaeem R. Contract-driven data structure repair : a novel approach for error recovery. [Doctoral Dissertation]. University of Texas – Austin; 2014. Available from: http://hdl.handle.net/2152/24967

.