Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for +publisher:"University of Texas – Austin" +contributor:("Khurshid, Sarfraz"). Showing records 1 – 30 of 87 total matches.

[1] [2] [3]

Search Limiters

Last 2 Years | English Only

Degrees

Levels

▼ Search Limiters


University of Texas – Austin

1. Mainor, Fredrick Dean. Using KLEE to generate test cases for the Texas Instruments® Stellaris® Peripheral Driver Library.

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

 Software engineers spend much of their time checking the correctness of software. Software testing is the most widely used technique for accomplishing this task. Most… (more)

Subjects/Keywords: KLEE; Stellaris Peripheral Driver Library

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mainor, F. D. (2014). Using KLEE to generate test cases for the Texas Instruments® Stellaris® Peripheral Driver Library. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/26348

Chicago Manual of Style (16th Edition):

Mainor, Fredrick Dean. “Using KLEE to generate test cases for the Texas Instruments® Stellaris® Peripheral Driver Library.” 2014. Masters Thesis, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/26348.

MLA Handbook (7th Edition):

Mainor, Fredrick Dean. “Using KLEE to generate test cases for the Texas Instruments® Stellaris® Peripheral Driver Library.” 2014. Web. 22 Jan 2021.

Vancouver:

Mainor FD. Using KLEE to generate test cases for the Texas Instruments® Stellaris® Peripheral Driver Library. [Internet] [Masters thesis]. University of Texas – Austin; 2014. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/26348.

Council of Science Editors:

Mainor FD. Using KLEE to generate test cases for the Texas Instruments® Stellaris® Peripheral Driver Library. [Masters Thesis]. University of Texas – Austin; 2014. Available from: http://hdl.handle.net/2152/26348


University of Texas – Austin

2. -0663-0586. Compression of a context-based marshalling methodology in Java.

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

 This report focuses on a method for serializing messages in Java which is somewhere between a customized solution and Java’s built-in serialization. Customized serialization will… (more)

Subjects/Keywords: Java; Serialization; Marshalling; Context-based; Compression; Deflater

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

-0663-0586. (2016). Compression of a context-based marshalling methodology in Java. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/45609

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

Chicago Manual of Style (16th Edition):

-0663-0586. “Compression of a context-based marshalling methodology in Java.” 2016. Masters Thesis, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/45609.

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

MLA Handbook (7th Edition):

-0663-0586. “Compression of a context-based marshalling methodology in Java.” 2016. Web. 22 Jan 2021.

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

Vancouver:

-0663-0586. Compression of a context-based marshalling methodology in Java. [Internet] [Masters thesis]. University of Texas – Austin; 2016. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/45609.

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

Council of Science Editors:

-0663-0586. Compression of a context-based marshalling methodology in Java. [Masters Thesis]. University of Texas – Austin; 2016. Available from: http://hdl.handle.net/2152/45609

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


University of Texas – Austin

3. Longoria, Jason Andrew. Prioritizing security regression test cases using threat models.

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

 When existing software is modified, regression testing provides an approach to gain confidence that no unexpected security vulnerabilities have been introduced. If faults or vulnerabilities… (more)

Subjects/Keywords: Regression testing; Security

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Longoria, J. A. (2016). Prioritizing security regression test cases using threat models. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/45631

Chicago Manual of Style (16th Edition):

Longoria, Jason Andrew. “Prioritizing security regression test cases using threat models.” 2016. Masters Thesis, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/45631.

MLA Handbook (7th Edition):

Longoria, Jason Andrew. “Prioritizing security regression test cases using threat models.” 2016. Web. 22 Jan 2021.

Vancouver:

Longoria JA. Prioritizing security regression test cases using threat models. [Internet] [Masters thesis]. University of Texas – Austin; 2016. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/45631.

Council of Science Editors:

Longoria JA. Prioritizing security regression test cases using threat models. [Masters Thesis]. University of Texas – Austin; 2016. Available from: http://hdl.handle.net/2152/45631


University of Texas – Austin

4. Malik, Muhammad Zubair. Combining data structure repair and program repair.

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

 Bugs in code continue to pose a fundamental problem for software reliability and cause expensive failures. The process of removing known bugs is termed debugging,… (more)

Subjects/Keywords: Program repair; Data Structure repair; Graph spectra

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Malik, M. Z. (2014). Combining data structure repair and program repair. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/26034

Chicago Manual of Style (16th Edition):

Malik, Muhammad Zubair. “Combining data structure repair and program repair.” 2014. Doctoral Dissertation, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/26034.

MLA Handbook (7th Edition):

Malik, Muhammad Zubair. “Combining data structure repair and program repair.” 2014. Web. 22 Jan 2021.

Vancouver:

Malik MZ. Combining data structure repair and program repair. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2014. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/26034.

Council of Science Editors:

Malik MZ. Combining data structure repair and program repair. [Doctoral Dissertation]. University of Texas – Austin; 2014. Available from: http://hdl.handle.net/2152/26034


University of Texas – Austin

5. Ren, Yuanrui. A visualization tool for recursive linked structures generated by Korat.

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

 This report presents Korat-Viz, an off-line visualization tool for Korat, a framework for generating test cases of Java programs. Given a predicate specifying the structural… (more)

Subjects/Keywords: Korat; Visualization tool; Off-line visualization tools; Test cases; Java program test cases; Candidate vector; Recursive linked data

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ren, Y. (2018). A visualization tool for recursive linked structures generated by Korat. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/65976

Chicago Manual of Style (16th Edition):

Ren, Yuanrui. “A visualization tool for recursive linked structures generated by Korat.” 2018. Masters Thesis, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/65976.

MLA Handbook (7th Edition):

Ren, Yuanrui. “A visualization tool for recursive linked structures generated by Korat.” 2018. Web. 22 Jan 2021.

Vancouver:

Ren Y. A visualization tool for recursive linked structures generated by Korat. [Internet] [Masters thesis]. University of Texas – Austin; 2018. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/65976.

Council of Science Editors:

Ren Y. A visualization tool for recursive linked structures generated by Korat. [Masters Thesis]. University of Texas – Austin; 2018. Available from: http://hdl.handle.net/2152/65976


University of Texas – Austin

6. -1564-4768. Optimization of smoke testing through data and knapsacks.

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

 This report seeks to develop a offline program that continually updates smoke testing for a large codebase in order to produce a rapidly-evolving smoke test… (more)

Subjects/Keywords: Testing; Smoke testing; Software; 0-1 knapsack problem; Test selection; Smoke Selector; Offline smoke testing program

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

-1564-4768. (2019). Optimization of smoke testing through data and knapsacks. (Masters Thesis). University of Texas – Austin. Retrieved from http://dx.doi.org/10.26153/tsw/2845

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

Chicago Manual of Style (16th Edition):

-1564-4768. “Optimization of smoke testing through data and knapsacks.” 2019. Masters Thesis, University of Texas – Austin. Accessed January 22, 2021. http://dx.doi.org/10.26153/tsw/2845.

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

MLA Handbook (7th Edition):

-1564-4768. “Optimization of smoke testing through data and knapsacks.” 2019. Web. 22 Jan 2021.

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

Vancouver:

-1564-4768. Optimization of smoke testing through data and knapsacks. [Internet] [Masters thesis]. University of Texas – Austin; 2019. [cited 2021 Jan 22]. Available from: http://dx.doi.org/10.26153/tsw/2845.

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

Council of Science Editors:

-1564-4768. Optimization of smoke testing through data and knapsacks. [Masters Thesis]. University of Texas – Austin; 2019. Available from: http://dx.doi.org/10.26153/tsw/2845

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


University of Texas – Austin

7. 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 January 22, 2021. http://hdl.handle.net/2152/25055.

MLA Handbook (7th Edition):

Zhang, Lingming. “Unifying regression testing with mutation testing.” 2014. Web. 22 Jan 2021.

Vancouver:

Zhang L. Unifying regression testing with mutation testing. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2014. [cited 2021 Jan 22]. 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


University of Texas – Austin

8. Vadysirisack, Pang Lithisay. Practical software testing for an FDA-regulated environment.

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

 Unlike hardware, software does not degrade over time or frequency use. This is good for software. Also unlike hardware, software can be easily changed. This… (more)

Subjects/Keywords: Software; Software testing; FDA; Regulations; Medical devices; Software design lifecycle; Regulatory compliance

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vadysirisack, P. L. (2011). Practical software testing for an FDA-regulated environment. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2011-12-4719

Chicago Manual of Style (16th Edition):

Vadysirisack, Pang Lithisay. “Practical software testing for an FDA-regulated environment.” 2011. Masters Thesis, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/ETD-UT-2011-12-4719.

MLA Handbook (7th Edition):

Vadysirisack, Pang Lithisay. “Practical software testing for an FDA-regulated environment.” 2011. Web. 22 Jan 2021.

Vancouver:

Vadysirisack PL. Practical software testing for an FDA-regulated environment. [Internet] [Masters thesis]. University of Texas – Austin; 2011. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/ETD-UT-2011-12-4719.

Council of Science Editors:

Vadysirisack PL. Practical software testing for an FDA-regulated environment. [Masters Thesis]. University of Texas – Austin; 2011. Available from: http://hdl.handle.net/2152/ETD-UT-2011-12-4719


University of Texas – Austin

9. Bhaskar, Kilnagar S. Enhancing usability and applicability of Korat.

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

 Software testing is an integral part of the software development cycle, and involves various techniques to test software components and applications. Specification-based testing focuses on… (more)

Subjects/Keywords: Korat; Specification-based testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bhaskar, K. S. (2015). Enhancing usability and applicability of Korat. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/32320

Chicago Manual of Style (16th Edition):

Bhaskar, Kilnagar S. “Enhancing usability and applicability of Korat.” 2015. Masters Thesis, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/32320.

MLA Handbook (7th Edition):

Bhaskar, Kilnagar S. “Enhancing usability and applicability of Korat.” 2015. Web. 22 Jan 2021.

Vancouver:

Bhaskar KS. Enhancing usability and applicability of Korat. [Internet] [Masters thesis]. University of Texas – Austin; 2015. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/32320.

Council of Science Editors:

Bhaskar KS. Enhancing usability and applicability of Korat. [Masters Thesis]. University of Texas – Austin; 2015. Available from: http://hdl.handle.net/2152/32320


University of Texas – Austin

10. Bushmais, Abraham H. Graph based unit testing.

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

 Automating test design can increase test suit accuracy and produce more reliable software. In this report we present a prototype tool that can aid developers… (more)

Subjects/Keywords: Graph-base coverage tools; Unit testing; Java code

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bushmais, A. H. (2011). Graph based unit testing. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2011-08-4335

Chicago Manual of Style (16th Edition):

Bushmais, Abraham H. “Graph based unit testing.” 2011. Masters Thesis, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/ETD-UT-2011-08-4335.

MLA Handbook (7th Edition):

Bushmais, Abraham H. “Graph based unit testing.” 2011. Web. 22 Jan 2021.

Vancouver:

Bushmais AH. Graph based unit testing. [Internet] [Masters thesis]. University of Texas – Austin; 2011. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/ETD-UT-2011-08-4335.

Council of Science Editors:

Bushmais AH. Graph based unit testing. [Masters Thesis]. University of Texas – Austin; 2011. Available from: http://hdl.handle.net/2152/ETD-UT-2011-08-4335


University of Texas – Austin

11. -2917-0826. A case study of continuous delivery of a mobile application.

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

 The concept of continuous delivery extends the existing concept of continuous integration beyond its traditional scope of development, build, and test into deployment to end-users.… (more)

Subjects/Keywords: Continuous delivery; Continuous integration; Android; Google play store; Google analytics; Jenkins; Development operations

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

-2917-0826. (2015). A case study of continuous delivery of a mobile application. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/35304

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

Chicago Manual of Style (16th Edition):

-2917-0826. “A case study of continuous delivery of a mobile application.” 2015. Masters Thesis, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/35304.

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

MLA Handbook (7th Edition):

-2917-0826. “A case study of continuous delivery of a mobile application.” 2015. Web. 22 Jan 2021.

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

Vancouver:

-2917-0826. A case study of continuous delivery of a mobile application. [Internet] [Masters thesis]. University of Texas – Austin; 2015. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/35304.

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

Council of Science Editors:

-2917-0826. A case study of continuous delivery of a mobile application. [Masters Thesis]. University of Texas – Austin; 2015. Available from: http://hdl.handle.net/2152/35304

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


University of Texas – Austin

12. -0930-2473. Non-semantics-preserving transformations for higher-coverage test generation using symbolic execution.

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

 Symbolic execution is a well-studied method that can produce high-quality test suites for programs. However, scaling it to real-world applications is a significant challenge, as… (more)

Subjects/Keywords: Symbolic execution; Compiler optimizations; Non-semantics-preserving transformations; Testability transformations; Test generation; LLVM; KLEE

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

-0930-2473. (2016). Non-semantics-preserving transformations for higher-coverage test generation using symbolic execution. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/39064

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

Chicago Manual of Style (16th Edition):

-0930-2473. “Non-semantics-preserving transformations for higher-coverage test generation using symbolic execution.” 2016. Masters Thesis, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/39064.

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

MLA Handbook (7th Edition):

-0930-2473. “Non-semantics-preserving transformations for higher-coverage test generation using symbolic execution.” 2016. Web. 22 Jan 2021.

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

Vancouver:

-0930-2473. Non-semantics-preserving transformations for higher-coverage test generation using symbolic execution. [Internet] [Masters thesis]. University of Texas – Austin; 2016. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/39064.

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

Council of Science Editors:

-0930-2473. Non-semantics-preserving transformations for higher-coverage test generation using symbolic execution. [Masters Thesis]. University of Texas – Austin; 2016. Available from: http://hdl.handle.net/2152/39064

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


University of Texas – Austin

13. Loyola, Jose Luis. Eksen : regression test selection for VHDL.

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

 Regression testing - running tests after a change - has become a critical component of software development, but as projects grow bigger it becomes a… (more)

Subjects/Keywords: Regression; Test; Selection; VHDL; RTS

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Loyola, J. L. (2018). Eksen : regression test selection for VHDL. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/63753

Chicago Manual of Style (16th Edition):

Loyola, Jose Luis. “Eksen : regression test selection for VHDL.” 2018. Masters Thesis, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/63753.

MLA Handbook (7th Edition):

Loyola, Jose Luis. “Eksen : regression test selection for VHDL.” 2018. Web. 22 Jan 2021.

Vancouver:

Loyola JL. Eksen : regression test selection for VHDL. [Internet] [Masters thesis]. University of Texas – Austin; 2018. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/63753.

Council of Science Editors:

Loyola JL. Eksen : regression test selection for VHDL. [Masters Thesis]. University of Texas – Austin; 2018. Available from: http://hdl.handle.net/2152/63753


University of Texas – Austin

14. Zhong, Hua, M.S.in Engineering. Pairwise-Korat : automated testing using Korat in an industrial setting.

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

 In this report, we present an algorithm for testing applications which takes structurally complex test inputs. The algorithm, Pairwise-Korat, adopts Korat  – an algorithm for… (more)

Subjects/Keywords: Korat; Software testing; Pairwise testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhong, Hua, M. S. i. E. (2015). Pairwise-Korat : automated testing using Korat in an industrial setting. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/32302

Chicago Manual of Style (16th Edition):

Zhong, Hua, M S in Engineering. “Pairwise-Korat : automated testing using Korat in an industrial setting.” 2015. Masters Thesis, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/32302.

MLA Handbook (7th Edition):

Zhong, Hua, M S in Engineering. “Pairwise-Korat : automated testing using Korat in an industrial setting.” 2015. Web. 22 Jan 2021.

Vancouver:

Zhong, Hua MSiE. Pairwise-Korat : automated testing using Korat in an industrial setting. [Internet] [Masters thesis]. University of Texas – Austin; 2015. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/32302.

Council of Science Editors:

Zhong, Hua MSiE. Pairwise-Korat : automated testing using Korat in an industrial setting. [Masters Thesis]. University of Texas – Austin; 2015. Available from: http://hdl.handle.net/2152/32302


University of Texas – Austin

15. Nagarajan, Sarvesh Velore. Automated test input generation and test execution for websites.

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

 This report presents a framework for automating test input generation, test execution and validation of websites. The framework leverages popular libraries available for the Java… (more)

Subjects/Keywords: Website testing; Java Pathfinder; JPF; jpf-nhandler; Selenium

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nagarajan, S. V. (2015). Automated test input generation and test execution for websites. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/34586

Chicago Manual of Style (16th Edition):

Nagarajan, Sarvesh Velore. “Automated test input generation and test execution for websites.” 2015. Masters Thesis, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/34586.

MLA Handbook (7th Edition):

Nagarajan, Sarvesh Velore. “Automated test input generation and test execution for websites.” 2015. Web. 22 Jan 2021.

Vancouver:

Nagarajan SV. Automated test input generation and test execution for websites. [Internet] [Masters thesis]. University of Texas – Austin; 2015. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/34586.

Council of Science Editors:

Nagarajan SV. Automated test input generation and test execution for websites. [Masters Thesis]. University of Texas – Austin; 2015. Available from: http://hdl.handle.net/2152/34586


University of Texas – Austin

16. 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 January 22, 2021. http://hdl.handle.net/2152/31865.

MLA Handbook (7th Edition):

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

Vancouver:

Wang K. MuAlloy : an automated mutation system for alloy. [Internet] [Masters thesis]. University of Texas – Austin; 2015. [cited 2021 Jan 22]. 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


University of Texas – Austin

17. Salling, Jackson Lee. Control flow graph visualization and its application to coverage and fault localization in Python.

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

 This report presents a software testing tool that creates visualizations of the Control Flow Graph (CFG) from Python source code. The CFG is a representation… (more)

Subjects/Keywords: Control flow graph; Coverage; Fault localization; Software testing; Visualization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Salling, J. L. (2015). Control flow graph visualization and its application to coverage and fault localization in Python. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/32311

Chicago Manual of Style (16th Edition):

Salling, Jackson Lee. “Control flow graph visualization and its application to coverage and fault localization in Python.” 2015. Masters Thesis, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/32311.

MLA Handbook (7th Edition):

Salling, Jackson Lee. “Control flow graph visualization and its application to coverage and fault localization in Python.” 2015. Web. 22 Jan 2021.

Vancouver:

Salling JL. Control flow graph visualization and its application to coverage and fault localization in Python. [Internet] [Masters thesis]. University of Texas – Austin; 2015. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/32311.

Council of Science Editors:

Salling JL. Control flow graph visualization and its application to coverage and fault localization in Python. [Masters Thesis]. University of Texas – Austin; 2015. Available from: http://hdl.handle.net/2152/32311


University of Texas – Austin

18. -4731-9372. Applying sequence-to-sequence RNN models to IR-based bug localization.

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

 Bug localization is the resource intensive process of finding bugs. A considerable amount of time, effort, and money could be saved if this process was… (more)

Subjects/Keywords: Sequence-to-sequence; Recurrent neural network; RNN; Bug localization; Fault localization; Software-fault localization; BLUiR

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

-4731-9372. (2016). Applying sequence-to-sequence RNN models to IR-based bug localization. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/43727

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

Chicago Manual of Style (16th Edition):

-4731-9372. “Applying sequence-to-sequence RNN models to IR-based bug localization.” 2016. Masters Thesis, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/43727.

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

MLA Handbook (7th Edition):

-4731-9372. “Applying sequence-to-sequence RNN models to IR-based bug localization.” 2016. Web. 22 Jan 2021.

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

Vancouver:

-4731-9372. Applying sequence-to-sequence RNN models to IR-based bug localization. [Internet] [Masters thesis]. University of Texas – Austin; 2016. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/43727.

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

Council of Science Editors:

-4731-9372. Applying sequence-to-sequence RNN models to IR-based bug localization. [Masters Thesis]. University of Texas – Austin; 2016. Available from: http://hdl.handle.net/2152/43727

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


University of Texas – Austin

19. Delgado, Inaqui Raynaud. A deterministic, nonintrusive utility for efficiently testing transient state restoration on Android applications.

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

 When a user interacts with an Android application, non-persistent data or transient state is created. Transient state may capture user input, data from resources on… (more)

Subjects/Keywords: Android; Transient state; Restoration; Testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Delgado, I. R. (2015). A deterministic, nonintrusive utility for efficiently testing transient state restoration on Android applications. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/32323

Chicago Manual of Style (16th Edition):

Delgado, Inaqui Raynaud. “A deterministic, nonintrusive utility for efficiently testing transient state restoration on Android applications.” 2015. Masters Thesis, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/32323.

MLA Handbook (7th Edition):

Delgado, Inaqui Raynaud. “A deterministic, nonintrusive utility for efficiently testing transient state restoration on Android applications.” 2015. Web. 22 Jan 2021.

Vancouver:

Delgado IR. A deterministic, nonintrusive utility for efficiently testing transient state restoration on Android applications. [Internet] [Masters thesis]. University of Texas – Austin; 2015. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/32323.

Council of Science Editors:

Delgado IR. A deterministic, nonintrusive utility for efficiently testing transient state restoration on Android applications. [Masters Thesis]. University of Texas – Austin; 2015. Available from: http://hdl.handle.net/2152/32323


University of Texas – Austin

20. Kim, Steve Seunghwan. Mocking embedded hardware for software validation.

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

 This report makes the case for unit testing embedded systems software, a procedure traditionally found in application software development. While the challenges of developing and… (more)

Subjects/Keywords: Mocking; Unit testing; Validation; Embedded systems; Embedded; Software

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kim, S. S. (2016). Mocking embedded hardware for software validation. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/43591

Chicago Manual of Style (16th Edition):

Kim, Steve Seunghwan. “Mocking embedded hardware for software validation.” 2016. Masters Thesis, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/43591.

MLA Handbook (7th Edition):

Kim, Steve Seunghwan. “Mocking embedded hardware for software validation.” 2016. Web. 22 Jan 2021.

Vancouver:

Kim SS. Mocking embedded hardware for software validation. [Internet] [Masters thesis]. University of Texas – Austin; 2016. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/43591.

Council of Science Editors:

Kim SS. Mocking embedded hardware for software validation. [Masters Thesis]. University of Texas – Austin; 2016. Available from: http://hdl.handle.net/2152/43591


University of Texas – Austin

21. 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 January 22, 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. 22 Jan 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 Jan 22]. 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

22. Sullivan, Allison. AUnit - a testing framework for alloy.

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

 Writing declarative models of software designs and analyzing them to detect defects is an effective methodology for developing more dependable software systems. However, writing such… (more)

Subjects/Keywords: Alloy; Declarative tests; Coverage; Test automaton framework; Unit tests; Declarative model; Partial instances; Declarative languages; Partial evaluations; SAT

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sullivan, A. (2014). AUnit - a testing framework for alloy. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/26426

Chicago Manual of Style (16th Edition):

Sullivan, Allison. “AUnit - a testing framework for alloy.” 2014. Masters Thesis, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/26426.

MLA Handbook (7th Edition):

Sullivan, Allison. “AUnit - a testing framework for alloy.” 2014. Web. 22 Jan 2021.

Vancouver:

Sullivan A. AUnit - a testing framework for alloy. [Internet] [Masters thesis]. University of Texas – Austin; 2014. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/26426.

Council of Science Editors:

Sullivan A. AUnit - a testing framework for alloy. [Masters Thesis]. University of Texas – Austin; 2014. Available from: http://hdl.handle.net/2152/26426

23. -0128-989X. Optimizing dynamic mesh colliders using search algorithms.

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

 Mesh colliders provide the basis for representing any non-standard geometry within a physics simulation. Collision detection on large meshes often relies on Bounding Volume Hierarchies… (more)

Subjects/Keywords: Collision detection; Mesh; Colliders; Dynamic terrain; Physics engine; Simulation; Graph search; Unity; Bullet

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

-0128-989X. (2018). Optimizing dynamic mesh colliders using search algorithms. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/65974

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

Chicago Manual of Style (16th Edition):

-0128-989X. “Optimizing dynamic mesh colliders using search algorithms.” 2018. Masters Thesis, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/65974.

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

MLA Handbook (7th Edition):

-0128-989X. “Optimizing dynamic mesh colliders using search algorithms.” 2018. Web. 22 Jan 2021.

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

Vancouver:

-0128-989X. Optimizing dynamic mesh colliders using search algorithms. [Internet] [Masters thesis]. University of Texas – Austin; 2018. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/65974.

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

Council of Science Editors:

-0128-989X. Optimizing dynamic mesh colliders using search algorithms. [Masters Thesis]. University of Texas – Austin; 2018. Available from: http://hdl.handle.net/2152/65974

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

24. Elkarablieh, Bassem H. Assertion-based repair of complex data structures.

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

 As software systems are growing in complexity and size, reliability becomes a major concern. A large degree of industrial and academic efforts for increasing software… (more)

Subjects/Keywords: Assertion-based repair; Error recovery; Data structure errors; Java programs; Symbolic execution

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Elkarablieh, B. H. (2009). Assertion-based repair of complex data structures. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/17374

Chicago Manual of Style (16th Edition):

Elkarablieh, Bassem H. “Assertion-based repair of complex data structures.” 2009. Doctoral Dissertation, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/17374.

MLA Handbook (7th Edition):

Elkarablieh, Bassem H. “Assertion-based repair of complex data structures.” 2009. Web. 22 Jan 2021.

Vancouver:

Elkarablieh BH. Assertion-based repair of complex data structures. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2009. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/17374.

Council of Science Editors:

Elkarablieh BH. Assertion-based repair of complex data structures. [Doctoral Dissertation]. University of Texas – Austin; 2009. Available from: http://hdl.handle.net/2152/17374

25. Yang, Guowei, active 2013. Enhancing symbolic execution using memoization and incremental techniques.

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

 The last few years have seen a resurgence of interest in the use of symbolic execution – program analysis technique developed more than three decades ago… (more)

Subjects/Keywords: Symbolic execution; Incremental analysis; Trie data structure; Constraint solving; Program differencing; Assertion differencing; Software evolution

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yang, Guowei, a. 2. (2013). Enhancing symbolic execution using memoization and incremental techniques. (Doctoral Dissertation). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/21259

Chicago Manual of Style (16th Edition):

Yang, Guowei, active 2013. “Enhancing symbolic execution using memoization and incremental techniques.” 2013. Doctoral Dissertation, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/21259.

MLA Handbook (7th Edition):

Yang, Guowei, active 2013. “Enhancing symbolic execution using memoization and incremental techniques.” 2013. Web. 22 Jan 2021.

Vancouver:

Yang, Guowei a2. Enhancing symbolic execution using memoization and incremental techniques. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2013. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/21259.

Council of Science Editors:

Yang, Guowei a2. Enhancing symbolic execution using memoization and incremental techniques. [Doctoral Dissertation]. University of Texas – Austin; 2013. Available from: http://hdl.handle.net/2152/21259

26. Shahzad, Khurram. Functional test automation framework for domain experts.

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

 Functional Test of any given system is used to verify that the top level system is performing according to the specifications and all of the… (more)

Subjects/Keywords: Functional test automation framework for domain experts; Test automation framework; System under test; Data acquisition; COTS; Automated test equipment; Sequence engine

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Shahzad, K. (2013). Functional test automation framework for domain experts. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/22602

Chicago Manual of Style (16th Edition):

Shahzad, Khurram. “Functional test automation framework for domain experts.” 2013. Masters Thesis, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/22602.

MLA Handbook (7th Edition):

Shahzad, Khurram. “Functional test automation framework for domain experts.” 2013. Web. 22 Jan 2021.

Vancouver:

Shahzad K. Functional test automation framework for domain experts. [Internet] [Masters thesis]. University of Texas – Austin; 2013. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/22602.

Council of Science Editors:

Shahzad K. Functional test automation framework for domain experts. [Masters Thesis]. University of Texas – Austin; 2013. Available from: http://hdl.handle.net/2152/22602

27. Dong, Shiyu. An empirical study of the influence of compiler optimizations on symbolic execution.

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

 Compiler optimizations in the context of traditional program execution is a well-studied research area, and modern compilers typically offer a suite of optimization options. This… (more)

Subjects/Keywords: Compiler optimization; Symbolic execution; KLEE; LLVM

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

Dong, S. (2014). An empirical study of the influence of compiler optimizations on symbolic execution. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/26000

Chicago Manual of Style (16th Edition):

Dong, Shiyu. “An empirical study of the influence of compiler optimizations on symbolic execution.” 2014. Masters Thesis, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/26000.

MLA Handbook (7th Edition):

Dong, Shiyu. “An empirical study of the influence of compiler optimizations on symbolic execution.” 2014. Web. 22 Jan 2021.

Vancouver:

Dong S. An empirical study of the influence of compiler optimizations on symbolic execution. [Internet] [Masters thesis]. University of Texas – Austin; 2014. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/26000.

Council of Science Editors:

Dong S. An empirical study of the influence of compiler optimizations on symbolic execution. [Masters Thesis]. University of Texas – Austin; 2014. Available from: http://hdl.handle.net/2152/26000

28. Demir, Oguz. Test-splitter : creating unit tests from system tests with different input combinations.

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

 In this thesis, an automated test generation technique for creating unit tests from system tests is presented. Our technique includes two main approaches, which are… (more)

Subjects/Keywords: Automated software testing; Automated test generation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Demir, O. (2018). Test-splitter : creating unit tests from system tests with different input combinations. (Masters Thesis). University of Texas – Austin. Retrieved from http://dx.doi.org/10.26153/tsw/2027

Chicago Manual of Style (16th Edition):

Demir, Oguz. “Test-splitter : creating unit tests from system tests with different input combinations.” 2018. Masters Thesis, University of Texas – Austin. Accessed January 22, 2021. http://dx.doi.org/10.26153/tsw/2027.

MLA Handbook (7th Edition):

Demir, Oguz. “Test-splitter : creating unit tests from system tests with different input combinations.” 2018. Web. 22 Jan 2021.

Vancouver:

Demir O. Test-splitter : creating unit tests from system tests with different input combinations. [Internet] [Masters thesis]. University of Texas – Austin; 2018. [cited 2021 Jan 22]. Available from: http://dx.doi.org/10.26153/tsw/2027.

Council of Science Editors:

Demir O. Test-splitter : creating unit tests from system tests with different input combinations. [Masters Thesis]. University of Texas – Austin; 2018. Available from: http://dx.doi.org/10.26153/tsw/2027

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

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 January 22, 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. 22 Jan 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 Jan 22]. 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

30. -8556-9930. Backward and parallel exploration techniques for Java PathFinder.

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

 Model checking software programs is an effective approach for finding bugs in program by systematically exploring the entire program's state space. One big issue with… (more)

Subjects/Keywords: Model checking; Java PathFinder; State exploration; Search strategy

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

-8556-9930. (2017). Backward and parallel exploration techniques for Java PathFinder. (Masters Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/61661

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

Chicago Manual of Style (16th Edition):

-8556-9930. “Backward and parallel exploration techniques for Java PathFinder.” 2017. Masters Thesis, University of Texas – Austin. Accessed January 22, 2021. http://hdl.handle.net/2152/61661.

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

MLA Handbook (7th Edition):

-8556-9930. “Backward and parallel exploration techniques for Java PathFinder.” 2017. Web. 22 Jan 2021.

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

Vancouver:

-8556-9930. Backward and parallel exploration techniques for Java PathFinder. [Internet] [Masters thesis]. University of Texas – Austin; 2017. [cited 2021 Jan 22]. Available from: http://hdl.handle.net/2152/61661.

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

Council of Science Editors:

-8556-9930. Backward and parallel exploration techniques for Java PathFinder. [Masters Thesis]. University of Texas – Austin; 2017. Available from: http://hdl.handle.net/2152/61661

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

[1] [2] [3]

.