软件资源

		http://www.soft.com/QualWeek/QWE2002/Papers/E1.html
		http://www.lta.disco.unimib.it/didattica/Dottorato/Presentazioni/Testing%20Component-Based%20Systems.pdf

Testing Component-Based Systems: The Integrator Viewpoint

http://www.uku.fi/wwwdata/julkaisutoiminta/julkaisut/2004/200400550.html

Component Testing

http://www.users.globalnet.co.uk/~rxv/CBDmain/cbdtesting.htm

UML Based Integration Testing For Component-Based Software

		http://www.ise.gmu.edu/~offutt/rsrch/papers/umlcomp03.pdf
		http://www.iccbss.org/2003/presentations/Wu_121305VS.pdf

COMPSAC2006 - 2nd International Workshop on Testing and Quality Assurance for Component-Based Systems (TQACBS'2006)

http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/events/06/060918-compsac-tqacbs.html

Built-In Contract Testing For Component-Based Software Development

http://www.verwaltung.uni-mannheim.de/i3v/00068900/18207091.htm

Risk Management In Component-Based Development

http://www.comp.lancs.ac.uk/computing/aop/papers/PersAsp_ECOOPWS2001.pdf

Built-In Contract Testing In Model-Driven, Component-Based Development

http://www.component-plus.org/pdf/AtkinsonGross.pdf

Testing and Maintaining Component-Based Software

http://www.cs.albany.edu/~mhc/maintenance/cbs.html

An Integrated Testing Technique For Component-Based Software

http://ebus.informatik.uni-leipzig.de/www/media/publications/aiccsa01.pdf

Testing the Reliability of Component-Based Safety Critical Software

http://www.cs.bris.ac.uk/Publications/pub_info.jsp?id=1000690

Developing And Testing XP Embedded Systems - A Component-based Software Approach

http://www.cs.dal.ca/news/def-1596.shtml

Using Component Metacontent To Support The Regression Testing of Component-Based Software

http://www.cs.ucl.ac.uk/staff/D.Rosenblum/Publications/icsm2001.pdf

Component-Based Testing During The Software Development Cycle

http://www.iicm.edu/thesis/gfliess.pdf

Testing and QA in Object and Component Based Development

http://www.trireme.com/whitepapers/process/definition/testing_in_CBD.html

An Approach To Testing Component-Based Software

http://asusrl.eas.asu.edu/cse565/content/others/TestingComponentBasedSys.PDF

Monitoring and Testing of Distributed and Component-Based Systems

		http://www.hpl.hp.com/research/isl/component/index.html
		Exploiting Global Causality in Testing of Distributed and Component-Based Applications
		http://csdl2.computer.org/persagen/DLAbsToc.jsp?resourcePath=/dl/proceedings/&toc=comp/proceedings/icsm/ 2004/2213/00/2213toc.xml&DOI=10.1109/ICSM.2004.1357869

Testing of Component-Based Systems and Software Quality

http://www.gi-ev.de/fileadmin/redaktion/2004_LNI/PDF/p-58.pdf

Capturing and Synthesizing the Behavior of Component-Based Systems

http://pag.csail.mit.edu/daikon/pubs/mariani-tr-lta200401-abstract.html

Built-In Contract Testing In Component-Based Application Engineering

http://clip.dia.fi.upm.es/~clip/Conferences/Colognet/ITCLS-2002/PAPERS/HansGross.pdf

A Framework For Distributed Component Test Certification Facility

http://www.irisa.fr/triskell/publis/2001/Ramakrishnan01.pdf

Testing Reusable Components In Safety-Critical Real-Time Systems

http://www.idt.mdh.se/cbse-book/presentations/14-chapterWC.ppt

Using Component Metadata To Support The Regression Testing of Component-Based Software

http://www-static.cc.gatech.edu/aristotle/Publications/Papers/git-cc-01-38.pdf

Maintaining Evolving Component-Based Software With UML

http://www.tuisr.utulsa.edu/iwicss/Black-box_ Testing_for_Evolving_COTS-Based_Software.ppt

How Marrying Formal Methods and Testing Could Aid Component-based Systems

http://www.cs.iastate.edu/~leavens/FoCBS/voas-node6.html

System and Method for Functional Testing of Distributed, Component-Based Software (Patent)

http://freepatentsonline.com/6505342.html

Built-In Contract Testing In Component-Based Telecom Applications

http://www.iese.fraunhofer.de/pdf_files/iese-107_03.pdf

Testing Concurrent Programs

http://www.cs.bath.ac.uk/~amb/UQC011H2/testing/tests000.html

On Testing Concurrent Programs

http://citeseer.ist.psu.edu/context/1174349/0

A Specification-Based Methodology for Testing Concurrent Programs

http://citeseer.ist.psu.edu/context/283544/0

Towards an Efficient and Scalable Approach to Testing Concurrent Programs

http://ranger.uta.edu/~ylei/rt.html

Testing Concurrent Java Programs using Randomized Scheduling

		http://www.cs.sunysb.edu/~stoller/RV2002.html
		http://cs.haifa.ac.il/courses/softtest/Seminar/TestCoJaPv2-Xp.ppt

Systematically Deriving Partial Oracles for Testing Concurrent Programs

http://csdl2.computer.org/persagen/DLAbsToc.jsp?resourcePath=/dl/proceedings/&toc=comp/proceedings/acsc/2001/0963/00/
0963toc.xml&DOI=10.1109/ACSC.2001.906627

Branch Testing of Concurrent Programs Using Petri Net Models

http://www.informatik.uni-hamburg.de/TGI/pnbib/h/ho_h_f1.html

Reachability Testing Of Concurrent Programs

http://research.microsoft.com/conferences/icfem2004/Presentations/Session2/YuLei.ppt

Reachability Testing: An Approach To Testing Concurrent Programs

http://www.cs.umd.edu/~atif/Teaching/Fall2001/Vijay.ppt

Model-Based Testing of Concurrent Programs With Predicate Sequencing Constraints

http://doi.ieeecomputersociety.org/10.1109/QSIC.2005.42

Tool Support For Testing Concurrent Java Components

http://fidji.ist.lu/users/guelfi/doc/2003_Long_Tool_support_for_testing_concurrent_Java_components.pdf

A Method for Structural Testing of Ada Concurrent Programs Using the Event Interactions Graph

http://csdl2.computer.org/persagen/DLAbsToc.jsp?resourcePath=/dl/proceedings/&toc=comp/proceedings/
apsec/1996/7638/00/7638toc.xml&DOI=10.1109/APSEC.1996.566770

Effective Generation of Test Sequences For Structural Testing of Concurrent Programs

http://ieeexplore.ieee.org/search/wrapper.jsp?arnumber=1467936

JUnit Tool Support for Testing Concurrent Java Programs

http://innovexpo.itee.uq.edu.au/2002/projects/s354033/

Design and Implementation of Test-Case Generation for Concurrent Programs

http://csdl2.computer.org/persagen/DLAbsToc.jsp?resourcePath=/dl/proceedings/&toc=comp/proceedings/apsec/
1998/9183/00/9183toc.xml&DOI=10.1109/APSEC.1998.733728

Test-Case Generation For Concurrent Programs With The Testing Criteria Using Interaction Sequences

http://earth.cs.miyazaki-u.ac.jp/~kat/papers/pdf/apsec99.pdf

Incremental Integration Testing of Concurrent Programs

http://www.cs.umd.edu/~atif/Teaching/Fall2002/StudentSlides/Chuk.pdf

Debugging Concurrent Ada Programs by Deterministic Execution

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

Testing Of Concurrent Programs

http://lcs.ios.ac.cn/~wp/papers.htm

Unit Testing For Concurrent Programs

http://cohesion.rice.edu/engineering/computerscience/research.cfm?doc_id=7787

Modern Multithreading : Implementing, Testing, and Debugging Multithreaded Java and C++/Pthreads/Win32 Programs (Book 2005)

http://www.amazon.com/gp/product/0471725048/104-3789047-7202339?v=glance&n=283155

VYRD: Verifying Concurrent Programs By Runtime Refinement-Violation Detection

http://research.microsoft.com/~qadeer/docs/pldi05.vyrd.pdf

A Framework for Runtime Verification of Concurrent Programs

http://www.researchchannel.org/prog/displayseries.asp?collid=653

On Concurrent Programming

http://www.cs.cornell.edu/ugrad/FBS-Article.htm

A General-Purpose Algorithm For Analyzing Concurrent Programs

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

Debugging Concurrent Programs

http://citeseer.ifi.unizh.ch/context/18542/0

Modular Monadic Slicing of Concurrent Programs

http://www.actapress.com/PaperInfo.aspx?PaperID=17586

Testing Concurrent Programs: An Interpretation of Intuitionistic Logic

http://www-users.cs.umn.edu/~gopalan/papers/constraints-hhp.pdf

Reproducible Testing of Concurrent Ada Programs (Book 1985)

http://www.amazon.com/gp/product/B00072BATQ/104-3789047-7202339?v=glance&n=283155

Slicing Concurrent Programs

		http://www.citidel.org/?op=getobj&identifier=oai:ACMDL:articles.349121
		http://citeseer.ifi.unizh.ch/nanda00slicing.html

Slicing Concurrent Java Programs

http://cse.sjtu.edu.cn/~zhao/pub/pdf/iwpc99.pdf

Context-Sensitive Slicing Of Concurrent Programs

http://pag.csail.mit.edu/reading-group/krinke03slicing.pdf

Advanced Slicing of Sequential and Concurrent Programs

http://www.fernuni-hagen.de/ST/publications/icsm04diss.pdf

Static Analysis of Concurrent Systems

http://laser.cs.umass.edu/publications/index.jsp?category=ANAL

Runtime Verification Of Concurrent Haskell Programs

http://www-i2.informatik.rwth-aachen.de/Staff/Current/stolz/rv/rv04.pdf

Visual Execution of Concurrent Programs

http://www.cse.msu.edu/~ldillon/cmodel-abst.html

Introduction To The Verification of Fine Grain Concurrent Programs

http://www.cl.cam.ac.uk/~vv216/papers/introRG.pdf

System for Assisting a Programmer Find Errors in Concurrent Programs (Patent)

http://www.freepatentsonline.com/6067415.html

JaVis: A UML-Based Visualization and Debugging Environment For Concurrent Java Programs

http://wwwcs.uni-paderborn.de/cs/ag-engels/Papers/2002/LNCSJavis22690163.pdf

Specification-Based Testing of Concurrent Programs

http://innovexpo.itee.uq.edu.au/2002/projects/s355753/thesis.pdf

LASER: Static Analysis of Concurrent Programs

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

Toward A benchmark For Multi-Threaded Testing Tools

http://ase.arc.nasa.gov/havelund/Publications/shmuel-bench-journal-04.pdf

Testing Concurrent Object-Oriented Systems With Spec Explorer

http://www.fortia.org/iday05/talks/veanes.pdf

Testing Java Concurrent Software For Embedded Devices

http://www.kiv.zcu.cz/research/groups/dss/download/presentation-2004-05-17.pdf

Multithreaded Dependence Graphs For Concurrent Java Programs

http://cse.sjtu.edu.cn/~zhao/pub/pdf/pdse99.pdf

Finding Stale-value Errors in Concurrent Programs

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

Combining Static and Dynamic Analysis of Concurrent Programs

http://www.informatik.uni-stuttgart.de/ps-counter/get-references.reengineering.sh?Dynamic_Analysis

Bounded Model Checking of Concurrent Programs

http://www.inf.ethz.ch/personal/daniekro/classes/se-sem/ss2005/papers/192.pdf

ConcurrentTesting - Advanced Testing for Multi-Threaded Applications

http://www.alphaworks.ibm.com/tech/contest/faq

JiJ Simulator – Testing Concurrent Java Software

http://www.kiv.zcu.cz/research/groups/dss/download/presentation-2004-10-22-d.pdf

The Inspection of Concurrent Programs

http://www.sqrl.ul.ie/Papers/sqrl25.pdf

Wanted: A Breakthrough for Testing Distributed Systems

http://www.dynamicobjects.com/d2r/archives/002419.html

Distributed System Stress and Load Testing

http://www.eventhelix.com/RealtimeMantra/Basics/system_stress_testing.htm

Software Fault Injection Testing On A Distributed System – A Case Study

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

Testing a Distributed System: Generating Minimal Synchronised Test Sequences That Detect Output-Shifting Faults

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