251 |
A dynamic integrity verification scheme for tamper-resistance softwareWoo, Yan. January 2005 (has links)
Thesis (M. Phil.)--University of Hong Kong, 2006. / Title proper from title frame. Also available in printed format.
|
252 |
Agent software comprehension explaining agent behavior /Lâm, Dũng Ngọc, January 1900 (has links) (PDF)
Thesis (Ph. D.)--University of Texas at Austin, 2005. / Vita. Includes bibliographical references.
|
253 |
Update programming : a safe approach to software maintenance /Ren, Deling. January 1900 (has links)
Thesis (Ph. D.)--Oregon State University, 2007. / Printout. Includes bibliographical references (leaves 216-223). Also available on the World Wide Web.
|
254 |
A machine learning-based approach for dynamic reliability assessment of mission critical software systems /Challagulla, Venkata Udaya Bhaskar. January 2007 (has links)
Thesis (Ph.D.)--University of Texas at Dallas, 2007. / Includes vita. Includes bibliographical references (leaves 197-208)
|
255 |
Improving error discovery using guided model checking /Rungta, Neha S. January 2006 (has links) (PDF)
Thesis (M.S.)--Brigham Young University. Dept. of Computer Science, 2006. / Includes bibliographical references (p. 31-33).
|
256 |
Combining complementary formal verification strategies to improve performance and accuracyOwen, David R. January 1900 (has links)
Thesis (Ph. D.)--West Virginia University, 2007. / Title from document title page. Document formatted into pages; contains xi, 129 p. : ill. Includes abstract. Includes bibliographical references (p. 125-129).
|
257 |
Quality-driven software architecture model transformation : towards automation /Matinlassi, Mari. January 1900 (has links) (PDF)
Thesis (doctoral)--University of Oulu, 2006. / Includes bibliographical references. Also available on the World Wide Web.
|
258 |
Cooperative bug isolation winning thesis of the 2005 ACM Doctoral Dissertation Competition /Liblit, Ben. January 1900 (has links)
Revised thesis (Ph.D.) - University of California, Berkeley, 2004. / Includes bibliographical references (p. 97-101) and index.
|
259 |
Continuing professional education for software quality assuranceHammons, Rebecca L. January 2009 (has links)
Thesis (D. Ed.)--Ball State University, 2009. / Title from PDF t.p. (viewed on Nov. 11, 2009). Includes bibliographical references (p. 114-119).
|
260 |
Relational specification as a testing oracleSandhu, Harjinder. January 2001 (has links)
Thesis (M.S.)--West Virginia University, 2001. / Title from document title page. Document formatted into pages; contains vi, 75 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 53-54).
|
Page generated in 0.0461 seconds