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 Illinois – Urbana-Champaign" +contributor:("Marinov, Darko"). Showing records 1 – 30 of 43 total matches.

[1] [2]

Search Limiters

Last 2 Years | English Only

Department

▼ Search Limiters


University of Illinois – Urbana-Champaign

1. Zhao, Peiyuan. Comparing module- and class-level regression test selection in continuous integration.

Degree: MS, Computer Science, 2018, University of Illinois – Urbana-Champaign

 Developers rely on regression testing in their continuous integration (CI) environment to find if their changes introduce faults. While regression testing is widely practiced, it… (more)

Subjects/Keywords: Software Testing; Regression Testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Zhao, P. (2018). Comparing module- and class-level regression test selection in continuous integration. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/101059

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

Zhao, Peiyuan. “Comparing module- and class-level regression test selection in continuous integration.” 2018. Thesis, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/101059.

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

MLA Handbook (7th Edition):

Zhao, Peiyuan. “Comparing module- and class-level regression test selection in continuous integration.” 2018. Web. 28 Feb 2021.

Vancouver:

Zhao P. Comparing module- and class-level regression test selection in continuous integration. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2018. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/101059.

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

Council of Science Editors:

Zhao P. Comparing module- and class-level regression test selection in continuous integration. [Thesis]. University of Illinois – Urbana-Champaign; 2018. Available from: http://hdl.handle.net/2142/101059

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


University of Illinois – Urbana-Champaign

2. Hadzi-Tanovic, Milica. Reflection-aware static regression test selection.

Degree: MS, Computer Science, 2018, University of Illinois – Urbana-Champaign

 Regression test selection (RTS) aims to speed up regression testing by rerunning only tests that are affected by code changes. RTS can be performed using… (more)

Subjects/Keywords: regression test selection; reflection; static analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hadzi-Tanovic, M. (2018). Reflection-aware static regression test selection. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/101065

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

Hadzi-Tanovic, Milica. “Reflection-aware static regression test selection.” 2018. Thesis, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/101065.

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

MLA Handbook (7th Edition):

Hadzi-Tanovic, Milica. “Reflection-aware static regression test selection.” 2018. Web. 28 Feb 2021.

Vancouver:

Hadzi-Tanovic M. Reflection-aware static regression test selection. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2018. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/101065.

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

Council of Science Editors:

Hadzi-Tanovic M. Reflection-aware static regression test selection. [Thesis]. University of Illinois – Urbana-Champaign; 2018. Available from: http://hdl.handle.net/2142/101065

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


University of Illinois – Urbana-Champaign

3. Shi, August Wang. Improving regression testing efficiency and reliability via test-suite transformations.

Degree: PhD, Computer Science, 2020, University of Illinois – Urbana-Champaign

 As software becomes more important and ubiquitous, high quality software also becomes crucial. Developers constantly make changes to improve software, and they rely on regression… (more)

Subjects/Keywords: software engineering; software testing; regression testing; flaky tests

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Shi, A. W. (2020). Improving regression testing efficiency and reliability via test-suite transformations. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/108492

Chicago Manual of Style (16th Edition):

Shi, August Wang. “Improving regression testing efficiency and reliability via test-suite transformations.” 2020. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/108492.

MLA Handbook (7th Edition):

Shi, August Wang. “Improving regression testing efficiency and reliability via test-suite transformations.” 2020. Web. 28 Feb 2021.

Vancouver:

Shi AW. Improving regression testing efficiency and reliability via test-suite transformations. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2020. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/108492.

Council of Science Editors:

Shi AW. Improving regression testing efficiency and reliability via test-suite transformations. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2020. Available from: http://hdl.handle.net/2142/108492


University of Illinois – Urbana-Champaign

4. Nistor, Adrian. Understanding, detecting, and repairing performance bugs.

Degree: PhD, 0112, 2014, University of Illinois – Urbana-Champaign

 Software performance is critical for how end-users perceive the quality of software products. Performance bugs – programming errors that cause performance degradation—lead to poor user experience… (more)

Subjects/Keywords: Performance bugs

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Nistor, A. (2014). Understanding, detecting, and repairing performance bugs. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/49706

Chicago Manual of Style (16th Edition):

Nistor, Adrian. “Understanding, detecting, and repairing performance bugs.” 2014. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/49706.

MLA Handbook (7th Edition):

Nistor, Adrian. “Understanding, detecting, and repairing performance bugs.” 2014. Web. 28 Feb 2021.

Vancouver:

Nistor A. Understanding, detecting, and repairing performance bugs. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2014. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/49706.

Council of Science Editors:

Nistor A. Understanding, detecting, and repairing performance bugs. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/49706


University of Illinois – Urbana-Champaign

5. Hariri, Farah. Exploring design decisions for mutation testing.

Degree: PhD, Computer Science, 2018, University of Illinois – Urbana-Champaign

 Software testing is by far the most popular technique used in industry for quality assurance. One key challenge of software testing is how to evaluate… (more)

Subjects/Keywords: software testing; mutation testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hariri, F. (2018). Exploring design decisions for mutation testing. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/101008

Chicago Manual of Style (16th Edition):

Hariri, Farah. “Exploring design decisions for mutation testing.” 2018. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/101008.

MLA Handbook (7th Edition):

Hariri, Farah. “Exploring design decisions for mutation testing.” 2018. Web. 28 Feb 2021.

Vancouver:

Hariri F. Exploring design decisions for mutation testing. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2018. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/101008.

Council of Science Editors:

Hariri F. Exploring design decisions for mutation testing. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2018. Available from: http://hdl.handle.net/2142/101008


University of Illinois – Urbana-Champaign

6. Yang, Wei. Adversarial-resilience assurance for mobile security systems.

Degree: PhD, Computer Science, 2018, University of Illinois – Urbana-Champaign

 As mobile phones become an increasingly critical part of our world, ensuring the security and privacy of mobile applications (in short as apps) becomes increasingly… (more)

Subjects/Keywords: Mobile Security; Adversarial Machine Learning

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yang, W. (2018). Adversarial-resilience assurance for mobile security systems. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/101204

Chicago Manual of Style (16th Edition):

Yang, Wei. “Adversarial-resilience assurance for mobile security systems.” 2018. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/101204.

MLA Handbook (7th Edition):

Yang, Wei. “Adversarial-resilience assurance for mobile security systems.” 2018. Web. 28 Feb 2021.

Vancouver:

Yang W. Adversarial-resilience assurance for mobile security systems. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2018. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/101204.

Council of Science Editors:

Yang W. Adversarial-resilience assurance for mobile security systems. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2018. Available from: http://hdl.handle.net/2142/101204


University of Illinois – Urbana-Champaign

7. Kumar, Rajesh. Efficient execution of fine-grained actors on multicore processors.

Degree: PhD, 0112, 2013, University of Illinois – Urbana-Champaign

 The Actor model is a promising model for programming new computing platforms such as the multicores and cloud computers, primarily due to features such as… (more)

Subjects/Keywords: multicore; efficiency; performance; actor model; concurrency; parallelism; programming; ActorFoundry; games

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kumar, R. (2013). Efficient execution of fine-grained actors on multicore processors. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/44758

Chicago Manual of Style (16th Edition):

Kumar, Rajesh. “Efficient execution of fine-grained actors on multicore processors.” 2013. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/44758.

MLA Handbook (7th Edition):

Kumar, Rajesh. “Efficient execution of fine-grained actors on multicore processors.” 2013. Web. 28 Feb 2021.

Vancouver:

Kumar R. Efficient execution of fine-grained actors on multicore processors. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2013. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/44758.

Council of Science Editors:

Kumar R. Efficient execution of fine-grained actors on multicore processors. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2013. Available from: http://hdl.handle.net/2142/44758


University of Illinois – Urbana-Champaign

8. Qi, Shanxiang. Techniques to detect and avert advanced software concurrency bugs.

Degree: PhD, 0112, 2013, University of Illinois – Urbana-Champaign

 Multicore machines have become pervasive and, as a result, parallel programming has received renewed interest. Unfortunately, writing correct parallel programs is notoriously hard. One challenging… (more)

Subjects/Keywords: concurrency bugs; data race detection; dynamic analysis

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Qi, S. (2013). Techniques to detect and avert advanced software concurrency bugs. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/45603

Chicago Manual of Style (16th Edition):

Qi, Shanxiang. “Techniques to detect and avert advanced software concurrency bugs.” 2013. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/45603.

MLA Handbook (7th Edition):

Qi, Shanxiang. “Techniques to detect and avert advanced software concurrency bugs.” 2013. Web. 28 Feb 2021.

Vancouver:

Qi S. Techniques to detect and avert advanced software concurrency bugs. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2013. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/45603.

Council of Science Editors:

Qi S. Techniques to detect and avert advanced software concurrency bugs. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2013. Available from: http://hdl.handle.net/2142/45603


University of Illinois – Urbana-Champaign

9. Lee, Choonghwan. Preparation-free and comprehensive runtime verification tool for testing Java programs.

Degree: PhD, 0112, 2014, University of Illinois – Urbana-Champaign

 Runtime verification is an effective and accurate technique for ensuring that an execution of a program conform to certain specifications at runtime. Although excessive runtime… (more)

Subjects/Keywords: parametric specification; specification mining; runtime verification

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lee, C. (2014). Preparation-free and comprehensive runtime verification tool for testing Java programs. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/46910

Chicago Manual of Style (16th Edition):

Lee, Choonghwan. “Preparation-free and comprehensive runtime verification tool for testing Java programs.” 2014. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/46910.

MLA Handbook (7th Edition):

Lee, Choonghwan. “Preparation-free and comprehensive runtime verification tool for testing Java programs.” 2014. Web. 28 Feb 2021.

Vancouver:

Lee C. Preparation-free and comprehensive runtime verification tool for testing Java programs. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2014. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/46910.

Council of Science Editors:

Lee C. Preparation-free and comprehensive runtime verification tool for testing Java programs. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/46910


University of Illinois – Urbana-Champaign

10. Hafiz, Munawar. Security on demand.

Degree: PhD, 0112, 2011, University of Illinois – Urbana-Champaign

 Security experts generally believe that, "security cannot be added on, it must be designed from the beginning." This dissertation shows that retrofitting security does not… (more)

Subjects/Keywords: Security; Program Transformation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Hafiz, M. (2011). Security on demand. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/18413

Chicago Manual of Style (16th Edition):

Hafiz, Munawar. “Security on demand.” 2011. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/18413.

MLA Handbook (7th Edition):

Hafiz, Munawar. “Security on demand.” 2011. Web. 28 Feb 2021.

Vancouver:

Hafiz M. Security on demand. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2011. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/18413.

Council of Science Editors:

Hafiz M. Security on demand. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2011. Available from: http://hdl.handle.net/2142/18413


University of Illinois – Urbana-Champaign

11. Luo, Qingzhou. Testing, runtime verification, and analysis of concurrent programs.

Degree: PhD, Computer Science, 2015, University of Illinois – Urbana-Champaign

 With the development of multi-core processors, concurrent programs are becoming more and more popular. Among several models, the multithreaded shared-memory model is the predominant programming… (more)

Subjects/Keywords: Runtime verification; concurrency; testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Luo, Q. (2015). Testing, runtime verification, and analysis of concurrent programs. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/87955

Chicago Manual of Style (16th Edition):

Luo, Qingzhou. “Testing, runtime verification, and analysis of concurrent programs.” 2015. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/87955.

MLA Handbook (7th Edition):

Luo, Qingzhou. “Testing, runtime verification, and analysis of concurrent programs.” 2015. Web. 28 Feb 2021.

Vancouver:

Luo Q. Testing, runtime verification, and analysis of concurrent programs. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2015. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/87955.

Council of Science Editors:

Luo Q. Testing, runtime verification, and analysis of concurrent programs. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2015. Available from: http://hdl.handle.net/2142/87955


University of Illinois – Urbana-Champaign

12. Garg, Pranav. Learning-based inductive invariant synthesis.

Degree: PhD, Computer Science, 2015, University of Illinois – Urbana-Champaign

 The problem of synthesizing adequate inductive invariants to prove a program correct lies at the heart of automated program verification. We investigate, herein, learning approaches… (more)

Subjects/Keywords: verification; invariants; invariant synthesis; learning; machine learning; learning invariants using Implication Counter-Examples (ICE) learning model

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Garg, P. (2015). Learning-based inductive invariant synthesis. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/88026

Chicago Manual of Style (16th Edition):

Garg, Pranav. “Learning-based inductive invariant synthesis.” 2015. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/88026.

MLA Handbook (7th Edition):

Garg, Pranav. “Learning-based inductive invariant synthesis.” 2015. Web. 28 Feb 2021.

Vancouver:

Garg P. Learning-based inductive invariant synthesis. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2015. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/88026.

Council of Science Editors:

Garg P. Learning-based inductive invariant synthesis. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2015. Available from: http://hdl.handle.net/2142/88026


University of Illinois – Urbana-Champaign

13. Sorrentino, Francesco. Algorithmic techniques for predictive testing of concurrent programs and distributed systems.

Degree: PhD, 0112, 2014, University of Illinois – Urbana-Champaign

 The rise of multicore hardware platforms has lead to a new era of computing. In order to take full advantage of the power of multicore… (more)

Subjects/Keywords: Testing; Concurrency; Cloud; Diagnosis; Bugs; Data-Race; Deadlock; Null-Pointer; Atomicity

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sorrentino, F. (2014). Algorithmic techniques for predictive testing of concurrent programs and distributed systems. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/49713

Chicago Manual of Style (16th Edition):

Sorrentino, Francesco. “Algorithmic techniques for predictive testing of concurrent programs and distributed systems.” 2014. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/49713.

MLA Handbook (7th Edition):

Sorrentino, Francesco. “Algorithmic techniques for predictive testing of concurrent programs and distributed systems.” 2014. Web. 28 Feb 2021.

Vancouver:

Sorrentino F. Algorithmic techniques for predictive testing of concurrent programs and distributed systems. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2014. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/49713.

Council of Science Editors:

Sorrentino F. Algorithmic techniques for predictive testing of concurrent programs and distributed systems. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/49713


University of Illinois – Urbana-Champaign

14. Muzahid, Abdullah. Effective architectural support for detecting concurrency bugs.

Degree: PhD, 0112, 2012, University of Illinois – Urbana-Champaign

 Multicore machines have become pervasive and, as a result, parallel programming has received renewed interest. Unfortunately, writing correct parallel programs is notoriously hard. Therefore, it… (more)

Subjects/Keywords: Debugging; Concurrency Bugs; Multithreaded Programs; Multicore

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Muzahid, A. (2012). Effective architectural support for detecting concurrency bugs. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/34513

Chicago Manual of Style (16th Edition):

Muzahid, Abdullah. “Effective architectural support for detecting concurrency bugs.” 2012. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/34513.

MLA Handbook (7th Edition):

Muzahid, Abdullah. “Effective architectural support for detecting concurrency bugs.” 2012. Web. 28 Feb 2021.

Vancouver:

Muzahid A. Effective architectural support for detecting concurrency bugs. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2012. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/34513.

Council of Science Editors:

Muzahid A. Effective architectural support for detecting concurrency bugs. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2012. Available from: http://hdl.handle.net/2142/34513


University of Illinois – Urbana-Champaign

15. Yasmeen, Ayesha. Formalizing operator task analysis.

Degree: PhD, 0112, 2011, University of Illinois – Urbana-Champaign

 Human operators are unique in their decision making capability, judgment and nondeterminism. Their sense of judgment, unpredictable decision procedures, susceptibility to environmental elements can cause… (more)

Subjects/Keywords: human operators; system verification; task analysis; human error; formal methods; model checking; runtime monitoring; reliability; Model theory; temporal logic; model refinement; requirement satisfaction; system robustness; protected task execution; incomplete information; concurrent game structures; formal human behavior model; tolerance of erroneous human behaviors

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Yasmeen, A. (2011). Formalizing operator task analysis. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/26103

Chicago Manual of Style (16th Edition):

Yasmeen, Ayesha. “Formalizing operator task analysis.” 2011. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/26103.

MLA Handbook (7th Edition):

Yasmeen, Ayesha. “Formalizing operator task analysis.” 2011. Web. 28 Feb 2021.

Vancouver:

Yasmeen A. Formalizing operator task analysis. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2011. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/26103.

Council of Science Editors:

Yasmeen A. Formalizing operator task analysis. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2011. Available from: http://hdl.handle.net/2142/26103

16. Kirn, Mathew. Evaluating machine-independent metrics for state-space exploration.

Degree: MS, 0112, 2012, University of Illinois – Urbana-Champaign

 Many recent advancements in testing concurrent programs have surfaced as novel optimization and heuristic techniques in tools that explore the state spaces of tests for… (more)

Subjects/Keywords: State Space; Exploration; Concurrency; Metrics

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Kirn, M. (2012). Evaluating machine-independent metrics for state-space exploration. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/29796

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

Kirn, Mathew. “Evaluating machine-independent metrics for state-space exploration.” 2012. Thesis, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/29796.

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

MLA Handbook (7th Edition):

Kirn, Mathew. “Evaluating machine-independent metrics for state-space exploration.” 2012. Web. 28 Feb 2021.

Vancouver:

Kirn M. Evaluating machine-independent metrics for state-space exploration. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2012. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/29796.

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

Council of Science Editors:

Kirn M. Evaluating machine-independent metrics for state-space exploration. [Thesis]. University of Illinois – Urbana-Champaign; 2012. Available from: http://hdl.handle.net/2142/29796

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

17. Sharma, Rohan. Guidelines for coverage-based comparisons of non-adequate test suites.

Degree: MS, 0112, 2014, University of Illinois – Urbana-Champaign

 A fundamental question in software testing research is how to compare test suites, often as a means for comparing test-generation techniques that produce those test… (more)

Subjects/Keywords: Coverage criteria; non-adequate test suites

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Sharma, R. (2014). Guidelines for coverage-based comparisons of non-adequate test suites. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/46636

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

Sharma, Rohan. “Guidelines for coverage-based comparisons of non-adequate test suites.” 2014. Thesis, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/46636.

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

MLA Handbook (7th Edition):

Sharma, Rohan. “Guidelines for coverage-based comparisons of non-adequate test suites.” 2014. Web. 28 Feb 2021.

Vancouver:

Sharma R. Guidelines for coverage-based comparisons of non-adequate test suites. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2014. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/46636.

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

Council of Science Editors:

Sharma R. Guidelines for coverage-based comparisons of non-adequate test suites. [Thesis]. University of Illinois – Urbana-Champaign; 2014. Available from: http://hdl.handle.net/2142/46636

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

18. Tan, Shin Hwei. @tComment: testing Javadoc comments to detect comment-code inconsistencies.

Degree: MS, 0112, 2012, University of Illinois – Urbana-Champaign

 Code comments are important artifacts in software. Javadoc comments are widely used in Java for API specifications. API developers write Javadoc comments, and API users… (more)

Subjects/Keywords: comment analysis; random testing; test generation

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Tan, S. H. (2012). @tComment: testing Javadoc comments to detect comment-code inconsistencies. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/31123

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

Tan, Shin Hwei. “@tComment: testing Javadoc comments to detect comment-code inconsistencies.” 2012. Thesis, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/31123.

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

MLA Handbook (7th Edition):

Tan, Shin Hwei. “@tComment: testing Javadoc comments to detect comment-code inconsistencies.” 2012. Web. 28 Feb 2021.

Vancouver:

Tan SH. @tComment: testing Javadoc comments to detect comment-code inconsistencies. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2012. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/31123.

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

Council of Science Editors:

Tan SH. @tComment: testing Javadoc comments to detect comment-code inconsistencies. [Thesis]. University of Illinois – Urbana-Champaign; 2012. Available from: http://hdl.handle.net/2142/31123

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

19. Gyori, Alex. Proactively detecting unreliable tests.

Degree: PhD, Computer Science, 2017, University of Illinois – Urbana-Champaign

 Regression testing is the most wide-spread method to ensure the quality of software systems. Whenever a change is made to the software, tests are run… (more)

Subjects/Keywords: Unreliable tests; Flaky tests; Proactive detection

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gyori, A. (2017). Proactively detecting unreliable tests. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/98348

Chicago Manual of Style (16th Edition):

Gyori, Alex. “Proactively detecting unreliable tests.” 2017. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/98348.

MLA Handbook (7th Edition):

Gyori, Alex. “Proactively detecting unreliable tests.” 2017. Web. 28 Feb 2021.

Vancouver:

Gyori A. Proactively detecting unreliable tests. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2017. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/98348.

Council of Science Editors:

Gyori A. Proactively detecting unreliable tests. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2017. Available from: http://hdl.handle.net/2142/98348

20. Jagannath, Vilas. Improved regression testing of multithreaded programs.

Degree: PhD, 0112 0112, 2012, University of Illinois – Urbana-Champaign

 The advent of multicore processors has necessitated the use of parallelism to extract greater software performance. Shared-memory multithreaded programming is currently the dominant parallel programming… (more)

Subjects/Keywords: mutithreaded; regression testing; unit testing; IMUnit; Change-Aware Preemption Prioritization (CAPP)

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7 Sample image

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Jagannath, V. (2012). Improved regression testing of multithreaded programs. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/31093

Chicago Manual of Style (16th Edition):

Jagannath, Vilas. “Improved regression testing of multithreaded programs.” 2012. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/31093.

MLA Handbook (7th Edition):

Jagannath, Vilas. “Improved regression testing of multithreaded programs.” 2012. Web. 28 Feb 2021.

Vancouver:

Jagannath V. Improved regression testing of multithreaded programs. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2012. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/31093.

Council of Science Editors:

Jagannath V. Improved regression testing of multithreaded programs. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2012. Available from: http://hdl.handle.net/2142/31093

21. Gligoric, Milos Zivko. Regression test selection: theory and practice.

Degree: PhD, Computer Science, 2015, University of Illinois – Urbana-Champaign

 Software affects every aspect of our lives, and software developers write tests to check software correctness. Software also rapidly evolves due to never-ending requirement changes,… (more)

Subjects/Keywords: Regression test selection; Regression testing; Ekstazi; Distributed software histories

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Gligoric, M. Z. (2015). Regression test selection: theory and practice. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/88038

Chicago Manual of Style (16th Edition):

Gligoric, Milos Zivko. “Regression test selection: theory and practice.” 2015. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/88038.

MLA Handbook (7th Edition):

Gligoric, Milos Zivko. “Regression test selection: theory and practice.” 2015. Web. 28 Feb 2021.

Vancouver:

Gligoric MZ. Regression test selection: theory and practice. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2015. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/88038.

Council of Science Editors:

Gligoric MZ. Regression test selection: theory and practice. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2015. Available from: http://hdl.handle.net/2142/88038

22. Lauterburg, Steven T. Systematic testing for actor programs.

Degree: PhD, 0112, 2011, University of Illinois – Urbana-Champaign

 The growing use of multicore and networked computing systems is increasing the importance of developing reliable parallel and distributed code. Testing such code is notoriously… (more)

Subjects/Keywords: systematic testing; concurrency; actor model; message passing; partial-order reduction; model checking

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lauterburg, S. T. (2011). Systematic testing for actor programs. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/26314

Chicago Manual of Style (16th Edition):

Lauterburg, Steven T. “Systematic testing for actor programs.” 2011. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/26314.

MLA Handbook (7th Edition):

Lauterburg, Steven T. “Systematic testing for actor programs.” 2011. Web. 28 Feb 2021.

Vancouver:

Lauterburg ST. Systematic testing for actor programs. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2011. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/26314.

Council of Science Editors:

Lauterburg ST. Systematic testing for actor programs. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2011. Available from: http://hdl.handle.net/2142/26314

23. Legunsen, Owolabi. Evolution-aware runtime verification.

Degree: PhD, Computer Science, 2019, University of Illinois – Urbana-Champaign

 The risk posed by software bugs has increased tremendously as software is now essential to many aspects of our daily lives. Software testing is still… (more)

Subjects/Keywords: Runtime Verification; Software Evolution; Regression Testing; Software Engineering; Formal Methods; STARTS

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7 Sample image

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Legunsen, O. (2019). Evolution-aware runtime verification. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/106225

Chicago Manual of Style (16th Edition):

Legunsen, Owolabi. “Evolution-aware runtime verification.” 2019. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/106225.

MLA Handbook (7th Edition):

Legunsen, Owolabi. “Evolution-aware runtime verification.” 2019. Web. 28 Feb 2021.

Vancouver:

Legunsen O. Evolution-aware runtime verification. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2019. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/106225.

Council of Science Editors:

Legunsen O. Evolution-aware runtime verification. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2019. Available from: http://hdl.handle.net/2142/106225

24. Lin, Yu. Automated refactoring for Java concurrency.

Degree: PhD, Computer Science, 2015, University of Illinois – Urbana-Champaign

 In multicore era, programmers exploit concurrent programming to gain performance and responsiveness benefits. However, concurrent programs are difficult to write: the programmer has to balance… (more)

Subjects/Keywords: Concurrency and Asynchrony; Empirical Study; Android; Concurrent Collections; Refactoring; Atomicity Violation

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Lin, Y. (2015). Automated refactoring for Java concurrency. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/88945

Chicago Manual of Style (16th Edition):

Lin, Yu. “Automated refactoring for Java concurrency.” 2015. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/88945.

MLA Handbook (7th Edition):

Lin, Yu. “Automated refactoring for Java concurrency.” 2015. Web. 28 Feb 2021.

Vancouver:

Lin Y. Automated refactoring for Java concurrency. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2015. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/88945.

Council of Science Editors:

Lin Y. Automated refactoring for Java concurrency. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2015. Available from: http://hdl.handle.net/2142/88945

25. Okur, Semih. Enabling modern concurrency through program transformations.

Degree: PhD, Computer Science, 2016, University of Illinois – Urbana-Champaign

 Concurrency is becoming the norm in modern software because multicores are now everywhere. Developers use concurrency constructs (i) to make their software responsive and scalable… (more)

Subjects/Keywords: concurrency; concurrent programming; empirical study; refactoring; program transformation; static analysis; asynchrony; parallelism; async/await; c#

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Okur, S. (2016). Enabling modern concurrency through program transformations. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/95354

Chicago Manual of Style (16th Edition):

Okur, Semih. “Enabling modern concurrency through program transformations.” 2016. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/95354.

MLA Handbook (7th Edition):

Okur, Semih. “Enabling modern concurrency through program transformations.” 2016. Web. 28 Feb 2021.

Vancouver:

Okur S. Enabling modern concurrency through program transformations. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2016. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/95354.

Council of Science Editors:

Okur S. Enabling modern concurrency through program transformations. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2016. Available from: http://hdl.handle.net/2142/95354

26. Jin, Dongyun. Making runtime monitoring of parametric properties practical.

Degree: PhD, 0112, 2012, University of Illinois – Urbana-Champaign

 Software reliability has become more important than ever in recent years, as a wide spectrum of software solutions are being used on various platforms. To… (more)

Subjects/Keywords: Runtime Monitoring; Parametric Monitoring; Optimization; Scalability; Monitoring Oriented Programming

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Jin, D. (2012). Making runtime monitoring of parametric properties practical. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/34333

Chicago Manual of Style (16th Edition):

Jin, Dongyun. “Making runtime monitoring of parametric properties practical.” 2012. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/34333.

MLA Handbook (7th Edition):

Jin, Dongyun. “Making runtime monitoring of parametric properties practical.” 2012. Web. 28 Feb 2021.

Vancouver:

Jin D. Making runtime monitoring of parametric properties practical. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2012. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/34333.

Council of Science Editors:

Jin D. Making runtime monitoring of parametric properties practical. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2012. Available from: http://hdl.handle.net/2142/34333

27. Meredith, Patrick. Efficient, expressive, and effective runtime verification.

Degree: PhD, 0112, 2012, University of Illinois – Urbana-Champaign

 Runtime Verification is a quickly growing technique for providing many of the guarantees of formal verification, but in a manner that is scalable. It useful… (more)

Subjects/Keywords: Runtime Verification; Software Engineering; Predictive Analysis; Runtime Monitoring; Runtime Monitoring Semantics

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Meredith, P. (2012). Efficient, expressive, and effective runtime verification. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/34253

Chicago Manual of Style (16th Edition):

Meredith, Patrick. “Efficient, expressive, and effective runtime verification.” 2012. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/34253.

MLA Handbook (7th Edition):

Meredith, Patrick. “Efficient, expressive, and effective runtime verification.” 2012. Web. 28 Feb 2021.

Vancouver:

Meredith P. Efficient, expressive, and effective runtime verification. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2012. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/34253.

Council of Science Editors:

Meredith P. Efficient, expressive, and effective runtime verification. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2012. Available from: http://hdl.handle.net/2142/34253

28. Li, Sihan. Whole-system testing and analysis of actor programs.

Degree: PhD, Computer Science, 2019, University of Illinois – Urbana-Champaign

 As multi-core processors and networked systems become the norm, concurrent programming has been widely adopted in industry. Practitioners have used concurrent programming models to build… (more)

Subjects/Keywords: Actor; Concurrent System; Concurrent Bug; Test Generation; Message Flow Graph; Backward Symbolic Execution; Behavioral Model; Specification Diagram; Static Analysis; Dynamic Invariant

Page 1 Page 2 Page 3 Page 4 Page 5 Page 6 Page 7

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Li, S. (2019). Whole-system testing and analysis of actor programs. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/106237

Chicago Manual of Style (16th Edition):

Li, Sihan. “Whole-system testing and analysis of actor programs.” 2019. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/106237.

MLA Handbook (7th Edition):

Li, Sihan. “Whole-system testing and analysis of actor programs.” 2019. Web. 28 Feb 2021.

Vancouver:

Li S. Whole-system testing and analysis of actor programs. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2019. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/106237.

Council of Science Editors:

Li S. Whole-system testing and analysis of actor programs. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2019. Available from: http://hdl.handle.net/2142/106237

29. Cozzie, Anthony E. Detecting and Combining Programming Patterns.

Degree: PhD, 0112, 2011, University of Illinois – Urbana-Champaign

 This thesis explores detecting patterns in the most general interface to computers: source and assembly program code. Because writing computer programs correctly is so difficult,… (more)

Subjects/Keywords: data structures; programming patterns; macho

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Cozzie, A. E. (2011). Detecting and Combining Programming Patterns. (Doctoral Dissertation). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/24358

Chicago Manual of Style (16th Edition):

Cozzie, Anthony E. “Detecting and Combining Programming Patterns.” 2011. Doctoral Dissertation, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/24358.

MLA Handbook (7th Edition):

Cozzie, Anthony E. “Detecting and Combining Programming Patterns.” 2011. Web. 28 Feb 2021.

Vancouver:

Cozzie AE. Detecting and Combining Programming Patterns. [Internet] [Doctoral dissertation]. University of Illinois – Urbana-Champaign; 2011. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/24358.

Council of Science Editors:

Cozzie AE. Detecting and Combining Programming Patterns. [Doctoral Dissertation]. University of Illinois – Urbana-Champaign; 2011. Available from: http://hdl.handle.net/2142/24358


University of Illinois – Urbana-Champaign

30. Bangalore Jagannath, Vilas Shekhar. Reducing the costs of bounded-exhaustive testing.

Degree: MS, 0112, 2010, University of Illinois – Urbana-Champaign

 Bounded-exhaustive testing is an automated testing methodology that checks the code under test for all inputs within given bounds: first the user describes a set… (more)

Subjects/Keywords: bounded-exhaustive testing; test merging; test clustering; test selection; test generation; software testing

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

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

APA (6th Edition):

Bangalore Jagannath, V. S. (2010). Reducing the costs of bounded-exhaustive testing. (Thesis). University of Illinois – Urbana-Champaign. Retrieved from http://hdl.handle.net/2142/16865

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

Bangalore Jagannath, Vilas Shekhar. “Reducing the costs of bounded-exhaustive testing.” 2010. Thesis, University of Illinois – Urbana-Champaign. Accessed February 28, 2021. http://hdl.handle.net/2142/16865.

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

MLA Handbook (7th Edition):

Bangalore Jagannath, Vilas Shekhar. “Reducing the costs of bounded-exhaustive testing.” 2010. Web. 28 Feb 2021.

Vancouver:

Bangalore Jagannath VS. Reducing the costs of bounded-exhaustive testing. [Internet] [Thesis]. University of Illinois – Urbana-Champaign; 2010. [cited 2021 Feb 28]. Available from: http://hdl.handle.net/2142/16865.

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

Council of Science Editors:

Bangalore Jagannath VS. Reducing the costs of bounded-exhaustive testing. [Thesis]. University of Illinois – Urbana-Champaign; 2010. Available from: http://hdl.handle.net/2142/16865

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

[1] [2]

.