trefss09

7/27/2019 trefss09

1/23

CMSC 625 Software ATV reference list Spring 2009

Journals

----------

1) Journal of the ACMhttp://jacm.acm.org/

The Journal of the ACM (JACM) provides coverage of the mostsignificant work going on in computer science, broadly construed.

It is a peer-reviwed journal, published 6 times a year by ACM.

2) IEEE Journalhttp://www.ieee.org/web/web/search/index.html

Search through IEEE publications.

3) IBM Journal or Research and Developmenthttp://www.research.ibm.com/journal/rd/

The IBM Journal of Research and Development, published bimonthly,contains technical peer-reviewed papers on the technology and

science of information systems. A search is available and copies

can be purchased.

Conference proceedings

----------------------4) ISSTA - International Symposium on Software Testing and Analysishttp://issta08.rutgers.edu/

ISSTA is the leading research conference in software testing andanalysis, bringing together academics, industrial researchers,

and practitioners to exchange new ideas, problems, and experience.

5) Software Testing Analysis and Reviewhttp://www.sqe.com/STAReast/

STAR provides the largest and most advanced testing forum anddelivers the latest trends, technologies, and strategies

in the industry today.

Books (title/author/publisher/year)

-----------------------------------

6) Testing Applications on the web: Test planning for mobile and

internet-based systems (2003)

7/27/2019 trefss09

2/23

by: Hung Q. Nguyen, Bob Johnson, Michael Hackett, Robert Johnson

The goal of this book is to help you effectively plan for and conductthe testing of Web-based applications developed

for fixed clients, systems

7) Pragmatic Software Testing: Becoming an effective and efficient test

professional

by R. Black (2007)

A hands-on guide to testing techniques that deliver reliable

software and systems

Professional organizations

--------------------------

Trade publications------------------

8) Software Test and Performance Magazinehttp://www.stpmag.com/

Software Test and Performance is a magazine devoted to software

testing and performance issues. Downloadable issues are availableon their website.

Web sites

---------9) SigSoft

http://www.sigsoft.org/

The ACM Special Interest Group on Software Engineering provides a

forum for computing professionals from industry, government and

academia to examine principles, practices, and new researchresults in software engineering.

10) Software QA and Testing Resource Center - http://www.softwareqatest.com/

This web site is oriented to:

* experienced software QA and testing engineers who need some quick

information from the convenience of their desktop

* those new to testing and software QA* anyone who has an interest in software development processes

* those hired as either testers or QA personnel, but who end up

performing both testing and QA roles (a common situation)

7/27/2019 trefss09

3/23

Other

JournalsSoftware, IEEE - www.computer.org/software

Transactions on Software Engineering and Methodology, ACM -http://tosem.acm.org/

IEEE Transactions on Software Engineering, IEE - www.computer.org/tse/


ICSE International Conference on Software Engineering

http://www.icse-conferences.org/

ISSTA International Symposium on Software Testing and Analysishttp://issta08.rutgers.edu/


Software Testing

By Ron PattonPublished by Sams, 2000

ISBN 0672319837, 9780672319839

Software Error Analysis

By Wendy W. Peng, Dolores R. WallacePublished by Silicon Press, 1995

ISBN 092930618X, 9780929306186
http://www.computer.org/softwarehttp://tosem.acm.org/http://tosem.acm.org/http://www.computer.org/tse/http://www.icse-conferences.org/http://issta08.rutgers.edu/http://www.computer.org/softwarehttp://tosem.acm.org/http://www.computer.org/tse/http://www.icse-conferences.org/http://issta08.rutgers.edu/

7/27/2019 trefss09

4/23


IEEE Institute of Electrical and Electronics Engineers, Inc.

http://www.ieee.org/portal/site

ACM Association for Computing Machinaryhttp://www.acm.org/

Trade publications

Communications of the ACM - Monthly print magazine for the ACM.

http://cacm.acm.org/communications?pageIndex=1

Web sites

Microsoft Research Collection of white papers by Microsoft Corporation

http://research.microsoft.com/en-us/

OtherIEEE Explore Online access to over 1.9 million article in various IEEE Journals.http://ieeexplore.ieee.org/Xplore/guesthome.jsp

Journals--------The Journal of Software Testing, Verification, and Reliability

Conference proceedings----------------------

Proceedings of the Eighth International Conference on SoftwareEngineering, London UK, August 1985

Proceedings of the 1993 International Symposium on Software Testing andAnalysis, pages 171-181, Cambridge MA, June 1993

Books (title/author/publisher/year)-----------------------------------Software Testing Techniques: Finding the Defects that Matter / ScottLoveland, Geoffrey Miller, Richard Prewitt, Michael Shannon / CharlesRiver Media, 1 edition / October 2004

The Art of Software Testing / Glenford J. Myers / Wiley; 2 edition /June 2004

Software Testing and Analysis: Process, Principles and Techniques /Mauro Pezze, Michal Young / Wiley / April 2007

Professional Organizations--------------------------The IEEE Computer Society
http://www.ieee.org/portal/sitehttp://www.acm.org/http://cacm.acm.org/communications?pageIndex=1http://research.microsoft.com/en-us/http://ieeexplore.ieee.org/Xplore/guesthome.jsphttp://www.ieee.org/portal/sitehttp://www.acm.org/http://cacm.acm.org/communications?pageIndex=1http://research.microsoft.com/en-us/http://ieeexplore.ieee.org/Xplore/guesthome.jsp

7/27/2019 trefss09

5/23

Web sites---------

The ACM library - http://portal.acm.org/portal.cfm

IEEE Explore - http://ieeexplore.ieee.org

CiteSeerX - http://citeseerx.ist.psu.edu/
http://portal.acm.org/portal.cfmhttp://ieeexplore.ieee.org/http://citeseerx.ist.psu.edu/http://portal.acm.org/portal.cfmhttp://ieeexplore.ieee.org/http://citeseerx.ist.psu.edu/

7/27/2019 trefss09

6/23

Journals

----------

Wiley InterScience

A leading international resource for scientific, technical, medical and scholarly content.

www.interscience.wiley.com


ICST 2008

First International Conference on Software Testing, Verification and Validation/ Lillehammer,

Norway / April 9-11, 2008

http://www.cs.purdue.edu/homes/apm/ICSTProgram.html


-----------------------------------

The software test engineers handbook: a study guide for the ISTQB test analyst and

technical test analyst advanced level certificates / Graham Bath; Judy McKay/ Rocky Nook/2008

http://proquest.safaribooksonline.com/?uiCode=vacom&xmlId=9781933952246

Pragmatic Software Testing / Rex Black / John Wiley and Sons / 2007

A hands-on guide to testing techniques that deliver reliable software and systems testinghttp://proquest.safaribooksonline.com/?uiCode=viva&xmlId=9780470127902

A practitioners guide to software test design / Lee Copeland / Boston, Mass. ; London: Artech

House / 2004http://site.ebrary.com/lib/vacommonwealth/Doc?id=10081974

Software testing and analysis: process, principles, and techniques / Mauro Pezz, Michal

Young / Wiley / c2008


-------------------------- IEEE

http://ieeexplore.ieee.org/xpl/RecentCon.jsp?punumber=211

Trade publications

------------------

Service Oriented Computing and Applications

Publish original and high quality research results on the service-oriented computing (SOC)

paradigm, models and technologies

Web sites---------

SpringerOver 1,700 journals and more than 5,500 new book titles every year; backlistof more than 40,000 titles.http://www.springer.com

Other

TAV-WEB 2008

Workshop on Testing, Analysis and Verification of Web Software

http://www.cs.ucsb.edu/~bultan/tav-web/
http://www.interscience.wiley.com/http://catalog.library.vcu.edu/F/7PBB4DEK776PI7ATRPMFQ4UVRH6P6KEPNKATE3G4STXVCA2CE4-06149?func=full-set-set&set_number=005111&set_entry=000001&format=999http://catalog.library.vcu.edu/F/7PBB4DEK776PI7ATRPMFQ4UVRH6P6KEPNKATE3G4STXVCA2CE4-06149?func=full-set-set&set_number=005111&set_entry=000001&format=999http://catalog.library.vcu.edu/F/7PBB4DEK776PI7ATRPMFQ4UVRH6P6KEPNKATE3G4STXVCA2CE4-06149?func=full-set-set&set_number=005111&set_entry=000001&format=999http://catalog.library.vcu.edu/F/7PBB4DEK776PI7ATRPMFQ4UVRH6P6KEPNKATE3G4STXVCA2CE4-06149?func=full-set-set&set_number=005111&set_entry=000001&format=999http://open_window%28%22http//catalog.library.vcu.edu:80/F/7PBB4DEK776PI7ATRPMFQ4UVRH6P6KEPNKATE3G4STXVCA2CE4-15645?func=service&doc_library=VCU01&doc_number=001461970&line_number=0001&service_type=MEDIA%22);http://open_window%28%22http//catalog.library.vcu.edu:80/F/7PBB4DEK776PI7ATRPMFQ4UVRH6P6KEPNKATE3G4STXVCA2CE4-15665?func=service&doc_library=VCU01&doc_number=001420597&line_number=0001&service_type=MEDIA%22);http://site.ebrary.com/lib/vacommonwealth/Doc?id=10081974http://ieeexplore.ieee.org/xpl/RecentCon.jsp?punumber=211http://www.interscience.wiley.com/http://catalog.library.vcu.edu/F/7PBB4DEK776PI7ATRPMFQ4UVRH6P6KEPNKATE3G4STXVCA2CE4-06149?func=full-set-set&set_number=005111&set_entry=000001&format=999http://catalog.library.vcu.edu/F/7PBB4DEK776PI7ATRPMFQ4UVRH6P6KEPNKATE3G4STXVCA2CE4-06149?func=full-set-set&set_number=005111&set_entry=000001&format=999http://open_window%28%22http//catalog.library.vcu.edu:80/F/7PBB4DEK776PI7ATRPMFQ4UVRH6P6KEPNKATE3G4STXVCA2CE4-15645?func=service&doc_library=VCU01&doc_number=001461970&line_number=0001&service_type=MEDIA%22);http://open_window%28%22http//catalog.library.vcu.edu:80/F/7PBB4DEK776PI7ATRPMFQ4UVRH6P6KEPNKATE3G4STXVCA2CE4-15665?func=service&doc_library=VCU01&doc_number=001420597&line_number=0001&service_type=MEDIA%22);http://site.ebrary.com/lib/vacommonwealth/Doc?id=10081974http://ieeexplore.ieee.org/xpl/RecentCon.jsp?punumber=211

7/27/2019 trefss09

7/23

Journals---------1) Testing Techniques Newsletter (Software Research)website: http://www.soft.com/News/TTN-Online/2) TestFocus - South African Software Testing Magazine.website: http://www.testfocus.co.za/

Books (title/author/publisher/year)-----------------------------------3) Title: Effective Software Test Automation: Developing anAutomated SoftwareTesting ToolAuthor: Li, Kanglin.; Wu, Mengqi.Publication: San Francisco, Calif., London Sybex Books, 2004.website: http://www.netlibrary.com.proxy.library.vcu.edu/(search for the title or the Author).

4) Title: The art of software testing / Glenford J. Myersrevised and updated by Tom Badgett and Todd Thomas, with CoreySandler.Edition Information: 2nd ed.Published/Created: Hoboken, N.J. : John Wiley & Sons, c2004.website: http://catalog.loc.gov.proxy.library.vcu.edu/cgi-bin/Pwebrecon.cgi?v3=1&DB=local&CMD=010a+2004002227&CNT=10+records+per+page

5) Systematic Software TestingAuthor: Rick Craig/Stefan P. JaskielPublished: 2002

Publisher: Artech House6) Surviving the Top Ten Challenges of Software TestingAuthor: William Perry/Randall RicePublished: 1997Publisher: Dorset House

Professional organizations--------------------------7) International Software Testing Institutewebsite: http://www.softtest.org/

Web sites---------8)Software Testinghotlist(http://www.io.com/~wazmo/qa/#general_issues )9) http://www.SQAtester.com10) STQE.net Software Testing & Quality Engineering(www.stqe.com)

Journals- - - - - -
http://www.soft.com/News/TTN-Online/http://www.testfocus.co.za/http://www.netlibrary.com.proxy.library.vcu.edu/http://catalog.loc.gov.proxy.library.vcu.edu/cgi-bin/Pwebrecon.cgi?v3=1&DB=local&CMD=010a+2004002227&CNT=10+records+per+pagehttp://catalog.loc.gov.proxy.library.vcu.edu/cgi-bin/Pwebrecon.cgi?v3=1&DB=local&CMD=010a+2004002227&CNT=10+records+per+pagehttp://catalog.loc.gov.proxy.library.vcu.edu/cgi-bin/Pwebrecon.cgi?v3=1&DB=local&CMD=010a+2004002227&CNT=10+records+per+pagehttp://www.softtest.org/http://www.io.com/~wazmo/qa/#general_issueshttp://www.sqatester.com/http://www.stqe.com/http://www.soft.com/News/TTN-Online/http://www.testfocus.co.za/http://www.netlibrary.com.proxy.library.vcu.edu/http://catalog.loc.gov.proxy.library.vcu.edu/cgi-bin/Pwebrecon.cgi?v3=1&DB=local&CMD=010a+2004002227&CNT=10+records+per+pagehttp://catalog.loc.gov.proxy.library.vcu.edu/cgi-bin/Pwebrecon.cgi?v3=1&DB=local&CMD=010a+2004002227&CNT=10+records+per+pagehttp://catalog.loc.gov.proxy.library.vcu.edu/cgi-bin/Pwebrecon.cgi?v3=1&DB=local&CMD=010a+2004002227&CNT=10+records+per+pagehttp://www.softtest.org/http://www.io.com/~wazmo/qa/#general_issueshttp://www.sqatester.com/http://www.stqe.com/

7/27/2019 trefss09

8/23

1) IPOG/IPOG-D: efficience test generation for multi-way combinational testing

Lei,Yu; Kacker,Raghu; Kuhn, D Richard; Okun, Vadim; Lawrence, James

Software Testing, Verification & Reliability. Vol.18, no.3, pp. 125-148. Sept. 2008

2) Automated discovery of state transitions and their functions in source code

Walkinshaw, Neil; Bogdanov, Kirill; Ali, Shaukat; Holcombe, MikeSoftware Testing, Verification & Reliability. Vol. 18, no.2, pp. 99-121. June 2008

3) An Approach to Testing Black-Box Components using Contract Based MutationJiang, Ying; Hou, Shan-Shan; Shan, Jin-Hui; Zhang, 'Lu; Xie, Bing

International Journal of Software Engineering and Knowledge Engineering, Vol. 18,

no.1, pp. 93-117. Feb. 2008

4) A scatter search approach for automated branch coverage in software testing

Blanco, Raquel; Tuya, Javier; Diaz, Eugenia; Diaz, B Adenso

International Journal of Engineering Intelligent Systems for Electrical Engineering and

Communications. Vol. 15, no. 3, pp. 135-142. Sept. 2007

5) Testing software components for integration: a survey of issues and techniquesRehman, Muhammad Jaffar-ur; Jabeen, Fakhra; Bertolino, Antonia; Polini, Andrea

Software Testing, Verification & Reliability. Vol. 17. no. 2. pp. 95-133. June 2007

6) A combinatorial testing strategy for concurrent programs

Lei, Yu; Carver, Richard H; Kacker, Raghu; Kung, David

Software Testing, Verification and Reliability, Vol. 17, no. 4, pp. 207-225, Dec. 2007

7) Using Component metadata to regression test component-based software

Orso,Alessandro; Do, Hyunsook; Rothermel, Gregg; Harold, Mary Jean; Rosenblum,

David SSoftware Testing, Verification & Reliability. Vol. 17, no. 2, pp. 61-94. June 2007

8) Flow analysis for verifying properties of concurrent software systemsDwyer, M.B.; Clarke, L.A.; Cobleigh, J.M.; Naumovich, G.

ACM Transactions on software engineering and methodology, Vol. 13, no. 4, pp. 359-

430, Oct. 2004

9) An empirical study of regression test application frequency

Kim, Jung-Min; Porter, Adam; Rothermel, Gregg

Software Testing, Verification & Reliability. Vol. 15, no. 4,pp. 257-279. Dec. 2005

10) Using Symbolic execution to guide test generation

Lee, Gareth; Morris, John; Parker, Kris; Bundell, Gary A; Lam, PengSoftware Testing, Verification & Reliability. Vol. 15, no. 1,pp. 41-61. Mar. 2005
http://csaweb103v.csa.com.proxy.library.vcu.edu/ids70/p_search_form.php?field=au&query=lei+yu&log=literal&SID=8h26uc9n59jc413uh1t7peer47http://csaweb103v.csa.com.proxy.library.vcu.edu/ids70/p_search_form.php?field=au&query=lei+yu&log=literal&SID=8h26uc9n59jc413uh1t7peer47http://csaweb103v.csa.com.proxy.library.vcu.edu/ids70/p_search_form.php?field=au&query=lei+yu&log=literal&SID=8h26uc9n59jc413uh1t7peer47http://csaweb103v.csa.com.proxy.library.vcu.edu/ids70/p_search_form.php?field=au&query=lei+yu&log=literal&SID=8h26uc9n59jc413uh1t7peer47

7/27/2019 trefss09

9/23


- - - - - - - - - - - - - - - - -

1) OptiTest: Optimizing Test Case Using Hybrid IntelligenceAl-Fayoumi, Mohammed; Mahanti, P; Banerjee, Soumya

WCE 2007: World Congress on Engineering 2007 Volume 1. Vol. 1, pp.43-48. 2007

2) Formal Software Analysis Emerging Trends in Software Model Checking

Dwyer, Matthew B; Hatcliff, John; Robby, Robby; Pasareanu, Corina S; Visser, Willem

International Conference on Software Engineering: 2007 Future of Software Engineering;23-25 May 2007. pp. 120-136. 2007

3) Software Test Data Generation using Ant Colony Optimization

Li, Huaizhong; Lam, C PengICCI 2004: International Conference on Computational Intelligence; Istanbul; Turkey;

17-19

Dec. 2004

4) Software analysis and model checking

Foundations of Software Engineering: Proceedings of the 9th European softwareengineering conference held jointly with 11th ACM SIGSOFT international symposium

on Foundations of software engineering; 2003

5) Efficient path conditions in dependence graphs

Robschink, Torsten; Snelting, Gregor

Proceedings International Conference on Software Engineering. pp.478-488. 2002

6) Towards Discovery, Specification, and Verification of Components Usage

Liu, Chang; Richardson, Debra

Automated Software Engineering: Proceedings of the 14th IEEE international conferenceon Automated software engineering; 12-15 Oct.1999

7) Applications of feasible path analysis to program testingGoldberg, Allen; Wang, T C; Zimmerman, David

International Symposium on Software Testing and Analysis: Proceedings of the 1994

ACM SIGSOFT international symposium on Sofware testing and analysis; 17-19 Aug.

1994

8) Interprocedural data flow testing

Harrold M; Soffa, MInternational Symposium on Software Testing and Analysis: Proceedings of the ACM

SIGSOFT '89 third symposium on Sofware testing,analysis and verification; 13-15 Dec.

1989

9) Software Analysis: a roadmap

International Conference on Software Engineering: Proceedings of the Conference on the

future of software engineering; 04-11 June 2000

7/27/2019 trefss09

10/23

10) Functional path analysis: an approach to software verification

Sheppard, J.W.; Simpson, W.R.Proceedings focus on software 1988 ACM Sixteenth Annual Computer Science

Conference, 1988 p 266-72


- - - - - - - - - - - - - - - - - - - - - - - -1) System Verification: Proving the Design Solution Satisfies the Requirements

by Jeffrey O. Grady

Publisher: Academic Press

Year: 2007

2) Software Quality Approaches: Testing, Verification, and Validation

by M. Haug, E.W. Olsen, L. Consolini

Publisher: SpringerYear: 2001

3) Effective Methods for Software Testing

by William E. Perry

Publisher: John Wiley and SonsYear: 2006

4) Testing and Quality Assurance for Component-based Software

by Jerry Gao, Ye WuPublisher: Artech House

Year: 2003

5) Software Testing Techniques: Finding the Defects that Matter

by Scott Loveland, ebrary, Inc, Geoffrey Miller, Michael Shannon, Richard Prewitt

Publisher: Charles River MediaYear: 2004

6) Software Quality Engineering: Testing, Quality Assurance, and Quantifiable

Improvementby Jeff Tian

Publisher: John Wiley and Sons

Year: 2005

7) Verification, Validation and Testing in Software Engineering

by Aristides Dasso, Ana FunesPublisher: Idea Group Inc

Year: 2007

8) Independent Verification and Validation

7/27/2019 trefss09

11/23

by Robert O. Lewis

Publisher: Wiley-IEEE

Year: 1992

9) Software Testing Management

by Thomas C. RoyerPublisher: Prentice Hall

Year: 1993

10) Software Testing and Analysis: Process, Principles and Techniques

by Pezze, Mauro; Young, MichalPublisher: Wiley

Year: 2007

11) Software Testing in the Real World: Improving the Processby Kit, Edward

Publisher: Addison-WesleyYear: 1997

Professional organizations- - - - - - - - - - - - - - - - - - -

1) IBM Systems Journal - Software debugging, testing and verification

by B. Hailpern and P. Santhanam, Volume 41, Number 1, 2002 Software Testing and

Verification.

2) Software verification using branch analysis

by Herington, D.E. Hewlett-Packard Journal, v 38, n 6, June 1987, p 13-22

Trade publications- - - - - - - - - - - - -

1) Better Software Better Software is the magazine for software professionals who care

about quality.

Currently in Circulation January/February 2009, Issue 11-1

2) Software Testing, Verification and Reliability It documents and fosters new and

useful techniques,methodologies and standards. It also acts as a reference for practicable approaches to

problems in the

software testing, verification and reliability fields. It promotes the development anddissemination of

sound theoretical foundations for new and established practice.

7/27/2019 trefss09

12/23

3) Sapient Testing Official magazine of the Association for Software Testing.

Web sites- - - - - - -

1) http://portal.acm.org/portal.cfm

2) http://www.sciencedirect.com3) http://www.intute.ac.uk/

4) http://www3.interscience.wiley.com/cgi-bin/home

5) http://www.silicon.com6) http://ieeexplore.ieee.org/Xplore/guesthome.jsp

7) http://csa.com

8) http://www.engineeringvillage.com

9) http://www.springerlink.com/home/main.mpx10) http://www.doaj.org/

Other

- - - -

1) Formal Approaches to Software Testing

by Jens Grabowski, Brian Nielsen

Publisher: Springer

Year: 2004

This book constitutes the thoroughly refereed post-proceedings of the 4th International

Workshop on Formal Approaches to Software Testing, FATES 2004, held in Linz,Austria in September 2004.

Journals----------Software Testing: Verification & Reliability published by John Wiley &Sons.

Conference proceedings----------------------Software Testing, Verification, and Analysis, 1988, Proceedings of the

Second Workshop on

Books (title/author/publisher/year)-----------------------------------Title: Analysis and Testing of Distributed Software ApplicationAuthor: Henryk Krawczyk, Bogdan WiszniewskiPublisher: Reserch Studies Press LTDYear: 1998
http://portal.acm.org/portal.cfmhttp://www.sciencedirect.com/http://www.intute.ac.uk/http://www3.interscience.wiley.com/cgi-bin/homehttp://www.silicon.com/http://ieeexplore.ieee.org/Xplore/guesthome.jsphttp://csa.com/http://www.engineeringvillage.com/http://www.springerlink.com/home/main.mpxhttp://www.doaj.org/http://portal.acm.org/portal.cfmhttp://www.sciencedirect.com/http://www.intute.ac.uk/http://www3.interscience.wiley.com/cgi-bin/homehttp://www.silicon.com/http://ieeexplore.ieee.org/Xplore/guesthome.jsphttp://csa.com/http://www.engineeringvillage.com/http://www.springerlink.com/home/main.mpxhttp://www.doaj.org/

7/27/2019 trefss09

13/23

Title: Program VerificationAuthor: Nissim FrancezPublisher: Addison-Wesley Publishing CampanyYear: 1992

Title: Software Testing and Analysis: Process, Principles andTechniquesAuthor: Mauro Pezze, Michal Young

Publisher: John Wiley & SonsYear: 2008

Title: Independent verification and validationAuthor: Lewis, Robert O

Publisher: John Wiley & SonsYear: 1992

Title: Beat Testing for Better SoftwareAuthor: Michael R. FinePublisher: John Wiley & Sons

Year: 2002

Title: Software Testing In The Real WorldAuthor: Edward KitPublisher: Addison-Wesley Publishing CampanyYear: 1995

Title: Effective Software TestingAuthor: Elfriede DustinPublisher: Addison-Wesley Publishing CampanyYear: 2003

Professional organizations--------------------------

Trade publications------------------Web sites---------

http://en.wikipedia.org/wiki/Software_testing

Other------Technical Report: Software Testing Best Practices written by RamChillarege

Journals

---------

Software debugging, testing, and verification
http://en.wikipedia.org/wiki/Software_testinghttp://en.wikipedia.org/wiki/Software_testing

7/27/2019 trefss09

14/23

by B. Hailpern and P. Santhanam

http://www.research.ibm.com/journal/sj/411/hailpern.html

An empirical, path-oriented approach to software analysis and testing

Journal of Systems and SoftwareVolume 81 , Issue 2 (February 2008)

Pages 249-261

Year of Publication: 2008

Reducing verification effort in component-based software engineering through built-in

testing

Brenner, D.(Inst. of Comput. Sci., Univ. of Mannheim, Mannheim, Germany); Atkinson, C.; Malaka, R.;

Merdes, M.; Paech, B.; Suliman, D.Source:Information Systems Frontiers, v 9, n 2-3, April-July 2007, p151-62

Correctness verification: alternative to structural software testing

Dyer, M.(IBM Syst. Integration Div., Bethesda, MD, USA); Kouchakdjian, A.Source:Information and

Software Technology, v 32, n 1, Jan.-Feb. 1990, p 53-9

Verification, validation, and testing of software: special issue of the Programmirovaniejournal

Petrenko, A.K. (Inst. of Syst. Programming, Russian Acad. of Sci., Moscow, Russia) Source:Programming andComputer Software, v 29, n 6, Nov.-Dec. 2003, p 296-7

Books-------

Verification , Validation and Testing in Software EngineeringBy Aristides Dasso and Ana Funes

Published by Idea Group Inc (IGI), 2007

Software Verification and Analysis

By Janusz Laski And WilliamStanley

Published by Springer London Ltd (United Kingdom), 2008

Software Testing and Analysis

By Mauro Pezze and Michal Young

Published by John Wiley and Son 2007

Software Quality Approaches: Testing, Verification and Validation

By Eric W. Olsen and Luisa ConsoliniPublished by Springer 2002

Software Engineering: Analysis and VerificationBy Theodore Gyle Lewis

Published by Reston Pub. Co., 1982
http://www.research.ibm.com/journal/sj/411/hailpaut.html#hailpernhttp://www.research.ibm.com/journal/sj/411/hailpaut.html#santhanamhttp://www.engineeringvillage.com.proxy.library.vcu.edu/controller/servlet/Controller?CID=quickSearchCitationFormat&searchWord1=%7BBrenner%2C+D.%7D&section1=AU&database=7&yearselect=yearrange&sort=yrhttp://www.engineeringvillage.com.proxy.library.vcu.edu/controller/servlet/Controller?CID=quickSearchCitationFormat&searchWord1=%7BBrenner%2C+D.%7D&section1=AU&database=7&yearselect=yearrange&sort=yrhttp://www.engineeringvillage.com.proxy.library.vcu.edu/controller/servlet/Controller?CID=quickSearchCitationFormat&searchWord1=%7BAtkinson%2C+C.%7D&section1=AU&database=7&yearselect=yearrange&sort=yrhttp://www.engineeringvillage.com.proxy.library.vcu.edu/controller/servlet/Controller?CID=quickSearchCitationFormat&searchWord1=%7BMalaka%2C+R.%7D&section1=AU&database=7&yearselect=yearrange&sort=yrhttp://www.engineeringvillage.com.proxy.library.vcu.edu/controller/servlet/Controller?CID=quickSearchCitationFormat&searchWord1=%7BMerdes%2C+M.%7D&section1=AU&database=7&yearselect=yearrange&sort=yrhttp://www.engineeringvillage.com.proxy.library.vcu.edu/controller/servlet/Controller?CID=quickSearchCitationFormat&searchWord1=%7BPaech%2C+B.%7D&section1=AU&database=7&yearselect=yearrange&sort=yrhttp://www.engineeringvillage.com.proxy.library.vcu.edu/controller/servlet/Controller?CID=quickSearchCitationFormat&searchWord1=%7BSuliman%2C+D.%7D&section1=AU&database=7&yearselect=yearrange&sort=yrhttp://www.engineeringvillage.com.proxy.library.vcu.edu/controller/servlet/Controller?CID=quickSearchCitationFormat&searchWord1=%7BDyer%2C+M.%7D&section1=AU&database=7&yearselect=yearrange&sort=yrhttp://www.engineeringvillage.com.proxy.library.vcu.edu/controller/servlet/Controller?CID=quickSearchCitationFormat&searchWord1=%7BDyer%2C+M.%7D&section1=AU&database=7&yearselect=yearrange&sort=yrhttp://www.engineeringvillage.com.proxy.library.vcu.edu/controller/servlet/Controller?CID=quickSearchCitationFormat&searchWord1=%7BKouchakdjian%2C+A.%7D&section1=AU&database=7&yearselect=yearrange&sort=yrhttp://www.engineeringvillage.com.proxy.library.vcu.edu/controller/servlet/Controller?CID=quickSearchCitationFormat&searchWord1=%7BPetrenko%2C+A.K.%7D&section1=AU&database=7&yearselect=yearrange&sort=yrhttp://www.research.ibm.com/journal/sj/411/hailpaut.html#hailpernhttp://www.research.ibm.com/journal/sj/411/hailpaut.html#santhanamhttp://www.engineeringvillage.com.proxy.library.vcu.edu/controller/servlet/Controller?CID=quickSearchCitationFormat&searchWord1=%7BBrenner%2C+D.%7D&section1=AU&database=7&yearselect=yearrange&sort=yrhttp://www.engineeringvillage.com.proxy.library.vcu.edu/controller/servlet/Controller?CID=quickSearchCitationFormat&searchWord1=%7BAtkinson%2C+C.%7D&section1=AU&database=7&yearselect=yearrange&sort=yrhttp://www.engineeringvillage.com.proxy.library.vcu.edu/controller/servlet/Controller?CID=quickSearchCitationFormat&searchWord1=%7BMalaka%2C+R.%7D&section1=AU&database=7&yearselect=yearrange&sort=yrhttp://www.engineeringvillage.com.proxy.library.vcu.edu/controller/servlet/Controller?CID=quickSearchCitationFormat&searchWord1=%7BMerdes%2C+M.%7D&section1=AU&database=7&yearselect=yearrange&sort=yrhttp://www.engineeringvillage.com.proxy.library.vcu.edu/controller/servlet/Controller?CID=quickSearchCitationFormat&searchWord1=%7BPaech%2C+B.%7D&section1=AU&database=7&yearselect=yearrange&sort=yrhttp://www.engineeringvillage.com.proxy.library.vcu.edu/controller/servlet/Controller?CID=quickSearchCitationFormat&searchWord1=%7BSuliman%2C+D.%7D&section1=AU&database=7&yearselect=yearrange&sort=yrhttp://www.engineeringvillage.com.proxy.library.vcu.edu/controller/servlet/Controller?CID=quickSearchCitationFormat&searchWord1=%7BDyer%2C+M.%7D&section1=AU&database=7&yearselect=yearrange&sort=yrhttp://www.engineeringvillage.com.proxy.library.vcu.edu/controller/servlet/Controller?CID=quickSearchCitationFormat&searchWord1=%7BKouchakdjian%2C+A.%7D&section1=AU&database=7&yearselect=yearrange&sort=yrhttp://www.engineeringvillage.com.proxy.library.vcu.edu/controller/servlet/Controller?CID=quickSearchCitationFormat&searchWord1=%7BPetrenko%2C+A.K.%7D&section1=AU&database=7&yearselect=yearrange&sort=yr

7/27/2019 trefss09

15/23

Effective Methods for Software TestingBy William E. Perry

Published by John Wiley and Sons, 2006

Software Best Practice: Testing, Verification and Validation

By Michael Haug, Eric W. Olsen, Luisa Consolini

Published by Springer, 2001

Practical Software Testing: A Process-oriented Approach

By Ilene Burnstein

Published by Springer, 2003

Software Quality Engineering: Testing, Quality Assurance, and Quantifiable

Improvement

By Jeff TianPublished by John Wiley and Sons, 2005

Model-Based Software Testing and Analysis with C#

By Jonathan Jacky, Margus Veanes, Colin Campbell, Wolfram Schulte

Published by Cambridge University Press, 2008

Conference

----------------------

2008 IEEE International Conference on Software Testing Verification and Validation

Workshop (ICSTW)Source:IEEE, 2008

ICST (International conference on software testing) 2009 April 1-4

http://bitterroot.vancouver.wsu.edu/icst2009/
http://bitterroot.vancouver.wsu.edu/icst2009/http://bitterroot.vancouver.wsu.edu/icst2009/

7/27/2019 trefss09

16/23

Website

----------------------

www.testinginstitute.com

http://www.ece.cmu.edu/~koopman/des_s99/sw_testing/

http://www.chillarege.com/authwork/TestingBestPractice.pdfhttp://frank.mtsu.edu/~storm/

http://www.informatik.uni-trier.de/~ley/db/journals/stvr/stvr11.html

http://www.cs.colostate.edu/icst2008/

http://www.informatik.uni-trier.de/~ley/db/conf/issta/index.html

Journals----------

title: Software testing, verification & reliability : STVR.

source: http://www3.interscience.wiley.com/journal/13635/home?

CRETRY=1&SRETRY=0


----------------------title: Hardware and software, verification and testing

author: International Haifa Verification Conference (3rd : 2007 :

Haifa, Israel)

publisher: Berlin ; New York : Springeryear: 2007


-----------------------------------

title: Software quality engineering : testing, quality assurance, and

quantifiable improvementauthor : Tian, Jeff.

Published: Hoboken, N.J. : Wiley

year: 2005

title: Software verification and validation : an engineering andscientific approach / by Marcus S. Fisher.author: Marcus S. Fisher

publisher: Springer

year: 2007

title: Verification, validation and testing in software engineering

author: Aristides Dasso, Ana Funes
http://www.testinginstitute.com/http://www.ece.cmu.edu/~koopman/des_s99/sw_testing/http://www.chillarege.com/authwork/TestingBestPractice.pdfhttp://frank.mtsu.edu/~storm/http://www.informatik.uni-trier.de/~ley/db/journals/stvr/stvr11.htmlhttp://www.cs.colostate.edu/icst2008/http://www.informatik.uni-trier.de/~ley/db/conf/issta/index.htmlhttp://www.testinginstitute.com/http://www.ece.cmu.edu/~koopman/des_s99/sw_testing/http://www.chillarege.com/authwork/TestingBestPractice.pdfhttp://frank.mtsu.edu/~storm/http://www.informatik.uni-trier.de/~ley/db/journals/stvr/stvr11.htmlhttp://www.cs.colostate.edu/icst2008/http://www.informatik.uni-trier.de/~ley/db/conf/issta/index.html

7/27/2019 trefss09

17/23

publisher: Hershey, PA : Idea Group Pub.

year: 2007

title: Systems and software verification : model-checking techniques and tools

author: B. Brard

publisher: Berlin ; New York : Springeryear: 2001

title: Software verification and validation : a practitioner's guideauthor: Steven R. Rakitin

publisher: Boston : Artech House

year: 1997

title: Verification and validation of real-time software

author: Quirk, William J.

publisher: Berlin ; New York : Springer-Verlag

year: 1985

title: Software engineering : analysis and verificationauthor: Lewis, T. G. (Theodore Gyle), 1941-

publisher: Reston, Va. : Reston Pub. Co

year: 1982


--------------------------

Trade publications

------------------

Web sites

---------

title: Software verification and validation for practitioners and managersauthor: Steve Rakitin

publisher: Boston : Artech House

year: 2001

resource:http://www.netLibrary.com/urlapi.asp?action=summary&v=1&bookid=67447

Other-----

Journals

1) IBM Systems Journal, Vol 41, No 1, 2002 Software Testing andVerification

7/27/2019 trefss09

18/23

2) Software Testing, Verification and Reliability Wiley,InterScience

3) Journal for the Association of Software Testing JAST(https://cs.fit.edu/Research/jast/index.php/JAST)

4) Journal of Computing Sciences in Colleges The ACM DigitalLibrary


1) 2008 IEEE International Conference on Software Testing,Verification and Validation

2) 2006 Second International Symposium on Leveraging Applications ofFormal Methods, Verification and Validation (ISoLA)


1) Software Testing and Reliability Hoang Pham

2) Software Testing Continuous Quality Improvement, Third Edition- Michael Ed. Renaud M. Renaud M. Lewis, William E. Lewis

3) Advance Software Testing, Vol 1 Rex Black

4) The Testing Network: An Integral Approach to Test Activities inLarge Software Projects

- Jean-Jacques Henry, Pierre Henry

Other

Magazine:1) IEEE Design and Test of Computers

Transactions:1) Transactions on Software Engineering and Methodology (TOSEM)

The ACM Digital Library

Journals----------

Title: Software testing, verification & reliability : STVR.Publisher: Chichester, Sussex, England : J. Wiley,

Publication Date Vol. 2, no. 1 (May 1992)

ISSN 0960-0833 1099-1689

Conference proceedings----------------------Andy Zaidman, Bart Van Rompaey, Serge Demeyer and Arie van Deursen.
http://www.booktopia.com.au/search.ep?author=Michael%20Ed.%20Renaud%20M.%20Renaud%20M.%20Lewishttp://www.booktopia.com.au/search.ep?author=William%20E.%20Lewishttp://www.booktopia.com.au/search.ep?author=Jean-Jacques%20Henryhttp://www.booktopia.com.au/search.ep?author=Pierre%20Henryhttp://www.booktopia.com.au/search.ep?author=Michael%20Ed.%20Renaud%20M.%20Renaud%20M.%20Lewishttp://www.booktopia.com.au/search.ep?author=William%20E.%20Lewishttp://www.booktopia.com.au/search.ep?author=Jean-Jacques%20Henryhttp://www.booktopia.com.au/search.ep?author=Pierre%20Henry

7/27/2019 trefss09

19/23

Mining Software Repositories to Study Co-Evolution of Production & Test Code

First International Conference on Software Testing,

Verification and ValidationLillehammer, Norway

April 9-11 2008

Books (title/author/publisher/year)-----------------------------------Title: Software Abstractions: Logic, Language, And Analysis

Author: Daniel JacksonPublisher: Mit Pr

Year: 2006

Title: Software Testing And Analysis: Process, Principles And Techniques

Author: Mauro Pezze, Michal Young

Publisher: John Wiley & Sons IncYear: 2007

Title: Business Systems Analysis and Design

Author: William S. DavisPublisher: Wadsworth Pub Co

The Wadsworth Series in Management Information SystemsYear: 1993

Title: Systematic Software Testing

Author: Rick D. Craig, Stefan P. Jaskiel

Publisher: Artech HouseYear: 2002

Title: Advanced Software Testing: Guide to the ISTQB Advanced Certification As an

Advanced Test Analyst

Author: Rex BlackPublisher: Rocky NookYear: 2008

Title: Software Requirements Analysis and Specifications

Author: Jag Sodhi

Publisher: McGraw-HillMcGraw Hill Systems Design & Implementation SeriesYear: 1992

Title: Software System Development: A Gentle Introduction

Author: Carol Britton, Jill DoakePublisher: McGraw-Hill

McGraw-Hill International Series in Software Engineering
http://people.half.ebay.com/Daniel-Jackson_W0QQmZbooksQQcidZ1024181507http://people.half.ebay.com/Mauro-Pezze_W0QQmZbooksQQcidZ1169831230http://people.half.ebay.com/Michal-Young_W0QQmZbooksQQcidZ1376544545http://people.half.ebay.com/William-S-Davis_W0QQmZbooksQQcidZ1023604360http://people.half.ebay.com/Rick-D-Craig_W0QQmZbooksQQcidZ1169740627http://people.half.ebay.com/Stefan-P-Jaskiel_W0QQmZbooksQQcidZ1088101936http://www.amazon.com/exec/obidos/search-handle-url/ref=ntt_athr_dp_sr_1?_encoding=UTF8&search-type=ss&index=books&field-author=Rex%20Blackhttp://people.half.ebay.com/Jag-Sodhi_W0QQcidZ1023603140QQmZbookshttp://people.half.ebay.com/Carol-Britton_W0QQmZbooksQQcidZ1023587492http://people.half.ebay.com/Jill-Doake_W0QQmZbooksQQcidZ1023587493http://people.half.ebay.com/Daniel-Jackson_W0QQmZbooksQQcidZ1024181507http://people.half.ebay.com/Mauro-Pezze_W0QQmZbooksQQcidZ1169831230http://people.half.ebay.com/Michal-Young_W0QQmZbooksQQcidZ1376544545http://people.half.ebay.com/William-S-Davis_W0QQmZbooksQQcidZ1023604360http://people.half.ebay.com/Rick-D-Craig_W0QQmZbooksQQcidZ1169740627http://people.half.ebay.com/Stefan-P-Jaskiel_W0QQmZbooksQQcidZ1088101936http://www.amazon.com/exec/obidos/search-handle-url/ref=ntt_athr_dp_sr_1?_encoding=UTF8&search-type=ss&index=books&field-author=Rex%20Blackhttp://people.half.ebay.com/Jag-Sodhi_W0QQcidZ1023603140QQmZbookshttp://people.half.ebay.com/Carol-Britton_W0QQmZbooksQQcidZ1023587492http://people.half.ebay.com/Jill-Doake_W0QQmZbooksQQcidZ1023587493

7/27/2019 trefss09

20/23

Year: 1993

Title: Reliable Object-Oriented Software: Applying Analysis & Design

Author: Ed Seidewitz, Mike StarkPublisher: Cambridge Univ Pr

Year: 1996

Title: Software Error Analysis

Author: Dolores R. Wallace, Wendy W. PengPublisher: Silicon Pr

Year: 1995

Title: Software Verification and Validation: A Practitioner's Guide

Author: Steven R. RakitinPublisher: Artech House on Demand

Year: 1997

Professional organizations--------------------------AST:The Association for Software Testing (AST) is a nonprofit professional organization

dedicated to advancing the understanding and practice of software testing. The AST

serves a community of scholars, students, and software development practitioners byproviding forums for discussion of all aspects of software testing through conferences,

publications, web sites, and other services.

http://www.associationforsoftwaretesting.org/drupal/

Trade publications------------------Web sites---------Fuzz Testing: http://en.wikipedia.org/wiki/Fuzz_testing

http://pages.cs.wisc.edu/~bart/fuzz/

Fuzz testing, fuzzing, Robustness Testing or Negative Testing is asoftware testing technique that provides random data ("fuzz") to the

inputs of a program. If the program fails (for example, by crashing, orby failing built-in code assertions),the defects can be noted.

The great advantage of fuzz testing is that the test design is extremelysimple, and free of preconceptions about system behavior.

Other-----
http://people.half.ebay.com/Ed-Seidewitz_W0QQcidZ1087002663QQmZbookshttp://people.half.ebay.com/Mike-Stark_W0QQcidZ1023620693QQmZbookshttp://people.half.ebay.com/Dolores-R-Wallace_W0QQcidZ1023936096QQmZbookshttp://people.half.ebay.com/Wendy-W-Peng_W0QQcidZ1023985358QQmZbookshttp://people.half.ebay.com/Steven-R-Rakitin_W0QQcidZ1024288892QQmZbookshttp://en.wikipedia.org/wiki/Fuzz_testinghttp://pages.cs.wisc.edu/~bart/fuzz/http://en.wikipedia.org/wiki/Software_testinghttp://en.wikipedia.org/wiki/Random_datahttp://en.wikipedia.org/wiki/Computer_programhttp://people.half.ebay.com/Ed-Seidewitz_W0QQcidZ1087002663QQmZbookshttp://people.half.ebay.com/Mike-Stark_W0QQcidZ1023620693QQmZbookshttp://people.half.ebay.com/Dolores-R-Wallace_W0QQcidZ1023936096QQmZbookshttp://people.half.ebay.com/Wendy-W-Peng_W0QQcidZ1023985358QQmZbookshttp://people.half.ebay.com/Steven-R-Rakitin_W0QQcidZ1024288892QQmZbookshttp://en.wikipedia.org/wiki/Fuzz_testinghttp://pages.cs.wisc.edu/~bart/fuzz/http://en.wikipedia.org/wiki/Software_testinghttp://en.wikipedia.org/wiki/Random_datahttp://en.wikipedia.org/wiki/Computer_program

7/27/2019 trefss09

21/23

Journals:

IBM Systems Journals (http://www.research.ibm.com/journal/sj/)

The ACM Portal (http://portal.acm.org/portal.cfm?

coll=GUIDE&dl=GUIDE&CFID=19282837&CFTOKEN=40032376) IEEE Explore (http://ieeexplore.ieee.org/Xplore/guesthome.jsp)

Conference Proceedings:

System Software Verification Conference (http://www.embedded.rwth-

aachen.de/ssv09/doku.php)

International Symposium on Software Testing and Analysis

(http://www.cse.msu.edu/issta09/#Welcome)

Computer Aided Verification (http://www-cav2009.imag.fr/)

Books: http://www.businessanalysisbooks.com/

http://www.pearsonhighered.com/educator/academic/course/0,3119,604650,00.ht

ml

Websites:

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

http://www.softwareqatest.com/

Journals

----------

1 - AST Update Magazine/Journal Published by Association for Software Testinghttp://www.associationforsoftwaretesting.org/drupal/resources

2 - Better Software Magazine/Journalhttp://www.stickyminds.com/BetterSoftware/magazine.asp

3 - IBM Systems JournalATV Journal Article - http://www.research.ibm.com/journal/sj/411/hailpern.html

All Journals http://www.research.ibm.com/journal/sj/

4 - Software Test and Performance Magazinehttp://www.stpmag.com/

http://www.research.ibm.com/journal/sj/http://portal.acm.org/portal.cfm?coll=GUIDE&dl=GUIDE&CFID=19282837&CFTOKEN=40032376http://portal.acm.org/portal.cfm?coll=GUIDE&dl=GUIDE&CFID=19282837&CFTOKEN=40032376http://ieeexplore.ieee.org/Xplore/guesthome.jsphttp://www.embedded.rwth-aachen.de/ssv09/doku.phphttp://www.embedded.rwth-aachen.de/ssv09/doku.phphttp://www.cse.msu.edu/issta09/#Welcomehttp://www-cav2009.imag.fr/http://www.businessanalysisbooks.com/http://www.pearsonhighered.com/educator/academic/course/0,3119,604650,00.htmlhttp://www.pearsonhighered.com/educator/academic/course/0,3119,604650,00.htmlhttp://www.testingfaqs.org/t-static.htmlhttp://www.softwareqatest.com/http://www.research.ibm.com/journal/sj/http://portal.acm.org/portal.cfm?coll=GUIDE&dl=GUIDE&CFID=19282837&CFTOKEN=40032376http://portal.acm.org/portal.cfm?coll=GUIDE&dl=GUIDE&CFID=19282837&CFTOKEN=40032376http://ieeexplore.ieee.org/Xplore/guesthome.jsphttp://www.embedded.rwth-aachen.de/ssv09/doku.phphttp://www.embedded.rwth-aachen.de/ssv09/doku.phphttp://www.cse.msu.edu/issta09/#Welcomehttp://www-cav2009.imag.fr/http://www.businessanalysisbooks.com/http://www.pearsonhighered.com/educator/academic/course/0,3119,604650,00.htmlhttp://www.pearsonhighered.com/educator/academic/course/0,3119,604650,00.htmlhttp://www.testingfaqs.org/t-static.htmlhttp://www.softwareqatest.com/

7/27/2019 trefss09

22/23

5 - Conference Proceedings from 1st IEEE International Conference on Software Testing,

Verification and Validation, 2008 (ICST 2008)

https://sbwsweb.ieee.org/ecustomercme_enu/start.swe?SWECmd=GotoView&SWEView=Catalog+View+

(eSales)_Main_JournalMags_IEEE&src=0&mem_type=Customer&Join=n&HideNew=

Nhttp://www.cs.colostate.edu/icst2008/

6 - Conference Proceedings from International Symposium on Software Testing andAnalysis 2008 (ISSTA 2008)

http://portal.acm.org/citation.cfm?doid=1390630.1390631

Books (title/author/publisher/year)-----------------------------------

7 - Software Testing and Analysis: Process, Principles, and Techniques/Mauro Pezze &

Michal Young/Wiley/2007

8 - Verification, Validation and Testing in Software Engineering/Funes and Dasso/IdeaGroup Publishing/2006

Professional organizations--------------------------

9 - Association for Software Testing

http://www.associationforsoftwaretesting.org/drupal/

10 - International Institute for Software Testing

http://www.testinginstitute.com/

11 - Quality Assurance Insitute

http://www.qaiworldwide.org/

Trade publications

------------------

Web sites

---------

12 - Sticky Minds Test and EValuation Section

http://www.stickyminds.com/testandevaluation.asp

13 - Software Testing Stuff

http://www.testingstuff.com/

14 - IEEE Publications

7/27/2019 trefss09

23/23

http://www.ieee.org/web/publications/home/index.html

Other

-----

trefss09

Documents