Software
Testing Researchers
[Feedback]
[A] [B] [C] [D] [E] [F] [G] [H] [I] [J] [K] [L] [M] [N] [O] [P] [Q] [R] [S] [T] [U] [V] [W] [X] [Y] [Z] [Others]
Bernhard
K.
Aichernig (Graz U. of Technology, Austria) Specification-based
test
generation
Roger
T.
Alexander (Washington State U.) OO Testing
Rajeev
Alur (U. Penn) Specification,
Analysis,
and Testing of Scenario-based Requirements
Paul Amman (Georgia Mason U.) Model
Checking
to Test Generation
James
H. (Jamie) Andrews (U. Western Ontario, Canada) Log
file
analysis theses Log
File Analysis Language (download) ATG
Based
on Test Oracles
Sten
F.
Andler (U. Skövde, Sweden) Real-time testing
Anneliese
Katharina Amschler Andrews (U. Denver) Domain Testing, Regression
Testing
Mikhail
Auguston (Naval Postgraduate School) Algorithmic
and
Automatic Debugging, Formal methods in testing
James Bach (Satisfice) Software Testing
Thomas
Ball (MSR) OO Testing, Regression Testing, Testing,
Verification
and Measurement
Michael
Barnett (MSR) Spec-Based Testing, AsmL
(download)
Valerie
Barr (Union College) AI
and
Testing
Benoit
Baudry (INRIA, France) Testing in the model-driven development
Antonia
Bertolino (Italy) CowSuite
Tool,
An Automated Test Strategy Based on UML (download)
Sami
Beydeda (Universitat Leipzig, German) Component
testing
and test generation
Jim
Bieman (Colorado State U.) Testing
Robert
Binder (mVerify Corporation) Object-oriented testing, Model-based
mobile testing
Paul
E.
Black (NIST) Automated
Test
Generation from Formal Specifications Vokun
aftgCode
nist
product Testing
Papers
Spec Test
Manuel
Blum (UC
Berkeley) Testing thoery
Kirill
Bogdanov
(U. Sheffield, UK) Testing
Statecharts
Lydie du
Bousquet
(U.. J. Fourier, Grenoble, LIG labs) Tobias
tool
- combinatorial testing
Jonathan
Bowen
(London South Bank U., UK) FORTEST
Chandrasekhar
Boyapati
(U. Michigan at Ann Arbor) Automated Test Generation, Korat
Lionel
Briand (U.
Carleton, Canada) Testing of
Object-oriented software sysTEms with the Unified Modeling Language SQUALL
Ed Brinksma (U. Twente, The
Netherlands) FMT group at utwente.nl
TorX
Didier Buchs (Swiss Federal
Institute of Technology) Testing
Object-Oriented
Software
Tevfik
Bultan (UCSB) Monitor
Verifier
(download)
Margaret Burnett (Oregon State
U.) Testing
Visual
Programming
Ugo
Buy (U. Illinois, Chicago) OO Testing
John Callahan (West Virginia U.) Test
oracle
generation using model checking
David
Carrington (U. Queensland, Australia) Formal methods in testing
Richard
Carver (George Mason U.) Concurrent Testing
Ana
Rosa
Cavalli (Institut National des Telecommunications, France)
Protocol testing
Wing-Kwong
Chan (U. HK, China) Software Testing
Kai
H.
Chang (Auburn U.) OO
Testing
and Test Generation
Mei-Hwa
Chen (U. at Albany State U. New York) Object-Oriented
Testing
and Reliability Modeling JATO
(download)
Yinong
Chen (Arizona State U.) Software
Reliability
and Testing
Yih-Farn
Robin
Chen (AT&T Labs) Regression Testing
T.Y.
Chen (Swinburn U., Australia) Software
Testing, Specification-based testing
Yoonsik
Cheon (U. of Texas at El Paso) Specification-based testing,
JML-based testing, UTJML
(download)
Koen
Claessen (Chalmers U. of Tech, Sweden) QuickCheck -
specification-based testing for Haskell programs
John
A
Clark (York U., UK) Test
Generation York
U.
testsig
Rance
Cleaveland (U. Maryland) Testing Theory
Alberto
Coen-Porisini (U. degli Studi dell'Insubria - Varese, Italy)
Testing
Myra
B.
Cohen (U. Nebraska-Lincoln) Interaction
testing
Jonathan
Cook (New Mexico State U.) Dynamic Analysis and Event Model
Inference
James
H.
Cross (Auburn U.) Test Generation
Pedro R D'Argenio (National U. of Cordoba) Real-time
testing
Paul
P.
Dasiewicz (U. Waterloo, Canada) OO Test
Giovanni
Denaro (U. College London, UK) Fault proneness models
John
Derrick (U. Kent, UK) Spec-based
testing
Arie
van Deursen (Delft U. Tech, Netherlands) Test
refactoring,
testability Bruntink
Daniel
Deveaux (IUT de Vannes, France) JMutator
Triskell
Yves
Deville (Université catholique de Louvain, Belguim) Test
Generation
Laura
K.
Dillon (MSU) Automated
Suport
for Testing and Debugging of Real-Time Programs Using Oracles
Wei
Ding (U. Houston-Clear Lake) Model
checking
for testing
John
Dobson (U. Newcastle Upon Tyne, UK) Software Testing
Michael
R.
Donat (U. British Columbia) Specification-Based Test Generation
Mireille
Ducasse (IRISA, France) Debugging
Ishbel
Duncan (U. St. Andrews) Visualizing
Testing
Stephen H. Edwards (VT) Automated
testing Software
Testing
Education web-cat
Sebastian Elbaum (U. Nebraska-Lincoln) Maptext
Monitoring Java Programs
(Download) Prioritization
Site
Michael
Ernst (MIT) Testing based on inferred specifications Daikon (download)
Kousha
Etessami (U. Edinburgh, UK) Automata
testing,
model inference
David
Evans (U Virgina) Differential Program Analysis
Martin
S.
Feather (JPL CIT) Increasing
the
Cost-Effectiveness of Analysis, Test Automation, V&V, &
Design Debugging
Jean-Claude
Fernandez (Université Joseph Fourier, France) Test
case
generation The test sequence generator TGV cadp
(download)
Franck
Fleurey (Sodifrance, France) Model-based testing, testing in
the model-driven development
Phyllis
Frankl (Polytechnic U.) Dataflow testing, Database
testing Deng, Yuetang
Deborah
A.
Frincke (U. Idaho) Software Testing
Jerry Gao (San
Jose State U.) OO Testing, Component Testing
Susan
L.Gerhart (Embry-Riddle Aeronautical U.) Testing theory
Sudipto
Ghosh (Colorado State U.) UML Testing and Mutation
Testing
Patrice Godefroid (Bell Labs) VeriSoft
testing concurrent reactive software (C, C++, Tcl, etc.). (download)
John
B. Goodenough (Software Engineering Institute) Testing theory
Arnaud
Gotlieb (INRIA, France) Test
generation
Jens
Grabowski (Universität Lübeck, Germany) Formal methods in
testing
Wolfgang
Grieskamp (MSR) Spec-Based Testing, AsmL
(download)
Michael
Grottke (U. Erlangen-Nuremberg, Germany) Software
Reliability
and Testing
Neelam
Gupta (U. Arizona) Automatic
Test
Generation, Testing Multi-threaded Programs
Rajiv
Gupta (U. Arizona) Dataflow testing
Yuri
Gurevich (MSR) Spec-Based Testing, AsmL
(download)
Walter
J.
Gutjahr (U. Vienna, Australia) Testing
theory
Ákos Hajnal (Eötvös Lóránt U. of Sciences) Software
Testing
Dick
Hamlet (Portland State U.) Software
testing
theory and reliability
Mary Jean Harrold (Georgia Tech) Aristotle
Analysis
System (Download) New
Aristotle
documentation Project
Alan Hartman (IBM
Haifai) Automated
Generation and Execution of Test Suites for DIstributed
Component-based Software (Agedis)
Mark
Harman (Brunel U., UK) TeTra-
Testability
Transformation Slicing
to
aid testing The
FermaT
Program Transformation System (download)
Warren
Harrison (Portland State U.) The
Transaction
Based Testing Workbench
Klaus
Havelund (NASA) Runtime verification and test generation, Java
PathFinder
Jane
E. Hayes
Xudong
He (Florida International U.) Testing
thoery
Connie
Heitmeyer (Naval Research Lab) Model Checking to ATG, Timed
Automata Modeling Environment
Mats
P. E. Heimdahl (UMN) Model checking to test generation
Keijo
Heljanko (U. Stuttgart, Finland) Testing
and
Model checking Testing
tools
(download) Bomotest
testing
tool (download)
Anders
Hessel (U. Uppsala, Sweden) Uppaal
(download) Test
Generator
(download) Automated
Testing
Rob
Hierons (Brunel U., UK) Formal
methods in testing, genetic
algorithms
to mutation testing.
Daniel
M. Hoffman (U. Victoria, Canada) Automated class testing, Roast
(download)
Deter
Hogrefe (U. Lübeck, Germany) Protocol testing and formal methods
Jeff
Hollingsworth (U. Maryland) Dynamic Instrumentation Dyninst
(download)
Michael
Holcombe (U. Sheffield) OO
Testing Improving
Evolutionary
Testing in the Presence of State Behaviour
Gerard
J.
Holzmann (NASA/JPL) UBET
(download)
Hyoung
Seok
Hong (Concordia U.) Model
checking
to test generation
Bob
Horgan (Telcordia) Telcordia
Efficient Test Case Generation Service
Susan
B.
Horwitz (U Wisconsin) Analysis for
Testing
William
E.
Howden (UCSD) MOCA
(Model
Oriented Capture Analysis)
Mike
Holcombe (U. Sheffield, UK) OO
Testing
Pei
Hsia (UT Arlington) OO Testing
Jung-chang
Huang (U. Huston) Software Testing
Paola
Inverardi (U. L'Aquila, Italia) Architecture-based
testing
Pankaj Jalote (IIT Kanpur, India) Testing and program checking C
Coverage analyzer and program analysis tools (download) Java
Coverage
Analyzer (download) Web
Site
Performance Testing Tool (download)
Clinton
L.
Jeffery (New Mexico State U.) Program Monitoring, Alamo
(download)
Bingchiang
Jeng (National Sun Yat-sen U.,
Taiwan) Testing
Bob
Jenkins jenny
-
combinatorial testing (download)
Thierry
Jéron (IRISA/INRIA, France) Formal
methods
in testing
Jean-Marc
Jezequel (IRISA, France) UML/OO
Testing UMLAUT (download)
TGV
(download) triskell
Bryan
Jones (U. Glamorgan) Software
Testing
Bengt
Jonsson (Uppsala U., Sweden) Automated
Testing
Jeffrey
J.
Joyce (U. British Columbia, Canada) Security testing, formal
methods in testing
William
S.
(Bill) Junk (U. Idaho) Software Testing
Mariam Kamkar (Linköpings universitet,
Sweden) Software
Testing
and Analysis Jon
Edvardsson A
Survey on Automatic Test Data Generation
Erik
Kamsties (IESE, German) Testing
Cem
Kaner (Florida Institute of Tech) Software Testing
Leow
Wee Kheng (National University of Singapore) OO
test
generation
Sarfraz
Khurshid (UT Austin) Specification-based OO testing, Mulsaw
Philip
Koopman (CMU) Ballista:
Robustness testing of Off-The-Shelf Software
Bogdan
Korel (Illinois Institute of Technology) Test
data
generation
David
Kung (University of Texas at Arlington) OO Testing
Yong
Rae
Kwon (Korea Advanced Institute of Science and Technology, Korea)
Real-time testing
Monica Lam
(Stanford U.) Diduce (download)
Ralf
Lämmel (Centrum voor Wiskunde en Informatica, Netherlands) grammar
testing
Jim
Larus (Microsoft Research) Mining and debugging specifications
Mark
Last (Ben-Gurion U., Israel) Data mining and software
testing Info-Fuzzy
Network
(IFN) (download) Software
Quality Engineering/Data Mining (SQE/DM) Laboratory
Gilbert Laycock
(U. Leicester) Software
testing
Gary
T. Leavens (Iowa State U.) Verification, analysis, and testing
based on specifications, JML
(download)
Yves
Ledru (Domaine U., France) Specification-based testing. Tobias
tool
- combinatorial testing, JML-based testing
David
Lee (Bell Labs, Beijing, China) Formal
methods
in testing
Insup
Lee (U Penn) Model-based
Test
Generation Test
Suite
for Realtime Java. Run-time
monitoring
and checking
Bruno
Legeard (U. de Franche, France) Constraint-based test generation,
Specification-based testing, BZ-Testing-Tools (download), JML-Testing-Tools
(download)
Jeff
Lei (U. Texas, Arlington) Concurrent Testing
Raimondas
Lencevicius (Nokia Research Center): debugging and dynamic
analysis
Hareton
K.N.
Leung (Hong Kong Polytechnic U.) Regression Testing, Testing
Nancy
Leveson (MIT) System
and
Software Safety
Donglin Liang (U. Minnesota) Analysis
for Testing
Ben
Liblit (U Wisconsin) The
Cooperative Bug Isolation Project
Chao
Liu (UIUC) Fault
localization, SOBER
(download)
Richard
Lipton (Georgia Tech) Mutation Testing
Bev
Littlewood (City U., UK) Software
Tesing
and Reliability
Shaoying
Liu (Hosei U., Japan) SOFL
Testing
Yashwant K. Malaiya
(Colorado State U.) Testing
& Reliability
Y.
S.
Ma (KAIST, Korea) Mutation testing
Brian
Malloy (Clemson U.) Test
Generation
Gaudel
Marie-Claude (U. Paris-Sud, France) Algebraic
Spec-Based Testing
Brian
Marick (Testing Foundations) GCT
(download) GCT2
(download)
Bruno
Marre (U. Paris-Sud LRI) Algebraic
spec-based
testing
Aditya
P.
Mathur (Purdue U.) Testing Distributed Software Testing
Savi
Maharaj (U. Stirling, UK) Test
Case
Extraction from Correctness Proofs Paper
Darko
Marinov (UIUC) Specification-based OO testing, Mulsaw
Delia
I.S.
Marx (Mercy College) Dataflow testing
Sjouke Mauw (Eindhoven U. of Technology, NL) Formal
methods in testing
Peter
M.
Maurer (Baylor U.) DGL
Manual DGL
(download)
John
McGregor (Clemson U.) Component Testing, Product Line
Testing korson-mcgregor
Il-Hyung Cho
Gary
E.
McGraw (Cigital) Testing
Karl
Meinke (Nada, Sweden) Software
Test
Bench mutation
testing online
mutation
testing bibliography mutation
tool xjobb
Michael
Meisinge (Technische Universität München, Germany)
UML-based
testing,
State machine testing
Atif
Memon (U. Maryland) GUI Testing and Web Testing
Amir
Michail (UNSW, Australia) Stabilizer
-
Quickly Stabilizing Buggy GUI Applications
Ana
Milanova (RPI) Analysis
for
testing
John
Morris (U. Western Australia) Test
Pattern
Verifier
Henry
Muccini (U. L'Aquila, Italy) Software
Architecture
and Testing Testing
John
Munson (U. Idaho) Software
Testing
Branson
W.
Murrill (Virginia Commonwealth U.) Perturbation-based
Testing
John
D.
Musa (Independent Consultant) Software Reliability
Madan
Musuvathi (Microsoft Research) Testing,
Verification
and Measurement
Clémentine Nebut (Inria, France) Product line testing
Rocco
De Nicola (Università degli Studi di Firenze, Italy) Formal
method in testing
Brian
Nielsen (Aalborg U., Denmark)
Automated testing Uppaal
TRON (download)
Jeff Offutt (George Mason
U.) Spec-based
Testing ATDG
Mutation
Kurt
M.
Olender (HP) Algebraic-Spec Testing
Alex Orso (Georgia Tech) OO Testing,
Regression Testing, In-Field Testing. InsECT
(Download)
Instrumentation, Execution, and Coverage/profiling Tool for Java
Tom Ostrand (AT&T Labs
Research)
Ioannis Parissis (U. Joseph Fourier / LSR-IMAG, France)
Testing
Doron
A.
Peled (U. Warwick, UK) Formal
methods
in testings
Dennis
Peters (McMaster U., Canada) Real-time system testing
Paul
Pettersson (U. Uppsala, Sweden) Uppaal
(download) Test
Generator
(download) Automated
Testing
Cécile
Péraire (Swiss Federal Institute of Technology, Sweden) OO Testing
Alexander
Petrenko (Russian Academy of Sciences, Russia) Atssoft
J@T unitesk
RedVerst
(specification-based test generation)
Bret
Pettichord (Tivoli Systems) Test
Automation
Mauro
Pezzè (U. degli Studi di Milano, Italy)
Testing kbehavior
(download) objectflattener
(download)
Andy
Podgurski
(Case Western Reserve U.) Testing and reliability, Observation-based
testing
Lori L. Pollock
(U. Delware) OO Testing
Adam
Porter (U.
Maryland) Testing
Alexander Pretschner (Technische U.,
Germany) Model-based
Testing Pretschner Constraint
Based ATDG (within AutoFocus)
Robert L. Probert
(U. Ottawa, Canada) Protocol testing, E-commerce testing, security
testing.
Bill Pugh
(U. Maryland) Static bug finding (FindBugs),
Concurrency testing
Sasikumar Punnekkat ( Mälardalen University,
Sweden), Quality of Testing, Reliability Estimations &
Efficiency of test designs
Steve Reiss
(Brown U.) Dynamic Analysis, Fault localization
Filippo Ricca
(IRST, Italy) Web testing
Debra Richardson
(UC Irvine) DAS-BOOT Architecture-based
Testing Projects and tools
adlscope
(download)
TAOS Analysis
and Testing
ROSATEA
Harry Robinson (Google)
Model-based testing
Kathleen A.
Romanik
(Rutgers U.) Testing theory
Marc
Roper (U. Strathclyde, Scotland) Testing
Publications
David
Rosenblum (UC Irvine) Component
Testing
Grigore
Rosu (UIUC) Runtime Verification,
Java-MoP(download) Java
MultiPathExplorer: (JMPaX) (download)
Gregg Rothermel (Oregon State
U.) Regression Testing
Nasko Rountev
(Ohio State U.) OO
Testing Publications
John
Rowland (U. Wyoming) Testing theory
Peter
Rüppel (Technische U., German) OO Testing
John
Rushby (SRI International) Model checker to generate tests
Barbara G. Ryder (Rutgers U.)
OO
Testing, Change Impact Analysis
Padmanabhan
(Peter) Santhanam (IBM Research) Software testing
John
Scarpino (Software Testing and Quality Assurance)
Software test tool implementations and assessments
Wolfram Schulte
(MSR) Spec-Based Testing, AsmL
(download)
Stephen
R.
Schach (Vanderbilt U.) Testing
Douglas
C.
Schmidt (Vanderbilt U.) Distributed system testing
Timothy
J
Shimeall (Naval Postgraduate School) Testing
Riccardo
Sisto (Polytechnic of Torino, Italy) Testing
theory
Yannis
Smaragdakis (Georgia Tech) Automated Test Generation, JCrasher
(download) CnC
(download)
Mary
Lou
Soffa (U. Pittsburgh) Software
Test
Generation, GUI Testing, Dataflow testing INT3 SoftTest COPA
Peraphon
Sophatsathit (Chulalongkorn U., Thailand) Test
generation
Neelam
Soundarajan (OSU) OO
Testing,
Component Testing
Amie
Souter (Drexel U.) OO Testing
Gene
Spafford
(Purdue U.) Debugging
Praveen Ranjan Srivastava (BITS PILANI, Inda) Test
prioritization
Bernhand
Steffen
(U. Dortmund, Germany) Model
generation,
web testing, regression testing
Phil
Stocks (Bond U. Australia) Formal
methods
in software testing
Scott Stoller (SUNY) Concurrent
Java Testing
David
Stotts (UNC) An
Informal
Formal Method for Systematic JUnit Test Case Generation
pubs lindsey
Jax
jax testing
Lorenzo
Strigini (City U., UK) Software Testing
Paul
Strooper (Queensland's U, Australia) Practical
Tools
and Techniques for Testing Concurrent Software Components: TestCon
(download)
Neeraj
Suri (Chalmers U. Technology, Sweden) PROPANE (Propagation Analysis Environment)
Kuo-Chung Tai (North Carolina State U.) Concurrent
Testing
Frank
Tip (IBM Research) Change Impact Analysis
Paolo Tonella (ITC-IRST, Italy)
Web application testing, OO testing, eToc:
Evolutionary Testing Of Classes tool (download)
Nigel Tracey (U. York, UK) Test data
generation
Jan
Tretman (U. Twente, The Netherlands) FMT
group
at utwente.nl TorX TorX
testing
tool
(download)
Yves
Le
Traon (ENST Bretagne,
France) OO testing, testing
in the model-driven development
Wei-Tek
Tsai (U. Minnesota, Arizona State U.) Testing
T.H.
Tse (U. Hong Kong,
China) Testing
papers Testing
projects
Roland Untch (Middle Tennessee State
U.) Software Testing
Shmuel
Ur (IBM Research)
Hasan
Ural (U. Ottawa, Canada) Validation
Tools Dataflow
testing
Mark
Utting (U.Waikato, ) Specification-based testing, Testing
Tool
based on B & Z (BZTT) BZ-TT
(download) JML-Testing-Tools
(download)
Margus Veanes (MSR) Spec-Based Testing, AsmL
(download)
Willem
Visser (NASA) Model checking and testing, Java
PathFinder
Jeffrey
Voas (Cigital Labs, Adjunct Prof. West Virginia U.) Testing
Filippos I. Vokolos
(Drexel U.) Regression testing, performance testing, database
testing
Mladen
A.
Vouk (North Carolina State U.) testing, reliability,
fault-tolerance
Dolores
R. Wallace (NIST) Software
Verifcation
and Validation / Testing
Bruce
W.
Weide (Ohio State U.) Component
Testing,
Modular Regression Testing
Elaine Weyuker (AT&T Lab) Testing
Lee
J. White (CWRU) Software Testing
James
A. Whittaker (Florida Institute of Technology) Software Testing
and Reliability
Alan
Williams (U. Ottawa, Canada) Software and Component
Interaction Testing
Laurie
Williams (North Carolina State U.) Software testing and
reliability
Denise
M.
Woit (Ryerson U.) Software Testing and Reliability
Alexander
L.
Wolf (U. Colorado) Test
code
generation, architectural testing Rutherfo
W.
Eric Wong (UT Dallas) Testing
Telcordia
Software Visualization and Analysis Toolsuite
Xsuds - Telecordia
Martin
Woodward (U. Liverpool, UK) Software
Testing
Ye
Wu (George Mason U.) OO Testing, Component
Testing
Min Xie (National U. of Singapore, Singapore) Software
reliability
Tao
Xie (North Carolina State U.) Dynamic
program
behavior inference and software testing
Baowen Xu (Southeast University, China) Software
Testing
Dianxiang Xu (North
Dakota State U.) Aspect-oriented
testing
Mihalis
Yannakakis (Columbia U.) Automata
testing
Michal Young (U. Oregon) Perpetual
Testing Gretel
(download) PaceMaker
Brew
Java Protocols
Project
Y
T Yu (City U. of HK, HK) Software testing
Steven Zeil (Old Dominion U.) Testing and
Reliability
Marvin
Zelkowitz (U. Maryland) Security
testing
Andreas Zeller (U. des Saarlandes,
German) Eclipse
delta
debugging Delta
Debugging Memgraphs
Jian
Zhang (Chinese Academy of Sciences, China) Test
generation
using symbolic execution
Jianjun
Zhao (Shanghai Jiaotong U., China) Afanti--Analysis
and
Testing of Aspect-Oriented Software
Hong
Zhu (Oxford Brookes U., UK) Testing
thoery
Mohammad
Zulkernine (Queens U., Canada) Software Reliability Engineering
Stuart
H.
Zweben (Ohio State U.) OO
Testing
AOP
Testing and Verification Researchers
Who's Who in Software Testing Research (STORM)
Who's
Who
in Object-Oriented Testing
Specification-Based
Testing
Links
Papers
and
Articles in Testing
Testing
publications
in conferences
Software
Testing
Using Algebraic Specification Based Test Oracles: TR
Software
Quality
Assurance Links
2004 The 1st
International Workshop on Integration of Testing Methodologies
5th
Workshop on Runtime Verification (RV 2005)
4th
Workshop
on Runtime Verification (RV 2004)
3rd
Workshop
on Runtime Verification (RV 2003)
2nd
Workshop
on Runtime Verification (RV 2002)
1st
Workshop
on Runtime Verification (RV 2001)
2nd
International Workshop on Automated Program Analysis, Testing and
Verification (WAPATV 2001)
1st
International Workshop on Automated Program Analysis, Testing and
Verification (WAPATV 2000)
International
Workshop on Test and Analysis of Component Based Systems (TACOS)
2004
International
Workshop
on Test and Analysis of Component Based Systems (TACOS)
2003
The
IFIP
International Conference on Testing of Communicating Systems 2005
The
IFIP International Conference on Testing of Communicating Systems 2003
with slides
The
IFIP International Conference on Testing of Communicating Systems 2002
ROSATEA
1998: International Workshop on the Role of Software Architecture
in Testing and Analysis
ROSATEA
2006: International Workshop on the Role of Software Architecture
in Testing and Analysis
xp2000 xp2001
xp2002 -
testing session xp2003
testng
slides xp2004
FORTE/PSTV
2000 download
Workshop
on
Testing Software Using Formal Methods 2000
Mutation
2000
ICSE
Workshop
on Dynamic Analysis 2003
Workshop
on
Advancing the State-of-the-Art in Runtime Inspection 2003
International
workshop
on Model Based Testing 2004
UK-Test
2003
European
International
Conference Software Testing Analysis & Review
Testing
Education Workshop
on
the Teaching of Software Testing (WTST)
Software
Testing Research Bibliography Survey
Tao
Xie's Software Engineering Reading List
Software Engineering Awards
Software Engineering Academia Genealogy (North
America)
Academia Related to China and Software Research
Around the World
Software
Engineering Conferences
Tao Xie's Software Engineering Links
Tao Xie's advice collection
