Conferences in (Software) Testing
The Dutch Testing Day (De Nederlandse Testdag)
17
th
Dutch Testing Day
University of Twente, Enschede (NL), November 29, 2011
http://www.testdag.nl
WTST - Annual Workshop on Teaching Software Testing
WTST 2012 - Teaching Security-Related Software Testing
Melbourne, Florida, USA, January 27-29, 2012
http://www.wtst.org
DATE - Conference on Design Automation and Test in Europe
DATE 2012
Dresden, Germany, March 12-16, 2012
http://www.date-conference.com
Belgium Testing Days
Brussels, Belgium, March 12-14, 2012
http://www.belgiumtestingdays.com
Model-Based Testing and Engineering
Kos, Greece, March 19-21, special session at
ICIT 2012
http://www.hs-owl.de/fb5/labor/ne/pdf/ICIT_CfP_SS4.pdf
SAC - ACM Symposium on Applied Computing
SAC 2012
Riva del Garda, Trento, Italy, March 25-29, 2012
http://www.acm.org/conferenc2012
SAC-SVT - Software Verification and Testing Track:
http://www.win.tue.nl/sacsvt12
SAC-DADS - Dependable and Adaptive Distributed Systems Track
TACAS - Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems
TACAS 2012
Tallin, Estonia, March 24 - April 1, 2012, part of
ETAPS 2012
h
ttp://www.etaps.org/2012/tacas
MBT - Workshop on Model-Based Testing
MBT 2012
Tallin, Estonia, March 25, 2012, workshop at
ETAPS 2012
h
ttp://mbt-workshop.org
Int. Symposium on Software Testing
4th Int. Symp. on Software Testing 2012
Las Vegas, Nevada, USA, April 16-18, 2012, in association with ITNG 2012
http://www.vteonline.com/ITNG2012
ICST - Int. Conf. on Software Testing, Verification, and Validation
ICST 2012
Montreal, Canada, April 17-21,
2012
http://icst2012.soccerlab.polymtl.ca
ICST 2013
Luxembourg, Luxembourg, 2013
http://www.cs.gmu.edu/~offutt/icst/icst-2013-announce.html
A-MOST - Workshop on Advances in Model Based Testing
A-MOST 2012
Montréal, Canada
, April 17, Co-located with
ICST 2012
https://sites.google.com/site/amost2012
CT - Workshop on Combinatorial Testing
CT 2012
Montréal, Canada
, April 17, Co-located with
ICST 2012
http://www.research.ibm.com/haifa/Workshops/ct2012
LT - Workshop on Load Testing of Large Software Systems
LT 2012
Montreal, Canada, April 17,
2012,
co-located with
ICST 2012
http://sailhome.cs.queensu.ca/lt2012
MUTATION - Int. Workshop on Mutation Analysis
Mutation 2012
Montréal, Canada
, April 17, Co-located with
ICST 2012
http://www.cs.ucl.ac.uk/mutation2012
REGRESSION - Int. Workshop on Regression Testing
Regression 2012
Montréal, Canada
, April 17, Co-located with
ICST 2012
https://sites.google.com/a/allegheny.edu/regression-2012
Dutch Testing Conference
Dutch Testing Conference 2012
Bussum, The Netherlands, April 18, 2012
http://www.DutchTestingConference.nl
CSTVA - Workshop on Constraints in Software Testing, Verification, and Analysis
CSTVA' 2012
Montreal, Canada, April 21,
2012,
co-located with
ICST 2012
http://srg.doc.ic.ac.uk/cstva12
SBST – Int. Workshop on Search-Based Software Testing
SBST 2012
Montreal, Canada, April 21,
2012,
co-located with
ICST 2012
http://www.cs.ucl.ac.uk/staff/K.Lakhotia/sbst2012
SECTEST - Workshop on Security Testing
SECTEST 2012
Montreal, Canada, April 21,
2012,
co-located with
ICST 2012
http://www.spacios.eu/sectest2012
TAIC PART - Testing: Academic and Industrial Conference on Practice and Research Techniques
TAIC PART 2012
Montreal, Canada, April 21,
2012,
co-located with
ICST 2012
http://www2012.taicpart.org
VAST - Workshop on Variability-intensive Systems Testing, Validation & Verification
VAST 2012
Montreal, Canada, April 21,
2012,
co-located with
ICST 2012
http://www.s-cube-network.eu/VAST2
IQNITE - Conference for Software Quality and Testing
IQNITE 2012
Düsseldorf, Germany, April 24-26, 2011
http://www.iqnite-conferences.com
TAV - Test, Analyse und Verifikation von Software
33. Treffen der GI-Fachgruppe TAV
Bad Honnef, Mai 2-4, 2012
http://www.fg-tav.gi-ev.de/fg-tav/treffen/33-tav.html
TAP - Int. Conf. on Test And Proofs
TAP 2012
Prague, Czech Republic, May 31 - June 1, 2012, part of
TOOLS 2012
http://lifc.univ-fcomte.fr/tap2012
ICSE - International Conference on Software Engineering
ICSE 2012
Zurich, Switzerland, June 2-9, 2012
http://www.icse2012.org
AST – Int. Workshop on Automation of Software Test
AST 2012
Zurich, Switzerland, June 2-3, 2012
, co-located with
ICSE 2012
http://AST2012.org
FMOODS & FORTE - IFIP Int. Conf. on Formal Techniques for Distributed Systems
FMOODS & FORTE 2012
Stockholm, Sweden, June 13-16, 2012, part of
DisCoTec 2012
http://lucan.sics.se/discotec/?q=fmoodsforte
CAV - Conference on Computer Aided Verification
CAV 2012
Berkeley, California, USA, July 7-13
http://cav12.cs.illinois.edu
ISSTA - Int. Symposium on Software Testing and Analysis
ISSTA 2012
Minneapolis (MN), USA, July 16-20, 2012
http://crisys.cs.umn.edu/issta2012
COMPSAC - Int. Computer Software and Applications Conference
COMPSAC 2012
Izmir, Turkey, July 16-20, 2012
http://www.compsac.org
SPIN – Int. Workshop on Model Checking Software
SPIN 2012
Oxford, UK, July 23-24, 2012
http://qav.cs.ox.ac.uk/spin2012
QSIC – Int. Conf. on Quality Software
QSIC 2012
Xi'an, China, August 27-28, 2012
http://
www.di.univaq.it/qsic2012
FMICS – Int. Workshop on Formal Methods for Industrial Critical Systems
FMICS 2012
Paris, France, August 27-28, 2012, co-located with
FM 2012
http://
www.di.univaq.it/qsic2012
ASE – IEEE/ACM Int. Conf. on Automated Software Engineering
A
SE 2012
Essen, Germany, September 3-7, 2012
http://www.ase-conference.org
ATSE - Workshop on Automating Test Case Design, Selection, and Evaluation
ATSE 2012
Wroclaw, Poland, September 9-12, 2012
, 011,
in conjunction with
FEDCSIS
2012
http://www.fedcsis.org/atse
ICTAC - Int. Colloquium on Theoretical Aspects of Computing
ICTAC 2012
Bangalore, India, September 24-27, 2012
http://fmt.cs.utwente.nl/conferences/fmics2012
RV - Int. Conf. on Runtime Verification
RV 2012
Istanbul, Turkey, September 25-28, 2012
http://rv2012.ku.edu.tr
SEFM - Int. Conf. on Software Engineering and Formal Methods
SEFM 2012
Thessaloniki, Greece, October 1-5, 2012
http://sefm2012.city.academic.gr
ATVA – Int. Symp. on Automated Technology for Verification and Analysis
ATVA 2012
Thiruvananthapuram, India, October 3-6, 2012
http://www.iarcs.org.in/atva2012
QA&TEST – Int. Conference on Software Quality Assurance and Testing on Embedded Systems
QA&TEST 2012
Bilbao, Spain, October 17-19, 2012
http://www.qatest.org
EuroSTAR – European Conf. on Software Testing, Analysis, and Review
EuroSTAR 2012
Amsterdam, The Netherlands, November 5-8, 2011
http://www.qualtechconferences.com
VALID – Int. Conf. on Advances in System Testing and Validation Lifecycle
VALID 2012
Lisbon, Portugal, November 18-23, 2012
http://www.iaria.org/conferences2012/VALID12.html
Summer / Winter Schools
QMC
- ARTIST Quantitative Model Checking Winter School
QMC 2012
Copenhagen, Denmark, February 27 - March 1, 2012
http://www.artist-embedded.org/artist/Overview,2414.html
TAROT
-
Training and Research on Testing
TAROT 2012
Besancon, France, July 2-6, 2012
http://Tarot2012
Journals and Special Issues
IJSAEM - Int. Journal of Systems Assurance Engineering and Management
Special Issue on Advances in Software testing
http://www.springer.com/journal/13198
STVR - Int. Journal of Software Testing, Verification, and Reliability
Special issue on Testing of Embedded Safety-Critical Systems
http://www3.interscience.wiley.com/journal/13635/home
ASE - Automated Software Engineering journal
Special issue on Innovative Tools for Automated Software Engineering of Embedded Safety-Critical Systems
http://ause.edmgr.com
TE - Testing Experience
Issue on model-based testing
http://www.testingexperience.com/write.php
Computing Journal
Special Issue on Software Architecture for Code Testing and Analysis
http://www.springer.com/computer/journal/607
Past Conferences
MIIT - Workshop on Model Inference In Testing
MIIT
http://vasco.imag.fr/MIIT10
CAST - Conference of the Association for Software Testing
CAST
http://www.cast2010.org
EMDT - Int. Workshop on Evolution Support for Model-Based Development and Testing
EMDT
http://proinf.de/emdt2010
CONQUEST - Int. Conf. on Quality Engineering in Software Technology
CONQUEST
http://www.isqi.org/konferenzen/conquest
TAV-WEB - Int. Workshop on Testing, Analysis, and Verification of Web Software
TAV-WEB
http://www.tav-web.org
ATAMI – Advanced in Testing: Academia Meets Industry
ATAMI 2011 - German language only
Berlin, Deutschland, Mai 23-24, 2011
http://www.first.fraunhofer.de/aktuell/atami_2011
MVV - Workshop on Model-based Verification & Validation
MVV 2011
Jeju Island, Korea, June 27-29 2011, co-located with SSIRI 2011
https://sites.google.com/site/ssirimvv2011
ETSE - Workshop on End-to-End Test Script Engineering
ETSE 2011
Toronto, Canada, July 17-21, 2011, co-located with ISSTA
https://researcher.ibm.com/researcher/view_project.php?id=2188
PADTAD - Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
PADTAD 2011
Toronto, Canada, July 17-21, 2011, co-located with ISSTA
https://www.research.ibm.com/haifa/Workshops/padtad2011
WODA - Workshop on Dynamic Analysis
WODA 2011
Toronto, Canada, July 17-21, 2011, co-located with ISSTA
http://www.cs.purdue.edu/woda11/
SSEAT - Workshop on State-Space Exploration for Automated Testing
SSEAT 2011
Toronto, Canada, July 17-21, 2011, co-located with ISSTA
https:/sites.google.com/site/sseatws/
MoDeVVa - Model Driven Engineering, Verification and Validation
MoDeVVA 2011
Wellington (NZ), October 17, 2011, co-located with MODELS 2011
http://www.model-based-testing.de/modevva11
MBTUC - Int. ETSI Model-Based Testing User Conference
MBTUC 2011
Berlin, Germany, October 18-20, 2011
http://www.model-based-testing.de/mbtuc11
Software QS-Tag
Software QS-Tag 2011
Nürnberg, Germany, November 2-3, 2011
http://www.qs-tag.de
ICTSS - Int. Conf. on Testing Software and Systems (formerly TestCom/Fates)
ICTSS 2011
Paris, November 7-10, 2011
http://ictss2011.lri.fr
ISSRE - IEEE Int. Symp. on Software Reliability Engineering
ISSRE 2011
Tokyo, Japan, November 14-17, 2011
http://www.issre.org/