Advanced search options

Advanced Search Options 🞨

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

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for subject:(Data Structure repair). Showing records 1 – 5 of 5 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


University of Texas – Austin

1. 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 December 07, 2019. http://hdl.handle.net/2152/26034.

MLA Handbook (7th Edition):

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

Vancouver:

Malik MZ. Combining data structure repair and program repair. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2014. [cited 2019 Dec 07]. 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


Virginia Tech

2. Zhang, Lu. Runtime Verification and Debugging of Concurrent Software.

Degree: PhD, Electrical and Computer Engineering, 2016, Virginia Tech

 Our reliance on software has been growing fast over the past decades as the pervasive use of computer and software penetrated not only our daily… (more)

Subjects/Keywords: Concurrency; Verification; Debugging; Program Repair; Quasi Linearizability; Concurrent Data Structure; Web Application; JavaScript

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhang, L. (2016). Runtime Verification and Debugging of Concurrent Software. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/71882

Chicago Manual of Style (16th Edition):

Zhang, Lu. “Runtime Verification and Debugging of Concurrent Software.” 2016. Doctoral Dissertation, Virginia Tech. Accessed December 07, 2019. http://hdl.handle.net/10919/71882.

MLA Handbook (7th Edition):

Zhang, Lu. “Runtime Verification and Debugging of Concurrent Software.” 2016. Web. 07 Dec 2019.

Vancouver:

Zhang L. Runtime Verification and Debugging of Concurrent Software. [Internet] [Doctoral dissertation]. Virginia Tech; 2016. [cited 2019 Dec 07]. Available from: http://hdl.handle.net/10919/71882.

Council of Science Editors:

Zhang L. Runtime Verification and Debugging of Concurrent Software. [Doctoral Dissertation]. Virginia Tech; 2016. Available from: http://hdl.handle.net/10919/71882


University of Texas – Austin

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

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

Chicago Manual of Style (16th Edition):

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

MLA Handbook (7th Edition):

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

Vancouver:

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

Council of Science Editors:

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


EPFL

4. Dashti Rahmat Abadi, Mohammad. Program Analysis and Compilation Techniques for Speeding up Transactional Database Workloads.

Degree: 2017, EPFL

 There is a trend towards increased specialization of data management software for performance reasons. The improved performance not only leads to a more efficient usage… (more)

Subjects/Keywords: transaction processing; program analysis; compilation techniques; transaction repair; generative programming; program optimization; functional programming; compiler; staging; data structure specialization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Dashti Rahmat Abadi, M. (2017). Program Analysis and Compilation Techniques for Speeding up Transactional Database Workloads. (Thesis). EPFL. Retrieved from http://infoscience.epfl.ch/record/231714

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

Dashti Rahmat Abadi, Mohammad. “Program Analysis and Compilation Techniques for Speeding up Transactional Database Workloads.” 2017. Thesis, EPFL. Accessed December 07, 2019. http://infoscience.epfl.ch/record/231714.

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

MLA Handbook (7th Edition):

Dashti Rahmat Abadi, Mohammad. “Program Analysis and Compilation Techniques for Speeding up Transactional Database Workloads.” 2017. Web. 07 Dec 2019.

Vancouver:

Dashti Rahmat Abadi M. Program Analysis and Compilation Techniques for Speeding up Transactional Database Workloads. [Internet] [Thesis]. EPFL; 2017. [cited 2019 Dec 07]. Available from: http://infoscience.epfl.ch/record/231714.

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

Council of Science Editors:

Dashti Rahmat Abadi M. Program Analysis and Compilation Techniques for Speeding up Transactional Database Workloads. [Thesis]. EPFL; 2017. Available from: http://infoscience.epfl.ch/record/231714

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

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

…tackle the scalability problem of data structure repair. This research advances our ability to… …Chapter 1. Introduction 1.1 Contract-Driven Data Structure Repair . . . . . . . . . . . . . 1.2… …Background: Basic Idea of Contract-Based Data Structure Repair Using Alloy… …1.3 Optimizations for Contract-Driven Data Structure Repair . . . 1.3.1 Program Execution… …History through Write and Read Barriers for Data Structure Repair… 

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 December 07, 2019. 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. 07 Dec 2019.

Vancouver:

Nokhbeh Zaeem R. Contract-driven data structure repair : a novel approach for error recovery. [Internet] [Doctoral dissertation]. University of Texas – Austin; 2014. [cited 2019 Dec 07]. 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

.