软件资源

		http://www.cs.uu.nl/docs/vakken/swe/slides/SWE04-StaticAnalysis.ppt
		http://www.ics.uci.edu/~djr/classes/ics224/lectures/08-StaticAnalysis.pdf
		http://openseminar.org/se/modules/184/index/screen.do
		http://computing-dictionary.thefreedictionary.com/Static+code+analysis
		http://www.klocwork.com/areas/static_analysis.asp
		http://computing-dictionary.thefreedictionary.com/static+analysis

Static Code Analysis

		http://www.answers.com/topic/static-code-analysis
		http://www.1stcustomsoftware.com/Static_code_analysis-508.html

Lecture Notes On Static Analysis

http://www.cs.utah.edu/classes/cs7938/reading/static.pdf

Static Analysis For Security

http://www.cigital.com/papers/download/bsi5-static.pdf

Security and Safety Through Static Analysis

http://www.ercim.org/publication/Ercim_News/enw49/jensen.html

Intrusion Detection via Static Analysis

http://www.csl.sri.com/users/ddean/papers/oakland01.pdf

Static Analysis With PMD

http://www.onjava.com/pub/a/onjava/2003/02/12/static_analysis.html

Static Analysis Tools For C Code

http://spinroot.com/static/

Static Analysis Tools

http://www.testingfaqs.org/t-static.html

Software Metrics and Static Analysis

http://www.cs.queensu.ca/Software-Engineering/archive/static.html

Static Analysis of Executables To Detect Malicious Patterns

http://www.cs.wisc.edu/wisa/papers/safeTR1467/cj03.pdf

Putting Static Analysis To Work For Verification: A Case Study

http://www.cs.wisc.edu/wpis/papers/issta00.pdf

Static Analysis Using Eclipse Test and Performance Tools Platform (TPTP)

http://www.eclipsecon.org/2006/Sub.do?id=339

Static Source Code Analysis

http://www.nku.edu/~waldenj1/research/static_analysis.html

Static Analysis of Role-Based Access Control in J2EE Applications

http://cis.poly.edu/~gnaumovi/papers/j2ee-tavweb.pdf

A Gentle Introduction to Static Analysis and Logic Programming

http://www.cs.mu.oz.au/~schachte/lpanalysis.html

On the Complexity Analysis of Static Analyses

http://citeseer.ist.psu.edu/241040.html

Combined Static and Dynamic Analysis

http://research.nii.ac.jp/~cartho/papers/aiool-2005.pdf

JDBC Checker: A Static Analysis Tool For SQL/JDBC Applications

http://www.cs.ucdavis.edu/~su/publications/demo.pdf

Static Analysis 2006 (Course)

http://www.brics.dk/~mis/static.html

Static Analysis Lecture Notes

http://www.brics.dk/~mis/static.pdf

Validation of Critical Software By Static Analysis and Abstract Testing

http://www.di.ens.fr/~cousot/projects/DAEDALUS/public/seminar/programme.shtml

Where To Use Static Analysis Tools

http://www.securityinnovation.com/security-report/november/staticAnalysis3.htm

Static Program Analysis

		http://www.inria.fr/rapportsactivite/RA2005/lande/uid7.html
		http://www.irisa.fr/lande/jensen/spa.html

Static Analysis Reports

http://publib.boulder.ibm.com/infocenter/wbihelp/v6rxmx/index.jsp?topic=/com.ibm.btools.help.modeler.doc/doc/concepts/reports/
staticanalysisreports.html

Static Analysis For Dynamic XML

http://xml.coverpages.org/ChristensenPLANX2002.pdf

Type Inference and Static Analysis for Object-Oriented Software

http://www.cs.ucla.edu/~palsberg/typeflow.html

Evaluating and Tuning A Static Analysis To Find Null Pointer Bugs

http://www.cs.umd.edu/~jspacco/marmoset/papers/hovemeyer-paste2005.pdf

Static Analysis of Concurrent Systems

http://laser.cs.umass.edu/analysis.html

Fast Static Analysis Of C++ Virtual Function Calls

http://portal.acm.org/ft_gateway.cfm?id=236371&type=pdf

Static Analysis of Upper and Lower Bounds on Dependences and Parallelism

http://www.cs.umd.edu/projects/omega/subsectionstar3_1_2.html

XML Access Control Using Static Analysis

http://www.dsi.unive.it/~avp/murata.pdf

TPTP Static Analysis Tutorial Part 1: A Consistent Analysis Interface

http://www.eclipse.org/tptp/home/documents/process/development/static_analysis/TPTP_static_analysis_
tutorial_part1.html

Static Analysis and Deductive Verification of Programs

http://publications.lib.chalmers.se/records/full_record/18456.html

Static Analysis For Java In Eclipse

http://www.cs.purdue.edu/homes/jv/plditut/eclipse/index.html

Overview of Static Analysis In IBM RAD 6.0

http://librenix.com/?inode=6185

Improving Software Quality Through Static Analysis

http://www.qa-systems.com/concepts/Improving%20Software%20Quality%20through%20Static%20Analysis%201.0.1.pdf

Program Slicing

		http://www.9iv.com/down/soft/2006.htm
		http://www.ssw.uni-linz.ac.at/Research/Projects/ProgramSlicing/
		http://www2.umassd.edu/SWPI/slicing/loyola/survey.pdf
		http://bandera.projects.cis.ksu.edu/papers/slicing.shtml

A Survey of Program Slicing Techniques

http://citeseer.ist.psu.edu/tip95survey.html

The Unravel Program Slicing Tool

http://hissa.nist.gov/unravel/

The Wisconsin Program-Slicing Tool, Version 1.1

http://www.cs.wisc.edu/wpis/slicing_tool/

Wisconsin Program Slicing Project

http://www.cs.wisc.edu/wpis/html/

Dependence Graphs and Program Slicing

http://www.grammatech.com/research/slicing/slicingWhitepaper.html

An Overview of Program Slicing

http://www.dcs.kcl.ac.uk/staff/mark/sf.html

Using Program Slicing to Detect Security Problems

http://www.informatik.uni-hamburg.de/SVS/teaching/thesis/DT_program_slicing.php

Program Slicing and Model Checking

http://vv.cs.byu.edu/~msl/blog/archives/000585.html

Symbolic Execution and Program Testing

http://portal.acm.org/citation.cfm?id=360252

Generalized Symbolic Execution For Model Checking and Testing

http://sdg.csail.mit.edu/pubs/2003/GSE.pdf

Symbolic Execution As A Tool For Validation Of Specifications

http://www.cs.man.ac.uk/cstechrep/Abstracts/UMCS-89-7-1.html

Using Symbolic Execution For Verifying Safety-Critical Systems

http://www.cs.man.ac.uk/cstechrep/Abstracts/UMCS-89-7-1.html

A Symbolic Execution Based Approach For Verifying Safety Critical Software

http://www.lta.disco.unimib.it/homepage/giovanni.denaro/papers/TSE(submitted)2004.pdf

White Box Testing and Symbolic Execution

http://webcourse.cs.technion.ac.il/234321/Winter2004-2005/ho/WCFiles/white-box-symbolic.ppt

Test Generation Based On Symbolic Execution

http://www.csc.ncsu.edu/faculty/xie/she/index.html

A Unified Symbolic Execution System

http://csdl2.computer.org/persagen/DLAbsToc.jsp?resourcePath=/dl/proceedings/&toc=comp/proceedings/aiccsa/2001/1165/00/
1165toc.xml&DOI=10.1109/AICCSA.2001.934045

Unit Tests Reloaded: Parameterized Unit Testing with Symbolic Execution

http://research.microsoft.com/research/pubs/view.aspx?type=Technical%20Report&id=1009

Verifying Concurrent Systems With Symbolic Execution

http://research.microsoft.com/research/pubs/view.aspx?type=Technical%20Report&id=1009

Combining Symbolic Execution and Model Checking To Reduce Dynamic Program Analysis Overhead

http://www.unab.edu.co/editorialunab/revistas/rcc/pdfs/r61_art4_r.pdf

Using Symbolic Execution To Guide Test Generation

http://www3.interscience.wiley.com/cgi-bin/abstract/109792657/ABSTRACT?CRETRY=1&SRETRY=0

Verification of Java Programs using Symbolic Execution and Invariant Generation

http://citeseer.ifi.unizh.ch/pasareanu04verification.html

Combining Static Concurrency Analysis with Symbolic Execution

http://portal.acm.org/citation.cfm?coll=GUIDE&dl=GUIDE&id=53076

Peer Review

		http://whatis.techtarget.com/definition/0,,sid9_gci936459,00.html
		http://www.webtechniques.com/archives/2000/12/corp/

Peer Reviews

http://members.aol.com/ONeillDon2/peer-reviews.html

Peer Reviews In Software : A Little Help From Your Friends

http://www.informit.com/articles/article.asp?p=24370&rl=1

Peer Reviews – A Key Process Area For CMM Level 3

http://aelinik.free.fr/cmm/tr25_l3g.html

Peer Review Templates and Checklists

http://www.softwaredioxide.com/channels/ConView.asp?id=6309

Peer Reviews In Software: A Practical Guide (Book 2001)

http://www.amazon.com/exec/obidos/tg/detail/-/0201734850?v=glance

Implementing Peer Reviews

http://www.sasqag.org/QAIImplementing_Peer_Reviews.doc

Software and Peer Review

http://www.cindoc.csic.es/cybermetrics/articles/v4i1c3.html

On Peer Review

http://home.hiwaay.net/~taylorc/software/development/lessons/peer-review.html

Conducting Software Peer Reviews

http://www.pesg.com/conducting.html

Collaborative Peer Code Review

http://www.codehistorian.com/codecollab-overview.php

Structured Walkthrough

		http://www.wordwebonline.com/en/STRUCTUREDWALKTHROUGH
		http://itech.fgcu.edu/cis/slides/chapter13-b.ppt
		http://serel.cis.famu.edu/~amoussa/cis4301/chapter04.ppt

Structured Walkthroughs

		http://www.hep.wisc.edu/~jnb/structured_walkthroughs.html
		http://www.comp.glam.ac.uk/Teaching/projectmanagement/qualitycontrol3f.htm

Structured Walkthroughs (Book 1989)

http://www.amazon.com/gp/product/0138552894/104-8064184-3529539?v=glance&n=283155

Structured Walkthrough (SWT) Process Guide

http://cio.doe.gov/ITReform/sqse/download/SW-V3-G1-0902.pdf

Structured Walkthroughsand Formal Technical Reviews

http://www.jodypaul.com/SWE/WT/walkthroughs.html

SDM Guide: Structured Walkthroughs and Technical Reviews

http://www.dep.state.pa.us/dep/deputate/oit/SDM/inHTML/HtmlFiles/SDM/StyleGuide/sg_walkthru.htm

Best Practices For Structured Walkthrough

		http://www.recoverychronicles.com/MediaPR/eNewsletter/June2005/437/Article.asp?ID=41&FromNews=&ArticleID=437
		http://www.strohlsystems.com/Software/_files/IncidentManager/StructuredWalkthrough.pdf

Managing a Structured Walkthrough with a Very Large Group

http://cwx.prenhall.com/bookbind/pubbooks/bp_hoffer_modernsad_3/chapter6/essay2/deluxe-content.html

Software Inspections and Structured Walkthroughs (Course)

		http://www.alliancenetwork.ca/html/course.php?action=viewCourse&courseId=335
		http://www-304.ibm.com/jct03001c/services/learning/ites.wss/ca/en?pageType=course_description&courseCode=QF150CE&country=ca&language=en