📄 http:^^www.ics.uci.edu^~jueic^
字号:
Date: Thu, 21 Nov 1996 22:53:56 GMT
Server: Apache/1.0.5
Content-type: text/html
Content-length: 3547
Last-modified: Fri, 27 Sep 1996 03:45:42 GMT
<HTML><head><title> Juei Chang </title></head><BODY bgcolor="#FFFFFF" text="#000000" link="#0000ee" vlink="#551a8b"><h1> Juei Chang </h1><!WA0><img src="http://www.ics.uci.edu/~jueic/juei.gif"><ul><LI> Affiliation: <!WA1><A HREF="http://www.ics.uci.edu"> Information andComputer Science</A>, <!WA2><A HREF = "http://www.uci.edu"> University ofCalifornia, Irvine </A><LI> Area: software<LI> Advisor: <!WA3><A HREF="http://www.ics.uci.edu/~jueic//dir/faculty/Software/djr"> Debra Richardson </A><LI> Electronic Mail: jueic@ICS.UCI.EDU<LI> Office: Computer Science II Room 275<LI> Office Phone: (714) 824-4043<LI> Home Phone: (714) 856-2931<LI> Research Interests: Software testing, analysis, and formal methods<P><H3> Research Area: </H3>I am currently a Ph.D. candidate in Information and Computer Science.My dissertation is in the area of specification-based softwaretesting. In particular, my focus is on using formal specifications toderive test cases that can be used to test the specified program. Ihave developed a rule-based approach for deriving test cases fromaxiomatic languages (languages based on predicate logic; Z and ANNAare examples of axiomatic specification languages) and applied it to aformal specification language called the <!WA4><AHREF="http://xenon.stanford.edu/~sankar/adlt-summary.html"> AssertionDefinition Language (ADL)</A>.<H3> Papers: </H3> <LI><!WA5><A HREF=ftp://liege.ics.uci.edu/pub/jueic/ISSTA96.doc.ps>"Structural Specification-based Testing with ADL,"</A> by Juei Chang,Debra J. Richardson, and Sriram Sankar <i>Proceedings of theInternational Symposium on Software Testing and Analysis(ISSTA'96)</i>, January, 1996, San Diego, California. <p><LI><!WA6><A HREF=ftp://liege.ics.uci.edu/pub/djr/ADL-css95.ps.gz>"Automated Test Selection from ADL Specifications,"</A> byJuei Chang, Sriram Sankar, Debra J. Richardson in <i>Prooceedings ofthe First California Software Symposium (CSS'95)</i>, March 1995.<p><LI><!WA7><A HREF=ftp://liege.ics.uci.edu/pub/djr/slicing-iss.ps.gz> "Staticand Dynamic Specification Slicing,"</a> by Juei Chang and DebraJ. Richardson in <i>Prooceeding of the Fourth Irvine SoftwareSymposium,</i> April 1994.<p><LI><!WA8><A HREF=ftp://liege.ics.uci.edu/pub/jueic/survey.ps.gz>"Specification-based Test Selection Techniques,"</a> a survey paperby Juei Chang, June 1996.<p><H3> Presentation Slides: </H3> <LI><!WA9><A HREF=ftp://liege.ics.uci.edu/pub/jueic/BART_slides.ps>"Specification-based Coverage Analysis and Test Selection"</A> presented at Bay Area Round Table, August 18, 1995, PaloAlto, California.<p><LI><!WA10><A HREF=ftp://liege.ics.uci.edu/pub/jueic/ISSTA96_slides.ps>"Structural-specification Based Testing with ADL"</A> presented atthe 1996 International Symposium on Software Testing and Analysis,January 1996, San Diego, California.<p><H3> Other Places: </H3><LI> I have worked at <!WA11><A HREF=http://www.sunlabs.com>Sun MicrosystemsLaboratories</A>(SunLabs) and <!WA12><AHREF=http://www.suntest.com>SunTest</A> for the past three summers.SunLabs is the research division of <!WA13><A HREF=http://www.sun.com>SunMicrosystems, Inc.</A>, and SunTest is a business unit of Sun thatmarkets software testing tools.<p><LI> Visit the <!WA14><AHREF=http://www.ics.uci.edu/~jueic/orchestra.html>UCI SymphonyOrchestra</A> and browse this season's concert schedule.<p><H3> Coming Soon: </H3>A free beta version of <i>JavaScope</i>(tm), my Java code coveragetool, will be available in November 1996.<p><HR><ADDRESS> Department of Information and Computer Science, <BR>University of California, Irvine CA 92717-3425</ADDRESS></BODY></HTML>⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -