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 82 total matches.

[1] [2] [3]

Search Limiters

Last 2 Years | English Only

▼ Search Limiters


University of Texas – Austin

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

Degree: 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. (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
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

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

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

MLA Handbook (7th Edition):

-0128-989X. “Optimizing dynamic mesh colliders using search algorithms.” 2018. Web. 18 Mar 2019.

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] [Thesis]. University of Texas – Austin; 2018. [cited 2019 Mar 18]. 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
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

-0128-989X. Optimizing dynamic mesh colliders using search algorithms. [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
Not specified: Masters Thesis or Doctoral Dissertation


University of Texas – Austin

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

Degree: 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. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/65976

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

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

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

MLA Handbook (7th Edition):

Ren, Yuanrui. “A visualization tool for recursive linked structures generated by Korat.” 2018. Web. 18 Mar 2019.

Vancouver:

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

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

Council of Science Editors:

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

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


University of Texas – Austin

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

Degree: 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. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/26034

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

Malik, Muhammad Zubair. “Combining data structure repair and program repair.” 2014. Thesis, University of Texas – Austin. Accessed March 18, 2019. http://hdl.handle.net/2152/26034.

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

MLA Handbook (7th Edition):

Malik, Muhammad Zubair. “Combining data structure repair and program repair.” 2014. Web. 18 Mar 2019.

Vancouver:

Malik MZ. Combining data structure repair and program repair. [Internet] [Thesis]. University of Texas – Austin; 2014. [cited 2019 Mar 18]. Available from: http://hdl.handle.net/2152/26034.

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

Council of Science Editors:

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

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


University of Texas – Austin

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

Degree: 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. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/26348

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

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

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

MLA Handbook (7th Edition):

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

Vancouver:

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

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

Council of Science Editors:

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

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


University of Texas – Austin

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

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

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. (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
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

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

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

MLA Handbook (7th Edition):

-8556-9930. “Backward and parallel exploration techniques for Java PathFinder.” 2017. Web. 18 Mar 2019.

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] [Thesis]. University of Texas – Austin; 2017. [cited 2019 Mar 18]. 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
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

-8556-9930. Backward and parallel exploration techniques for Java PathFinder. [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
Not specified: Masters Thesis or Doctoral Dissertation


University of Texas – Austin

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

Degree: 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. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/25055

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

Zhang, Lingming. “Unifying regression testing with mutation testing.” 2014. Thesis, University of Texas – Austin. Accessed March 18, 2019. http://hdl.handle.net/2152/25055.

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

MLA Handbook (7th Edition):

Zhang, Lingming. “Unifying regression testing with mutation testing.” 2014. Web. 18 Mar 2019.

Vancouver:

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

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

Council of Science Editors:

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

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


University of Texas – Austin

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

Degree: Computational Science, Engineering, and Mathematics, 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. (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
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

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

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

MLA Handbook (7th Edition):

-0663-0586. “Compression of a context-based marshalling methodology in Java.” 2016. Web. 18 Mar 2019.

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] [Thesis]. University of Texas – Austin; 2016. [cited 2019 Mar 18]. 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
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

-0663-0586. Compression of a context-based marshalling methodology in Java. [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
Not specified: Masters Thesis or Doctoral Dissertation


University of Texas – Austin

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

Degree: 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. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/45631

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

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

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

MLA Handbook (7th Edition):

Longoria, Jason Andrew. “Prioritizing security regression test cases using threat models.” 2016. Web. 18 Mar 2019.

Vancouver:

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

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

Council of Science Editors:

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

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


University of Texas – Austin

9. Zabava, Bruce A. Removable media software engineering.

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

 This report focuses on software solutions that are fully contained on CD, DVD, or USB storage devices. When the removable media is selected as the… (more)

Subjects/Keywords: USB; CD; DVD

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zabava, B. A. (2010). Removable media software engineering. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/10219

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

Zabava, Bruce A. “Removable media software engineering.” 2010. Thesis, University of Texas – Austin. Accessed March 18, 2019. http://hdl.handle.net/2152/10219.

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

MLA Handbook (7th Edition):

Zabava, Bruce A. “Removable media software engineering.” 2010. Web. 18 Mar 2019.

Vancouver:

Zabava BA. Removable media software engineering. [Internet] [Thesis]. University of Texas – Austin; 2010. [cited 2019 Mar 18]. Available from: http://hdl.handle.net/2152/10219.

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

Council of Science Editors:

Zabava BA. Removable media software engineering. [Thesis]. University of Texas – Austin; 2010. Available from: http://hdl.handle.net/2152/10219

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


University of Texas – Austin

10. Vasic, Marko. CRN++ : molecular programming language.

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

 Synthetic biology is a rapidly emerging research area, with expected wide-ranging impact in biology, nanofabrication, and medicine. A key technical challenge lies in embedding computation… (more)

Subjects/Keywords: Molecular programming; Imperative programming; Synthetic biology; Chemical reactions; CRN++

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Vasic, M. (2018). CRN++ : molecular programming language. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/68230

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

Vasic, Marko. “CRN++ : molecular programming language.” 2018. Thesis, University of Texas – Austin. Accessed March 18, 2019. http://hdl.handle.net/2152/68230.

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

MLA Handbook (7th Edition):

Vasic, Marko. “CRN++ : molecular programming language.” 2018. Web. 18 Mar 2019.

Vancouver:

Vasic M. CRN++ : molecular programming language. [Internet] [Thesis]. University of Texas – Austin; 2018. [cited 2019 Mar 18]. Available from: http://hdl.handle.net/2152/68230.

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

Council of Science Editors:

Vasic M. CRN++ : molecular programming language. [Thesis]. University of Texas – Austin; 2018. Available from: http://hdl.handle.net/2152/68230

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


University of Texas – Austin

11. Fiduk, Kenneth Walter, 1980-. What can the .NET RDBMS developer do? A brief survey of impedance mismatch solutions for the .NET developer.

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

 Nearly all modern software applications, from the simplest website user account system to the most complex, enterprise-level, completely-integrated infrastructure, utilize some sort of backend data… (more)

Subjects/Keywords: Software development; Impedance mismatch; RDBMS; ORM; ODBMS; .NET

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Fiduk, Kenneth Walter, 1. (2009). What can the .NET RDBMS developer do? A brief survey of impedance mismatch solutions for the .NET developer. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2009-12-540

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

Fiduk, Kenneth Walter, 1980-. “What can the .NET RDBMS developer do? A brief survey of impedance mismatch solutions for the .NET developer.” 2009. Thesis, University of Texas – Austin. Accessed March 18, 2019. http://hdl.handle.net/2152/ETD-UT-2009-12-540.

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

MLA Handbook (7th Edition):

Fiduk, Kenneth Walter, 1980-. “What can the .NET RDBMS developer do? A brief survey of impedance mismatch solutions for the .NET developer.” 2009. Web. 18 Mar 2019.

Vancouver:

Fiduk, Kenneth Walter 1. What can the .NET RDBMS developer do? A brief survey of impedance mismatch solutions for the .NET developer. [Internet] [Thesis]. University of Texas – Austin; 2009. [cited 2019 Mar 18]. Available from: http://hdl.handle.net/2152/ETD-UT-2009-12-540.

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

Council of Science Editors:

Fiduk, Kenneth Walter 1. What can the .NET RDBMS developer do? A brief survey of impedance mismatch solutions for the .NET developer. [Thesis]. University of Texas – Austin; 2009. Available from: http://hdl.handle.net/2152/ETD-UT-2009-12-540

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


University of Texas – Austin

12. Narayanan, Vidya Priyadarshini. Milao : a novel framework for mixed imperative and declarative formulation and solving of structural constraints.

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

 Advances in constraint solving and increases in processing power have enabled new approaches for automating specification-based testing. However, writing specifications and scaling techniques that utilize… (more)

Subjects/Keywords: Specification-based testing; Constraint solving

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Narayanan, V. P. (2009). Milao : a novel framework for mixed imperative and declarative formulation and solving of structural constraints. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2009-12-700

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

Narayanan, Vidya Priyadarshini. “Milao : a novel framework for mixed imperative and declarative formulation and solving of structural constraints.” 2009. Thesis, University of Texas – Austin. Accessed March 18, 2019. http://hdl.handle.net/2152/ETD-UT-2009-12-700.

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

MLA Handbook (7th Edition):

Narayanan, Vidya Priyadarshini. “Milao : a novel framework for mixed imperative and declarative formulation and solving of structural constraints.” 2009. Web. 18 Mar 2019.

Vancouver:

Narayanan VP. Milao : a novel framework for mixed imperative and declarative formulation and solving of structural constraints. [Internet] [Thesis]. University of Texas – Austin; 2009. [cited 2019 Mar 18]. Available from: http://hdl.handle.net/2152/ETD-UT-2009-12-700.

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

Council of Science Editors:

Narayanan VP. Milao : a novel framework for mixed imperative and declarative formulation and solving of structural constraints. [Thesis]. University of Texas – Austin; 2009. Available from: http://hdl.handle.net/2152/ETD-UT-2009-12-700

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


University of Texas – Austin

13. Nokhbeh Zaeem, Razieh. Contract-based data structure repair using alloy.

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

 Contracts and specifications have long been used in object-oriented design, programming and testing to enhance reliability before software deployment. However, the use of specifications in… (more)

Subjects/Keywords: Data structure repair; Programming by contract; Specifications; Alloy

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nokhbeh Zaeem, R. (2010). Contract-based data structure repair using alloy. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2010-05-1055

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

Nokhbeh Zaeem, Razieh. “Contract-based data structure repair using alloy.” 2010. Thesis, University of Texas – Austin. Accessed March 18, 2019. http://hdl.handle.net/2152/ETD-UT-2010-05-1055.

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

MLA Handbook (7th Edition):

Nokhbeh Zaeem, Razieh. “Contract-based data structure repair using alloy.” 2010. Web. 18 Mar 2019.

Vancouver:

Nokhbeh Zaeem R. Contract-based data structure repair using alloy. [Internet] [Thesis]. University of Texas – Austin; 2010. [cited 2019 Mar 18]. Available from: http://hdl.handle.net/2152/ETD-UT-2010-05-1055.

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

Council of Science Editors:

Nokhbeh Zaeem R. Contract-based data structure repair using alloy. [Thesis]. University of Texas – Austin; 2010. Available from: http://hdl.handle.net/2152/ETD-UT-2010-05-1055

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


University of Texas – Austin

14. Phuc, Nguyen Vinh, 1955-. The application of machine learning methods in software verification and validation.

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

 Machine learning methods have been employed in data mining to discover useful, valid, and beneficial patterns for various applications of which, the domain encompasses areas… (more)

Subjects/Keywords: Machine learning; Software verification; Software validation; Algorithm; Decision tree; Category-partitioning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Phuc, Nguyen Vinh, 1. (2010). The application of machine learning methods in software verification and validation. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2010-08-1605

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

Phuc, Nguyen Vinh, 1955-. “The application of machine learning methods in software verification and validation.” 2010. Thesis, University of Texas – Austin. Accessed March 18, 2019. http://hdl.handle.net/2152/ETD-UT-2010-08-1605.

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

MLA Handbook (7th Edition):

Phuc, Nguyen Vinh, 1955-. “The application of machine learning methods in software verification and validation.” 2010. Web. 18 Mar 2019.

Vancouver:

Phuc, Nguyen Vinh 1. The application of machine learning methods in software verification and validation. [Internet] [Thesis]. University of Texas – Austin; 2010. [cited 2019 Mar 18]. Available from: http://hdl.handle.net/2152/ETD-UT-2010-08-1605.

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

Council of Science Editors:

Phuc, Nguyen Vinh 1. The application of machine learning methods in software verification and validation. [Thesis]. University of Texas – Austin; 2010. Available from: http://hdl.handle.net/2152/ETD-UT-2010-08-1605

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


University of Texas – Austin

15. Michel, Larry Ashley. A phone application to provide advanced remote control functionality to an embedded systems product.

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

 With the increasing popularity of phone application development, a number of features have surfaced that enable users to utilize extended functionalities with their phone. With… (more)

Subjects/Keywords: iPhone; Embedded systems; Tennis ball machine; Tennis Tutor ball machine; Remote control; Interface; Technological advances; Functionalities

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Michel, L. A. (2010). A phone application to provide advanced remote control functionality to an embedded systems product. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2010-08-2026

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

Michel, Larry Ashley. “A phone application to provide advanced remote control functionality to an embedded systems product.” 2010. Thesis, University of Texas – Austin. Accessed March 18, 2019. http://hdl.handle.net/2152/ETD-UT-2010-08-2026.

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

MLA Handbook (7th Edition):

Michel, Larry Ashley. “A phone application to provide advanced remote control functionality to an embedded systems product.” 2010. Web. 18 Mar 2019.

Vancouver:

Michel LA. A phone application to provide advanced remote control functionality to an embedded systems product. [Internet] [Thesis]. University of Texas – Austin; 2010. [cited 2019 Mar 18]. Available from: http://hdl.handle.net/2152/ETD-UT-2010-08-2026.

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

Council of Science Editors:

Michel LA. A phone application to provide advanced remote control functionality to an embedded systems product. [Thesis]. University of Texas – Austin; 2010. Available from: http://hdl.handle.net/2152/ETD-UT-2010-08-2026

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


University of Texas – Austin

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

Degree: 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. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/31865

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

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

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

MLA Handbook (7th Edition):

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

Vancouver:

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

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

Council of Science Editors:

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

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


University of Texas – Austin

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

Degree: 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. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/34586

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

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

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

MLA Handbook (7th Edition):

Nagarajan, Sarvesh Velore. “Automated test input generation and test execution for websites.” 2015. Web. 18 Mar 2019.

Vancouver:

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

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

Council of Science Editors:

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

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


University of Texas – Austin

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

Degree: 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. (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
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

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

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

MLA Handbook (7th Edition):

-2917-0826. “A case study of continuous delivery of a mobile application.” 2015. Web. 18 Mar 2019.

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] [Thesis]. University of Texas – Austin; 2015. [cited 2019 Mar 18]. 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
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

-2917-0826. A case study of continuous delivery of a mobile application. [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
Not specified: Masters Thesis or Doctoral Dissertation


University of Texas – Austin

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

Degree: 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. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/38682

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

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

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

MLA Handbook (7th Edition):

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

Vancouver:

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

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

Council of Science Editors:

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

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


University of Texas – Austin

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

Degree: 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. (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
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

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

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

MLA Handbook (7th Edition):

-0930-2473. “Non-semantics-preserving transformations for higher-coverage test generation using symbolic execution.” 2016. Web. 18 Mar 2019.

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] [Thesis]. University of Texas – Austin; 2016. [cited 2019 Mar 18]. 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
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

-0930-2473. Non-semantics-preserving transformations for higher-coverage test generation using symbolic execution. [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
Not specified: Masters Thesis or Doctoral Dissertation


University of Texas – Austin

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

Degree: 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. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/ETD-UT-2011-08-4335

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

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

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

MLA Handbook (7th Edition):

Bushmais, Abraham H. “Graph based unit testing.” 2011. Web. 18 Mar 2019.

Vancouver:

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

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

Council of Science Editors:

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

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


University of Texas – Austin

22. Mullapudi, Subhash Venkat. Distributed deep neural networks.

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

 Deep neural networks have become popular for solving machine learning problems in the field of computer vision. Although computers have reached parity in the task… (more)

Subjects/Keywords: Distributed; Deep neural networks; Stochastic gradient descent; SGD; Artificial neural networks; ANN; DNN

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Mullapudi, S. V. (2017). Distributed deep neural networks. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/63752

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

Mullapudi, Subhash Venkat. “Distributed deep neural networks.” 2017. Thesis, University of Texas – Austin. Accessed March 18, 2019. http://hdl.handle.net/2152/63752.

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

MLA Handbook (7th Edition):

Mullapudi, Subhash Venkat. “Distributed deep neural networks.” 2017. Web. 18 Mar 2019.

Vancouver:

Mullapudi SV. Distributed deep neural networks. [Internet] [Thesis]. University of Texas – Austin; 2017. [cited 2019 Mar 18]. Available from: http://hdl.handle.net/2152/63752.

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

Council of Science Editors:

Mullapudi SV. Distributed deep neural networks. [Thesis]. University of Texas – Austin; 2017. Available from: http://hdl.handle.net/2152/63752

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


University of Texas – Austin

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

Degree: 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. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/63753

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

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

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

MLA Handbook (7th Edition):

Loyola, Jose Luis. “Eksen : regression test selection for VHDL.” 2018. Web. 18 Mar 2019.

Vancouver:

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

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

Council of Science Editors:

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

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


University of Texas – Austin

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

Degree: 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. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/43591

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

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

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

MLA Handbook (7th Edition):

Kim, Steve Seunghwan. “Mocking embedded hardware for software validation.” 2016. Web. 18 Mar 2019.

Vancouver:

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

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

Council of Science Editors:

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

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


University of Texas – Austin

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

Degree: 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. (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
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

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

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

MLA Handbook (7th Edition):

-4731-9372. “Applying sequence-to-sequence RNN models to IR-based bug localization.” 2016. Web. 18 Mar 2019.

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] [Thesis]. University of Texas – Austin; 2016. [cited 2019 Mar 18]. 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
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

-4731-9372. Applying sequence-to-sequence RNN models to IR-based bug localization. [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
Not specified: Masters Thesis or Doctoral Dissertation


University of Texas – Austin

26. -5365-808X. An experimental evaluation and possible extensions of SyPet.

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

 Program synthesis is an automated programming technique that automatically constructs a program which satisfies given specifications. SyPet is a recently published novel component-based synthesis tool… (more)

Subjects/Keywords: Program synthesis; Program repair

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

-5365-808X. (2017). An experimental evaluation and possible extensions of SyPet. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/62665

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

Chicago Manual of Style (16th Edition):

-5365-808X. “An experimental evaluation and possible extensions of SyPet.” 2017. Thesis, University of Texas – Austin. Accessed March 18, 2019. http://hdl.handle.net/2152/62665.

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

MLA Handbook (7th Edition):

-5365-808X. “An experimental evaluation and possible extensions of SyPet.” 2017. Web. 18 Mar 2019.

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

Vancouver:

-5365-808X. An experimental evaluation and possible extensions of SyPet. [Internet] [Thesis]. University of Texas – Austin; 2017. [cited 2019 Mar 18]. Available from: http://hdl.handle.net/2152/62665.

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

Council of Science Editors:

-5365-808X. An experimental evaluation and possible extensions of SyPet. [Thesis]. University of Texas – Austin; 2017. Available from: http://hdl.handle.net/2152/62665

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


University of Texas – Austin

27. Yelen, Cagdas. Backward-Korat : improving Korat search to enable backward input space exploration.

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

 Automated test input generation plays an important role in increasing software quality. Exhaustively testing a program for all test inputs within a given bound helps… (more)

Subjects/Keywords: Korat; Software testing; Korat search; Test generation; Data structure repair; Imperative predicate; Repok; Automated testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yelen, C. (2017). Backward-Korat : improving Korat search to enable backward input space exploration. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/62906

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

Yelen, Cagdas. “Backward-Korat : improving Korat search to enable backward input space exploration.” 2017. Thesis, University of Texas – Austin. Accessed March 18, 2019. http://hdl.handle.net/2152/62906.

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

MLA Handbook (7th Edition):

Yelen, Cagdas. “Backward-Korat : improving Korat search to enable backward input space exploration.” 2017. Web. 18 Mar 2019.

Vancouver:

Yelen C. Backward-Korat : improving Korat search to enable backward input space exploration. [Internet] [Thesis]. University of Texas – Austin; 2017. [cited 2019 Mar 18]. Available from: http://hdl.handle.net/2152/62906.

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

Council of Science Editors:

Yelen C. Backward-Korat : improving Korat search to enable backward input space exploration. [Thesis]. University of Texas – Austin; 2017. Available from: http://hdl.handle.net/2152/62906

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


University of Texas – Austin

28. Alrmaih, Zakaria. Korat-API : an API for building constraint solving problems for Korat.

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

 This thesis introduces the foundation of an API for building constraint solving problems for the Korat solver for imperative predicates. Our goal is two-fold: (1)… (more)

Subjects/Keywords: Korat API; Constraint solving problem

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Alrmaih, Z. (2017). Korat-API : an API for building constraint solving problems for Korat. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/62908

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

Alrmaih, Zakaria. “Korat-API : an API for building constraint solving problems for Korat.” 2017. Thesis, University of Texas – Austin. Accessed March 18, 2019. http://hdl.handle.net/2152/62908.

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

MLA Handbook (7th Edition):

Alrmaih, Zakaria. “Korat-API : an API for building constraint solving problems for Korat.” 2017. Web. 18 Mar 2019.

Vancouver:

Alrmaih Z. Korat-API : an API for building constraint solving problems for Korat. [Internet] [Thesis]. University of Texas – Austin; 2017. [cited 2019 Mar 18]. Available from: http://hdl.handle.net/2152/62908.

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

Council of Science Editors:

Alrmaih Z. Korat-API : an API for building constraint solving problems for Korat. [Thesis]. University of Texas – Austin; 2017. Available from: http://hdl.handle.net/2152/62908

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


University of Texas – Austin

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

Degree: 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. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/32302

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

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

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

MLA Handbook (7th Edition):

Zhong, Hua, M S in Engineering. “Pairwise-Korat : automated testing using Korat in an industrial setting.” 2015. Web. 18 Mar 2019.

Vancouver:

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

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

Council of Science Editors:

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

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


University of Texas – Austin

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

Degree: 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. (Thesis). University of Texas – Austin. Retrieved from http://hdl.handle.net/2152/32311

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

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

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

MLA Handbook (7th Edition):

Salling, Jackson Lee. “Control flow graph visualization and its application to coverage and fault localization in Python.” 2015. Web. 18 Mar 2019.

Vancouver:

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

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

Council of Science Editors:

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

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

[1] [2] [3]

.