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
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 (Stanfrod 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.
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
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
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
Maintained
by 