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:"Georgia Tech" +contributor:("Orso, Alessandro"). Showing records 1 – 18 of 18 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Georgia Tech

1. Kulkarni, Sulekha Raghavendra. Accelerating program analyses by cross-program training.

Degree: MS, Computer Science, 2016, Georgia Tech

 Practical programs share large modules of code. However, many program analyses are ineffective at reusing analysis results for shared code across programs. We present POLYMER,… (more)

Subjects/Keywords: Program analysis; Optimization; Datalog

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kulkarni, S. R. (2016). Accelerating program analyses by cross-program training. (Masters Thesis). Georgia Tech. Retrieved from http://hdl.handle.net/1853/56359

Chicago Manual of Style (16th Edition):

Kulkarni, Sulekha Raghavendra. “Accelerating program analyses by cross-program training.” 2016. Masters Thesis, Georgia Tech. Accessed July 23, 2019. http://hdl.handle.net/1853/56359.

MLA Handbook (7th Edition):

Kulkarni, Sulekha Raghavendra. “Accelerating program analyses by cross-program training.” 2016. Web. 23 Jul 2019.

Vancouver:

Kulkarni SR. Accelerating program analyses by cross-program training. [Internet] [Masters thesis]. Georgia Tech; 2016. [cited 2019 Jul 23]. Available from: http://hdl.handle.net/1853/56359.

Council of Science Editors:

Kulkarni SR. Accelerating program analyses by cross-program training. [Masters Thesis]. Georgia Tech; 2016. Available from: http://hdl.handle.net/1853/56359


Georgia Tech

2. Lee, Byoungyoung. Protecting computer systems through eliminating or analyzing vulnerabilities.

Degree: PhD, Computer Science, 2016, Georgia Tech

 There have been tremendous efforts to build fully secure computer systems, but it is not an easy goal. Making a simple mistake introduces a vulnerability,… (more)

Subjects/Keywords: Security; Vulnerability; Use after free; Bad casting; Timing channel

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lee, B. (2016). Protecting computer systems through eliminating or analyzing vulnerabilities. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/58603

Chicago Manual of Style (16th Edition):

Lee, Byoungyoung. “Protecting computer systems through eliminating or analyzing vulnerabilities.” 2016. Doctoral Dissertation, Georgia Tech. Accessed July 23, 2019. http://hdl.handle.net/1853/58603.

MLA Handbook (7th Edition):

Lee, Byoungyoung. “Protecting computer systems through eliminating or analyzing vulnerabilities.” 2016. Web. 23 Jul 2019.

Vancouver:

Lee B. Protecting computer systems through eliminating or analyzing vulnerabilities. [Internet] [Doctoral dissertation]. Georgia Tech; 2016. [cited 2019 Jul 23]. Available from: http://hdl.handle.net/1853/58603.

Council of Science Editors:

Lee B. Protecting computer systems through eliminating or analyzing vulnerabilities. [Doctoral Dissertation]. Georgia Tech; 2016. Available from: http://hdl.handle.net/1853/58603


Georgia Tech

3. Lee, Sangho. Mitigating the performance impact of memory bloat.

Degree: PhD, Computer Science, 2015, Georgia Tech

 Memory bloat is loosely defined as an excessive memory usage by an application during its execution. Due to the complexity of efficient memory management that… (more)

Subjects/Keywords: Memory bloat; optimization

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lee, S. (2015). Mitigating the performance impact of memory bloat. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/56174

Chicago Manual of Style (16th Edition):

Lee, Sangho. “Mitigating the performance impact of memory bloat.” 2015. Doctoral Dissertation, Georgia Tech. Accessed July 23, 2019. http://hdl.handle.net/1853/56174.

MLA Handbook (7th Edition):

Lee, Sangho. “Mitigating the performance impact of memory bloat.” 2015. Web. 23 Jul 2019.

Vancouver:

Lee S. Mitigating the performance impact of memory bloat. [Internet] [Doctoral dissertation]. Georgia Tech; 2015. [cited 2019 Jul 23]. Available from: http://hdl.handle.net/1853/56174.

Council of Science Editors:

Lee S. Mitigating the performance impact of memory bloat. [Doctoral Dissertation]. Georgia Tech; 2015. Available from: http://hdl.handle.net/1853/56174


Georgia Tech

4. Halfond, William G. J. Program analysis to support quality assurance techniques for web applications.

Degree: PhD, Computing, 2010, Georgia Tech

 As web applications occupy an increasingly important role in the day-to-day lives of millions of people, testing and analysis techniques that ensure that these applications… (more)

Subjects/Keywords: Software engineering; Program analysis; Web applications; Web sites; HTTP (Computer network protocol); Quality assurance; Computer programs Testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Halfond, W. G. J. (2010). Program analysis to support quality assurance techniques for web applications. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/33930

Chicago Manual of Style (16th Edition):

Halfond, William G J. “Program analysis to support quality assurance techniques for web applications.” 2010. Doctoral Dissertation, Georgia Tech. Accessed July 23, 2019. http://hdl.handle.net/1853/33930.

MLA Handbook (7th Edition):

Halfond, William G J. “Program analysis to support quality assurance techniques for web applications.” 2010. Web. 23 Jul 2019.

Vancouver:

Halfond WGJ. Program analysis to support quality assurance techniques for web applications. [Internet] [Doctoral dissertation]. Georgia Tech; 2010. [cited 2019 Jul 23]. Available from: http://hdl.handle.net/1853/33930.

Council of Science Editors:

Halfond WGJ. Program analysis to support quality assurance techniques for web applications. [Doctoral Dissertation]. Georgia Tech; 2010. Available from: http://hdl.handle.net/1853/33930

5. Sahin, Burak. A model checker for Java bytecode, with novel applications.

Degree: MS, Computer Science, 2017, Georgia Tech

 In this work, we have designed and developed an automated static program analysis tool which can check whether the given program satisfies the required safety… (more)

Subjects/Keywords: Program analysis; Program verification; Model checking; Formal methods; Interpolation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sahin, B. (2017). A model checker for Java bytecode, with novel applications. (Masters Thesis). Georgia Tech. Retrieved from http://hdl.handle.net/1853/58686

Chicago Manual of Style (16th Edition):

Sahin, Burak. “A model checker for Java bytecode, with novel applications.” 2017. Masters Thesis, Georgia Tech. Accessed July 23, 2019. http://hdl.handle.net/1853/58686.

MLA Handbook (7th Edition):

Sahin, Burak. “A model checker for Java bytecode, with novel applications.” 2017. Web. 23 Jul 2019.

Vancouver:

Sahin B. A model checker for Java bytecode, with novel applications. [Internet] [Masters thesis]. Georgia Tech; 2017. [cited 2019 Jul 23]. Available from: http://hdl.handle.net/1853/58686.

Council of Science Editors:

Sahin B. A model checker for Java bytecode, with novel applications. [Masters Thesis]. Georgia Tech; 2017. Available from: http://hdl.handle.net/1853/58686


Georgia Tech

6. Callan, Robert Locke. Analyzing software using unintentional electromagnetic emanations from computing devices.

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

 This thesis develops methods to identify, quantify, and use information leaked in Electromagnetic (EM) emanations from a broad range of computing devices in a general… (more)

Subjects/Keywords: Electromagnetic emanations; Program analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Callan, R. L. (2016). Analyzing software using unintentional electromagnetic emanations from computing devices. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/56300

Chicago Manual of Style (16th Edition):

Callan, Robert Locke. “Analyzing software using unintentional electromagnetic emanations from computing devices.” 2016. Doctoral Dissertation, Georgia Tech. Accessed July 23, 2019. http://hdl.handle.net/1853/56300.

MLA Handbook (7th Edition):

Callan, Robert Locke. “Analyzing software using unintentional electromagnetic emanations from computing devices.” 2016. Web. 23 Jul 2019.

Vancouver:

Callan RL. Analyzing software using unintentional electromagnetic emanations from computing devices. [Internet] [Doctoral dissertation]. Georgia Tech; 2016. [cited 2019 Jul 23]. Available from: http://hdl.handle.net/1853/56300.

Council of Science Editors:

Callan RL. Analyzing software using unintentional electromagnetic emanations from computing devices. [Doctoral Dissertation]. Georgia Tech; 2016. Available from: http://hdl.handle.net/1853/56300

7. Parnin, Christopher Joseph. Supporting interrupted programming tasks with memory-based aids.

Degree: PhD, Computer Science, 2014, Georgia Tech

 Despite its vast capacity and associative powers, the human brain does not deal well with interruptions. Particularly in situations where information density is high, such… (more)

Subjects/Keywords: Interruption; Memory; Programmers

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Parnin, C. J. (2014). Supporting interrupted programming tasks with memory-based aids. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/53056

Chicago Manual of Style (16th Edition):

Parnin, Christopher Joseph. “Supporting interrupted programming tasks with memory-based aids.” 2014. Doctoral Dissertation, Georgia Tech. Accessed July 23, 2019. http://hdl.handle.net/1853/53056.

MLA Handbook (7th Edition):

Parnin, Christopher Joseph. “Supporting interrupted programming tasks with memory-based aids.” 2014. Web. 23 Jul 2019.

Vancouver:

Parnin CJ. Supporting interrupted programming tasks with memory-based aids. [Internet] [Doctoral dissertation]. Georgia Tech; 2014. [cited 2019 Jul 23]. Available from: http://hdl.handle.net/1853/53056.

Council of Science Editors:

Parnin CJ. Supporting interrupted programming tasks with memory-based aids. [Doctoral Dissertation]. Georgia Tech; 2014. Available from: http://hdl.handle.net/1853/53056

8. Jin, Wei. Automated support for reproducing and debugging field failures.

Degree: PhD, Computer Science, 2015, Georgia Tech

 As confirmed by a recent survey conducted among developers of the Apache, Eclipse, and Mozilla projects, two extremely challenging tasks during maintenance are reproducing and… (more)

Subjects/Keywords: Debugging; Fault localization; Field failures

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Jin, W. (2015). Automated support for reproducing and debugging field failures. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/53894

Chicago Manual of Style (16th Edition):

Jin, Wei. “Automated support for reproducing and debugging field failures.” 2015. Doctoral Dissertation, Georgia Tech. Accessed July 23, 2019. http://hdl.handle.net/1853/53894.

MLA Handbook (7th Edition):

Jin, Wei. “Automated support for reproducing and debugging field failures.” 2015. Web. 23 Jul 2019.

Vancouver:

Jin W. Automated support for reproducing and debugging field failures. [Internet] [Doctoral dissertation]. Georgia Tech; 2015. [cited 2019 Jul 23]. Available from: http://hdl.handle.net/1853/53894.

Council of Science Editors:

Jin W. Automated support for reproducing and debugging field failures. [Doctoral Dissertation]. Georgia Tech; 2015. Available from: http://hdl.handle.net/1853/53894

9. Roy Choudhary, Shauvik. Cross-platform testing and maintenance of web and mobile applications.

Degree: PhD, Computer Science, 2015, Georgia Tech

 Modern software applications need to run on a variety of web and mobile platforms with diverse software and hardware-level features. Thus, developers of such software… (more)

Subjects/Keywords: Cross-platform testing; Mobile testing; Test migration; Web application testing; Cross-browser testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Roy Choudhary, S. (2015). Cross-platform testing and maintenance of web and mobile applications. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/53588

Chicago Manual of Style (16th Edition):

Roy Choudhary, Shauvik. “Cross-platform testing and maintenance of web and mobile applications.” 2015. Doctoral Dissertation, Georgia Tech. Accessed July 23, 2019. http://hdl.handle.net/1853/53588.

MLA Handbook (7th Edition):

Roy Choudhary, Shauvik. “Cross-platform testing and maintenance of web and mobile applications.” 2015. Web. 23 Jul 2019.

Vancouver:

Roy Choudhary S. Cross-platform testing and maintenance of web and mobile applications. [Internet] [Doctoral dissertation]. Georgia Tech; 2015. [cited 2019 Jul 23]. Available from: http://hdl.handle.net/1853/53588.

Council of Science Editors:

Roy Choudhary S. Cross-platform testing and maintenance of web and mobile applications. [Doctoral Dissertation]. Georgia Tech; 2015. Available from: http://hdl.handle.net/1853/53588

10. Pattnaik, Aliva. Fault propagation analysis of large-scale, networked embedded systems.

Degree: MS, Computing, 2011, Georgia Tech

 In safety-critical, networked embedded systems, it is important that the way in which a fault(s) in one component of the system can propagate throughout the… (more)

Subjects/Keywords: FTA; Fault propagation analysis; AFDX; Cyber physical system; Datalog; Embedded system; Embedded computer systems; Computer science; Failure Analysis System (Computer system)

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Pattnaik, A. (2011). Fault propagation analysis of large-scale, networked embedded systems. (Masters Thesis). Georgia Tech. Retrieved from http://hdl.handle.net/1853/42918

Chicago Manual of Style (16th Edition):

Pattnaik, Aliva. “Fault propagation analysis of large-scale, networked embedded systems.” 2011. Masters Thesis, Georgia Tech. Accessed July 23, 2019. http://hdl.handle.net/1853/42918.

MLA Handbook (7th Edition):

Pattnaik, Aliva. “Fault propagation analysis of large-scale, networked embedded systems.” 2011. Web. 23 Jul 2019.

Vancouver:

Pattnaik A. Fault propagation analysis of large-scale, networked embedded systems. [Internet] [Masters thesis]. Georgia Tech; 2011. [cited 2019 Jul 23]. Available from: http://hdl.handle.net/1853/42918.

Council of Science Editors:

Pattnaik A. Fault propagation analysis of large-scale, networked embedded systems. [Masters Thesis]. Georgia Tech; 2011. Available from: http://hdl.handle.net/1853/42918

11. Ahmed, Fahad. Invasive and non-invasive detection of bias temperature instability.

Degree: PhD, Electrical and Computer Engineering, 2014, Georgia Tech

 Invasive and non-invasive methods of BTI monitoring and wearout preemption have been proposed. We propose a novel, simple to use, test structure for NBTI /PBTI… (more)

Subjects/Keywords: Wearout; BTI; NBTI; PBTI; Compiler; Monitor; Sensor

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Ahmed, F. (2014). Invasive and non-invasive detection of bias temperature instability. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/52227

Chicago Manual of Style (16th Edition):

Ahmed, Fahad. “Invasive and non-invasive detection of bias temperature instability.” 2014. Doctoral Dissertation, Georgia Tech. Accessed July 23, 2019. http://hdl.handle.net/1853/52227.

MLA Handbook (7th Edition):

Ahmed, Fahad. “Invasive and non-invasive detection of bias temperature instability.” 2014. Web. 23 Jul 2019.

Vancouver:

Ahmed F. Invasive and non-invasive detection of bias temperature instability. [Internet] [Doctoral dissertation]. Georgia Tech; 2014. [cited 2019 Jul 23]. Available from: http://hdl.handle.net/1853/52227.

Council of Science Editors:

Ahmed F. Invasive and non-invasive detection of bias temperature instability. [Doctoral Dissertation]. Georgia Tech; 2014. Available from: http://hdl.handle.net/1853/52227

12. Park, Sang Min. Effective fault localization techniques for concurrent software.

Degree: PhD, Computer Science, 2014, Georgia Tech

 Multicore and Internet cloud systems have been widely adopted in recent years and have resulted in the increased development of concurrent programs. However, concurrency bugs… (more)

Subjects/Keywords: Concurrency bugs; Debugging; Fault localization; Concurrency; Atomicity violation; Order violation; Algorithms

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Park, S. M. (2014). Effective fault localization techniques for concurrent software. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/53010

Chicago Manual of Style (16th Edition):

Park, Sang Min. “Effective fault localization techniques for concurrent software.” 2014. Doctoral Dissertation, Georgia Tech. Accessed July 23, 2019. http://hdl.handle.net/1853/53010.

MLA Handbook (7th Edition):

Park, Sang Min. “Effective fault localization techniques for concurrent software.” 2014. Web. 23 Jul 2019.

Vancouver:

Park SM. Effective fault localization techniques for concurrent software. [Internet] [Doctoral dissertation]. Georgia Tech; 2014. [cited 2019 Jul 23]. Available from: http://hdl.handle.net/1853/53010.

Council of Science Editors:

Park SM. Effective fault localization techniques for concurrent software. [Doctoral Dissertation]. Georgia Tech; 2014. Available from: http://hdl.handle.net/1853/53010

13. Jones, James Arthur. Semi-automatic fault localization.

Degree: PhD, Computing, 2008, Georgia Tech

 One of the most expensive and time-consuming components of the debugging process is locating the errors or faults. To locate faults, developers must identify statements… (more)

Subjects/Keywords: Software engineering; Debugging; Visualization; Testing; Fault-tolerant computing; Debugging in computer science

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Jones, J. A. (2008). Semi-automatic fault localization. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/22609

Chicago Manual of Style (16th Edition):

Jones, James Arthur. “Semi-automatic fault localization.” 2008. Doctoral Dissertation, Georgia Tech. Accessed July 23, 2019. http://hdl.handle.net/1853/22609.

MLA Handbook (7th Edition):

Jones, James Arthur. “Semi-automatic fault localization.” 2008. Web. 23 Jul 2019.

Vancouver:

Jones JA. Semi-automatic fault localization. [Internet] [Doctoral dissertation]. Georgia Tech; 2008. [cited 2019 Jul 23]. Available from: http://hdl.handle.net/1853/22609.

Council of Science Editors:

Jones JA. Semi-automatic fault localization. [Doctoral Dissertation]. Georgia Tech; 2008. Available from: http://hdl.handle.net/1853/22609

14. Clause, James Alexander. Enabling and supporting the debugging of software failures.

Degree: PhD, Computing, 2011, Georgia Tech

 This dissertation evaluates the following thesis statement: Program analysis techniques can enable and support the debugging of failures in widely-used applications by (1) capturing, replaying,… (more)

Subjects/Keywords: Debugging; Software engineering; Minimization; Anonymization; Software maintenance; Debugging in computer science; Data editing; Quality control

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Clause, J. A. (2011). Enabling and supporting the debugging of software failures. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/39514

Chicago Manual of Style (16th Edition):

Clause, James Alexander. “Enabling and supporting the debugging of software failures.” 2011. Doctoral Dissertation, Georgia Tech. Accessed July 23, 2019. http://hdl.handle.net/1853/39514.

MLA Handbook (7th Edition):

Clause, James Alexander. “Enabling and supporting the debugging of software failures.” 2011. Web. 23 Jul 2019.

Vancouver:

Clause JA. Enabling and supporting the debugging of software failures. [Internet] [Doctoral dissertation]. Georgia Tech; 2011. [cited 2019 Jul 23]. Available from: http://hdl.handle.net/1853/39514.

Council of Science Editors:

Clause JA. Enabling and supporting the debugging of software failures. [Doctoral Dissertation]. Georgia Tech; 2011. Available from: http://hdl.handle.net/1853/39514

15. Baah, George Kofi. Statistical causal analysis for fault localization.

Degree: PhD, Computing, 2012, Georgia Tech

 The ubiquitous nature of software demands that software is released without faults. However, software developers inadvertently introduce faults into software during development. To remove the… (more)

Subjects/Keywords: Causal analysis; Probabilistic graphical models; Fault localization; Debugging; Program analysis; Probabilities; Software engineering; Computer software Development; Computer software Quality control

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Baah, G. K. (2012). Statistical causal analysis for fault localization. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/45762

Chicago Manual of Style (16th Edition):

Baah, George Kofi. “Statistical causal analysis for fault localization.” 2012. Doctoral Dissertation, Georgia Tech. Accessed July 23, 2019. http://hdl.handle.net/1853/45762.

MLA Handbook (7th Edition):

Baah, George Kofi. “Statistical causal analysis for fault localization.” 2012. Web. 23 Jul 2019.

Vancouver:

Baah GK. Statistical causal analysis for fault localization. [Internet] [Doctoral dissertation]. Georgia Tech; 2012. [cited 2019 Jul 23]. Available from: http://hdl.handle.net/1853/45762.

Council of Science Editors:

Baah GK. Statistical causal analysis for fault localization. [Doctoral Dissertation]. Georgia Tech; 2012. Available from: http://hdl.handle.net/1853/45762


Georgia Tech

16. Csallner, Christoph. Combining over- and under-approximating program analyses for automatic software testing.

Degree: PhD, Computing, 2008, Georgia Tech

 This dissertation attacks the well-known problem of path-imprecision in static program analysis. Our starting point is an existing static program analysis that over-approximates the execution… (more)

Subjects/Keywords: Program analysis pipeline; Software verification; Resetting program state; Extended static checking; False warnings; Computer software Testing; Debugging in computer science; Computer programs Testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Csallner, C. (2008). Combining over- and under-approximating program analyses for automatic software testing. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/24764

Chicago Manual of Style (16th Edition):

Csallner, Christoph. “Combining over- and under-approximating program analyses for automatic software testing.” 2008. Doctoral Dissertation, Georgia Tech. Accessed July 23, 2019. http://hdl.handle.net/1853/24764.

MLA Handbook (7th Edition):

Csallner, Christoph. “Combining over- and under-approximating program analyses for automatic software testing.” 2008. Web. 23 Jul 2019.

Vancouver:

Csallner C. Combining over- and under-approximating program analyses for automatic software testing. [Internet] [Doctoral dissertation]. Georgia Tech; 2008. [cited 2019 Jul 23]. Available from: http://hdl.handle.net/1853/24764.

Council of Science Editors:

Csallner C. Combining over- and under-approximating program analyses for automatic software testing. [Doctoral Dissertation]. Georgia Tech; 2008. Available from: http://hdl.handle.net/1853/24764


Georgia Tech

17. Apiwattanapong, Taweesup. Identifying Testing Requirements for Modified Software.

Degree: PhD, Computing, 2007, Georgia Tech

 Throughout its lifetime, software must be changed for many reasons, such as bug fixing, performance tuning, and code restructuring. Testing modified software is the main… (more)

Subjects/Keywords: Software testing; Program differencing; Impact analysis; Symbolic execution; Software reengineering Testing; Computer software Testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Apiwattanapong, T. (2007). Identifying Testing Requirements for Modified Software. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/16148

Chicago Manual of Style (16th Edition):

Apiwattanapong, Taweesup. “Identifying Testing Requirements for Modified Software.” 2007. Doctoral Dissertation, Georgia Tech. Accessed July 23, 2019. http://hdl.handle.net/1853/16148.

MLA Handbook (7th Edition):

Apiwattanapong, Taweesup. “Identifying Testing Requirements for Modified Software.” 2007. Web. 23 Jul 2019.

Vancouver:

Apiwattanapong T. Identifying Testing Requirements for Modified Software. [Internet] [Doctoral dissertation]. Georgia Tech; 2007. [cited 2019 Jul 23]. Available from: http://hdl.handle.net/1853/16148.

Council of Science Editors:

Apiwattanapong T. Identifying Testing Requirements for Modified Software. [Doctoral Dissertation]. Georgia Tech; 2007. Available from: http://hdl.handle.net/1853/16148


Georgia Tech

18. Bowring, James Frederick. Modeling and Predicting Software Behaviors.

Degree: PhD, Computing, 2006, Georgia Tech

 Software systems will eventually contribute to their own maintenance using implementations of self-awareness. Understanding how to specify, model, and implement software with a sense of… (more)

Subjects/Keywords: Model-driven architecture; Machine learning; Computational learning theory; Software failures

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bowring, J. F. (2006). Modeling and Predicting Software Behaviors. (Doctoral Dissertation). Georgia Tech. Retrieved from http://hdl.handle.net/1853/19754

Chicago Manual of Style (16th Edition):

Bowring, James Frederick. “Modeling and Predicting Software Behaviors.” 2006. Doctoral Dissertation, Georgia Tech. Accessed July 23, 2019. http://hdl.handle.net/1853/19754.

MLA Handbook (7th Edition):

Bowring, James Frederick. “Modeling and Predicting Software Behaviors.” 2006. Web. 23 Jul 2019.

Vancouver:

Bowring JF. Modeling and Predicting Software Behaviors. [Internet] [Doctoral dissertation]. Georgia Tech; 2006. [cited 2019 Jul 23]. Available from: http://hdl.handle.net/1853/19754.

Council of Science Editors:

Bowring JF. Modeling and Predicting Software Behaviors. [Doctoral Dissertation]. Georgia Tech; 2006. Available from: http://hdl.handle.net/1853/19754

.