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:"Virginia Tech" +contributor:("Meng, Na"). Showing records 1 – 9 of 9 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Virginia Tech

1. Onder, Sait Tuna. A Cloud-Based Visual Simulation Environment for Traffic Networks.

Degree: MS, Computer Science, 2018, Virginia Tech

 Cloud-based Integrated Development Environments (IDEs) are highly complex systems compared to stand-alone IDEs that are installed on client devices. Today, the visual simulation environments developed… (more)

Subjects/Keywords: Cloud-based visual simulation; integrated development environment; modeling and simulation; web-based visual simulation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Onder, S. T. (2018). A Cloud-Based Visual Simulation Environment for Traffic Networks. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/83569

Chicago Manual of Style (16th Edition):

Onder, Sait Tuna. “A Cloud-Based Visual Simulation Environment for Traffic Networks.” 2018. Masters Thesis, Virginia Tech. Accessed October 15, 2019. http://hdl.handle.net/10919/83569.

MLA Handbook (7th Edition):

Onder, Sait Tuna. “A Cloud-Based Visual Simulation Environment for Traffic Networks.” 2018. Web. 15 Oct 2019.

Vancouver:

Onder ST. A Cloud-Based Visual Simulation Environment for Traffic Networks. [Internet] [Masters thesis]. Virginia Tech; 2018. [cited 2019 Oct 15]. Available from: http://hdl.handle.net/10919/83569.

Council of Science Editors:

Onder ST. A Cloud-Based Visual Simulation Environment for Traffic Networks. [Masters Thesis]. Virginia Tech; 2018. Available from: http://hdl.handle.net/10919/83569


Virginia Tech

2. Chen, Mengsu. How Reliable is the Crowdsourced Knowledge of Security Implementation?.

Degree: MS, Computer Science, 2018, Virginia Tech

 Stack Overflow (SO), the most popular question and answer platform for programmers today, has accumulated and continues accumulating tremendous question and answer posts since its… (more)

Subjects/Keywords: Stack Overflow; crowdsourced knowledge; social dynamics; security implementation; clone detection

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Chen, M. (2018). How Reliable is the Crowdsourced Knowledge of Security Implementation?. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/86885

Chicago Manual of Style (16th Edition):

Chen, Mengsu. “How Reliable is the Crowdsourced Knowledge of Security Implementation?.” 2018. Masters Thesis, Virginia Tech. Accessed October 15, 2019. http://hdl.handle.net/10919/86885.

MLA Handbook (7th Edition):

Chen, Mengsu. “How Reliable is the Crowdsourced Knowledge of Security Implementation?.” 2018. Web. 15 Oct 2019.

Vancouver:

Chen M. How Reliable is the Crowdsourced Knowledge of Security Implementation?. [Internet] [Masters thesis]. Virginia Tech; 2018. [cited 2019 Oct 15]. Available from: http://hdl.handle.net/10919/86885.

Council of Science Editors:

Chen M. How Reliable is the Crowdsourced Knowledge of Security Implementation?. [Masters Thesis]. Virginia Tech; 2018. Available from: http://hdl.handle.net/10919/86885


Virginia Tech

3. Khawas, Prapti Prakash. An Exploratory Study of the Remixing Practices in the Scratch Programming Community: Trends, Causalities, and Influences.

Degree: MS, Computer Science, 2019, Virginia Tech

 One of the greatest achievements of Scratch as an educational tool is the eager willingness of programmers to use existing projects as the starting point… (more)

Subjects/Keywords: Scratch; block-based programming; remixing; program analysis; code quality; introductory computing education

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Khawas, P. P. (2019). An Exploratory Study of the Remixing Practices in the Scratch Programming Community: Trends, Causalities, and Influences. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/89934

Chicago Manual of Style (16th Edition):

Khawas, Prapti Prakash. “An Exploratory Study of the Remixing Practices in the Scratch Programming Community: Trends, Causalities, and Influences.” 2019. Masters Thesis, Virginia Tech. Accessed October 15, 2019. http://hdl.handle.net/10919/89934.

MLA Handbook (7th Edition):

Khawas, Prapti Prakash. “An Exploratory Study of the Remixing Practices in the Scratch Programming Community: Trends, Causalities, and Influences.” 2019. Web. 15 Oct 2019.

Vancouver:

Khawas PP. An Exploratory Study of the Remixing Practices in the Scratch Programming Community: Trends, Causalities, and Influences. [Internet] [Masters thesis]. Virginia Tech; 2019. [cited 2019 Oct 15]. Available from: http://hdl.handle.net/10919/89934.

Council of Science Editors:

Khawas PP. An Exploratory Study of the Remixing Practices in the Scratch Programming Community: Trends, Causalities, and Influences. [Masters Thesis]. Virginia Tech; 2019. Available from: http://hdl.handle.net/10919/89934


Virginia Tech

4. Nachimuthu Nallasamy, Kanagaraj. Enhancing Fault Localization with Cost Awareness.

Degree: MS, Computer Science, 2019, Virginia Tech

 Debugging is a challenging and time-consuming process in software life-cycle. The focus of the thesis is to improve the accuracy of existing fault localization (FL)… (more)

Subjects/Keywords: fault localization; automated debugging; source code line features; cost-aware fault localization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nachimuthu Nallasamy, K. (2019). Enhancing Fault Localization with Cost Awareness. (Masters Thesis). Virginia Tech. Retrieved from http://hdl.handle.net/10919/90575

Chicago Manual of Style (16th Edition):

Nachimuthu Nallasamy, Kanagaraj. “Enhancing Fault Localization with Cost Awareness.” 2019. Masters Thesis, Virginia Tech. Accessed October 15, 2019. http://hdl.handle.net/10919/90575.

MLA Handbook (7th Edition):

Nachimuthu Nallasamy, Kanagaraj. “Enhancing Fault Localization with Cost Awareness.” 2019. Web. 15 Oct 2019.

Vancouver:

Nachimuthu Nallasamy K. Enhancing Fault Localization with Cost Awareness. [Internet] [Masters thesis]. Virginia Tech; 2019. [cited 2019 Oct 15]. Available from: http://hdl.handle.net/10919/90575.

Council of Science Editors:

Nachimuthu Nallasamy K. Enhancing Fault Localization with Cost Awareness. [Masters Thesis]. Virginia Tech; 2019. Available from: http://hdl.handle.net/10919/90575


Virginia Tech

5. Arango Argoty, Gustavo Alonso. Computational Tools for Annotating Antibiotic Resistance in Metagenomic Data.

Degree: PhD, Computer Science, 2019, Virginia Tech

 Metagenomics has become a reliable tool for the analysis of the microbial diversity and the molecular mechanisms carried out by microbial communities. By the use… (more)

Subjects/Keywords: bioinformatics; metagenomics; antibiotic resistance; machine learning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Arango Argoty, G. A. (2019). Computational Tools for Annotating Antibiotic Resistance in Metagenomic Data. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/88987

Chicago Manual of Style (16th Edition):

Arango Argoty, Gustavo Alonso. “Computational Tools for Annotating Antibiotic Resistance in Metagenomic Data.” 2019. Doctoral Dissertation, Virginia Tech. Accessed October 15, 2019. http://hdl.handle.net/10919/88987.

MLA Handbook (7th Edition):

Arango Argoty, Gustavo Alonso. “Computational Tools for Annotating Antibiotic Resistance in Metagenomic Data.” 2019. Web. 15 Oct 2019.

Vancouver:

Arango Argoty GA. Computational Tools for Annotating Antibiotic Resistance in Metagenomic Data. [Internet] [Doctoral dissertation]. Virginia Tech; 2019. [cited 2019 Oct 15]. Available from: http://hdl.handle.net/10919/88987.

Council of Science Editors:

Arango Argoty GA. Computational Tools for Annotating Antibiotic Resistance in Metagenomic Data. [Doctoral Dissertation]. Virginia Tech; 2019. Available from: http://hdl.handle.net/10919/88987


Virginia Tech

6. Seyam, Mohammed Saad. Multifaceted Approach for Teaching Mobile Software Development: Class Experiences With Lectures, Tutorials, and Pair Programming.

Degree: PhD, Computer Science, 2017, Virginia Tech

 The currently mainstream mobile application development became part of several programming classes, and courses are being developed focused on mobile app development. There are fundamental… (more)

Subjects/Keywords: Pair Programming; Computer Science Education; Mobile Software Development

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Seyam, M. S. (2017). Multifaceted Approach for Teaching Mobile Software Development: Class Experiences With Lectures, Tutorials, and Pair Programming. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/85330

Chicago Manual of Style (16th Edition):

Seyam, Mohammed Saad. “Multifaceted Approach for Teaching Mobile Software Development: Class Experiences With Lectures, Tutorials, and Pair Programming.” 2017. Doctoral Dissertation, Virginia Tech. Accessed October 15, 2019. http://hdl.handle.net/10919/85330.

MLA Handbook (7th Edition):

Seyam, Mohammed Saad. “Multifaceted Approach for Teaching Mobile Software Development: Class Experiences With Lectures, Tutorials, and Pair Programming.” 2017. Web. 15 Oct 2019.

Vancouver:

Seyam MS. Multifaceted Approach for Teaching Mobile Software Development: Class Experiences With Lectures, Tutorials, and Pair Programming. [Internet] [Doctoral dissertation]. Virginia Tech; 2017. [cited 2019 Oct 15]. Available from: http://hdl.handle.net/10919/85330.

Council of Science Editors:

Seyam MS. Multifaceted Approach for Teaching Mobile Software Development: Class Experiences With Lectures, Tutorials, and Pair Programming. [Doctoral Dissertation]. Virginia Tech; 2017. Available from: http://hdl.handle.net/10919/85330


Virginia Tech

7. Guo, Shengjian. Efficient Symbolic Execution of Concurrent Software.

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

 Concurrent software has been widely utilizing in computer systems owing to the highly efficient computation. However, testing and verifying concurrent software remain challenging tasks. This… (more)

Subjects/Keywords: Symbolic Execution; Concurrency; Predicate summary; Change impact analysis; Programmable logic controller; Side-channel leak

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Guo, S. (2019). Efficient Symbolic Execution of Concurrent Software. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/89223

Chicago Manual of Style (16th Edition):

Guo, Shengjian. “Efficient Symbolic Execution of Concurrent Software.” 2019. Doctoral Dissertation, Virginia Tech. Accessed October 15, 2019. http://hdl.handle.net/10919/89223.

MLA Handbook (7th Edition):

Guo, Shengjian. “Efficient Symbolic Execution of Concurrent Software.” 2019. Web. 15 Oct 2019.

Vancouver:

Guo S. Efficient Symbolic Execution of Concurrent Software. [Internet] [Doctoral dissertation]. Virginia Tech; 2019. [cited 2019 Oct 15]. Available from: http://hdl.handle.net/10919/89223.

Council of Science Editors:

Guo S. Efficient Symbolic Execution of Concurrent Software. [Doctoral Dissertation]. Virginia Tech; 2019. Available from: http://hdl.handle.net/10919/89223


Virginia Tech

8. Wu, Meng. Analysis and Enforcement of Properties in Software Systems.

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

 Due to the lack of effective techniques for detecting and mitigating property violations, existing approaches to ensure the safety and security of software systems are… (more)

Subjects/Keywords: Shield Synthesis; Program Analysis; Timing Side Channel; Cache Timing Leak; Speculative Execution; Abstract Interpretation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Wu, M. (2019). Analysis and Enforcement of Properties in Software Systems. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/90887

Chicago Manual of Style (16th Edition):

Wu, Meng. “Analysis and Enforcement of Properties in Software Systems.” 2019. Doctoral Dissertation, Virginia Tech. Accessed October 15, 2019. http://hdl.handle.net/10919/90887.

MLA Handbook (7th Edition):

Wu, Meng. “Analysis and Enforcement of Properties in Software Systems.” 2019. Web. 15 Oct 2019.

Vancouver:

Wu M. Analysis and Enforcement of Properties in Software Systems. [Internet] [Doctoral dissertation]. Virginia Tech; 2019. [cited 2019 Oct 15]. Available from: http://hdl.handle.net/10919/90887.

Council of Science Editors:

Wu M. Analysis and Enforcement of Properties in Software Systems. [Doctoral Dissertation]. Virginia Tech; 2019. Available from: http://hdl.handle.net/10919/90887

9. Tian, Ke. Learning-based Cyber Security Analysis and Binary Customization for Security.

Degree: PhD, Computer Science, 2018, Virginia Tech

 This thesis presents machine-learning based malware detection and post-detection rewriting techniques for mobile and web security problems. In mobile malware detection, we focus on detecting… (more)

Subjects/Keywords: mobile security; web security; machine learning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tian, K. (2018). Learning-based Cyber Security Analysis and Binary Customization for Security. (Doctoral Dissertation). Virginia Tech. Retrieved from http://hdl.handle.net/10919/85013

Chicago Manual of Style (16th Edition):

Tian, Ke. “Learning-based Cyber Security Analysis and Binary Customization for Security.” 2018. Doctoral Dissertation, Virginia Tech. Accessed October 15, 2019. http://hdl.handle.net/10919/85013.

MLA Handbook (7th Edition):

Tian, Ke. “Learning-based Cyber Security Analysis and Binary Customization for Security.” 2018. Web. 15 Oct 2019.

Vancouver:

Tian K. Learning-based Cyber Security Analysis and Binary Customization for Security. [Internet] [Doctoral dissertation]. Virginia Tech; 2018. [cited 2019 Oct 15]. Available from: http://hdl.handle.net/10919/85013.

Council of Science Editors:

Tian K. Learning-based Cyber Security Analysis and Binary Customization for Security. [Doctoral Dissertation]. Virginia Tech; 2018. Available from: http://hdl.handle.net/10919/85013

.