CMSC 625 Software ATV reference list Spring 2009 Journals ---------1) Journal of the ACM http://jacm.acm.

.org/ The Journal of the ACM (JACM) provides coverage of the most significant work going on in computer science, broadly construed. It is a peer-reviwed journal, published 6 times a year by ACM. 2) IEEE Journal http://www.ieee.org/web/web/search/index.html Search through IEEE publications. 3) IBM Journal or Research and Development http://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 Analysis http://issta08.rutgers.edu/ ISSTA is the leading research conference in software testing and analysis, bringing together academics, industrial researchers, and practitioners to exchange new ideas, problems, and experience. 5) Software Testing Analysis and Review http://www.sqe.com/STAReast/ STAR provides the largest and most advanced testing forum and delivers 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)

by: Hung Q. Nguyen, Bob Johnson, Michael Hackett, Robert Johnson The goal of this book is to help you effectively plan for and conduct the 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 Magazine http://www.stpmag.com/ Software Test and Performance is a magazine devoted to software testing and performance issues. Downloadable issues are available on 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 research results 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)

Other

Journals
Software, 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/

Conference proceedings
ICSE International Conference on Software Engineering http://www.icse-conferences.org/ ISSTA International Symposium on Software Testing and Analysis http://issta08.rutgers.edu/

Books (title/author/publisher/year)
Software Testing By Ron Patton Published by Sams, 2000 ISBN 0672319837, 9780672319839 Software Error Analysis By Wendy W. Peng, Dolores R. Wallace Published by Silicon Press, 1995 ISBN 092930618X, 9780929306186

Professional organizations
IEEE Institute of Electrical and Electronics Engineers, Inc. http://www.ieee.org/portal/site ACM Association for Computing Machinary http://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/

Other
IEEE 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 Software Engineering, London UK, August 1985 Proceedings of the 1993 International Symposium on Software Testing and Analysis, pages 171-181, Cambridge MA, June 1993 Books (title/author/publisher/year) ----------------------------------Software Testing Techniques: Finding the Defects that Matter / Scott Loveland, Geoffrey Miller, Richard Prewitt, Michael Shannon / Charles River 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

Web sites --------The ACM library IEEE Explore CiteSeerX -

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

http://ieeexplore.ieee.org

http://citeseerx.ist.psu.edu/

Journals --------- Wiley InterScience A leading international resource for scientific, technical, medical and scholarly content. www.interscience.wiley.com Conference proceedings --------------------- 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 Books (title/author/publisher/year) ---------------------------------- 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 testing http://proquest.safaribooksonline.com/?uiCode=viva&xmlId=9780470127902 A practitioners guide to software test design / Lee Copeland / Boston, Mass. ; London: Artech House / 2004 http://site.ebrary.com/lib/vacommonwealth/Doc?id=10081974 Software testing and analysis: process, principles, and techniques / Mauro Pezz, Michal Young / Wiley / c2008

Professional organizations ------------------------- 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 -------- Springer Over 1,700 journals and more than 5,500 new book titles every year; backlist of 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/

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 an Automated Software Testing Tool Author: 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. Myers revised and updated by Tom Badgett and Todd Thomas, with Corey Sandler. Edition Information: 2nd ed. Published/Created: Hoboken, N.J. : John Wiley & Sons, c2004. website: http://catalog.loc.gov.proxy.library.vcu.edu/cgibin/Pwebrecon.cgi? v3=1&DB=local&CMD=010a+2004002227&CNT=10+records+per+page 5) Systematic Software Testing Author: Rick Craig/Stefan P. Jaskiel Published: 2002 Publisher: Artech House 6) Surviving the Top Ten Challenges of Software Testing Author: William Perry/Randall Rice Published: 1997 Publisher: Dorset House Professional organizations -------------------------7) International Software Testing Institute website: http://www.softtest.org/ Web sites --------8)Software Testing hotlist(http://www.io.com/~wazmo/qa/#general_issues ) 9) http://www.SQAtester.com 10) STQE.net Software Testing & Quality Engineering(www.stqe.com)

Journals ------

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, Mike Software Testing, Verification & Reliability. Vol. 18, no.2, pp. 99-121. June 2008 3) An Approach to Testing Black-Box Components using Contract Based Mutation Jiang, 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 techniques Rehman, 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 S Software Testing, Verification & Reliability. Vol. 17, no. 2, pp. 61-94. June 2007 8) Flow analysis for verifying properties of concurrent software systems Dwyer, M.B.; Clarke, L.A.; Cobleigh, J.M.; Naumovich, G. ACM Transactions on software engineering and methodology, Vol. 13, no. 4, pp. 359430, 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, Peng Software Testing, Verification & Reliability. Vol. 15, no. 1,pp. 41-61. Mar. 2005

Conference proceedings ----------------1) OptiTest: Optimizing Test Case Using Hybrid Intelligence Al-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 Peng ICCI 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 software engineering 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 conference on Automated software engineering; 12-15 Oct.1999 7) Applications of feasible path analysis to program testing Goldberg, 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, M International 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

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 Books (title/author/publisher/year) -----------------------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: Springer Year: 2001 3) Effective Methods for Software Testing by William E. Perry Publisher: John Wiley and Sons Year: 2006 4) Testing and Quality Assurance for Component-based Software by Jerry Gao, Ye Wu Publisher: 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 Media Year: 2004 6) Software Quality Engineering: Testing, Quality Assurance, and Quantifiable Improvement by Jeff Tian Publisher: John Wiley and Sons Year: 2005 7) Verification, Validation and Testing in Software Engineering by Aristides Dasso, Ana Funes Publisher: Idea Group Inc Year: 2007 8) Independent Verification and Validation

by Robert O. Lewis Publisher: Wiley-IEEE Year: 1992 9) Software Testing Management by Thomas C. Royer Publisher: Prentice Hall Year: 1993

10) Software Testing and Analysis: Process, Principles and Techniques by Pezze, Mauro; Young, Michal Publisher: Wiley Year: 2007 11) Software Testing in the Real World: Improving the Process by Kit, Edward Publisher: Addison-Wesley Year: 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 and dissemination of sound theoretical foundations for new and established practice.

3) Sapient Testing Official magazine of the Association for Software Testing. Web sites ------1) http://portal.acm.org/portal.cfm 2) http://www.sciencedirect.com 3) http://www.intute.ac.uk/ 4) http://www3.interscience.wiley.com/cgi-bin/home 5) http://www.silicon.com 6) http://ieeexplore.ieee.org/Xplore/guesthome.jsp 7) http://csa.com 8) http://www.engineeringvillage.com 9) http://www.springerlink.com/home/main.mpx 10) 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 Application Author: Henryk Krawczyk, Bogdan Wiszniewski Publisher: Reserch Studies Press LTD Year: 1998

Title: Program Verification Author: Nissim Francez Publisher: Addison-Wesley Publishing Campany Year: 1992 Title: Software Testing and Analysis: Process, Principles and Techniques Author: Mauro Pezze, Michal Young Publisher: John Wiley & Sons Year: 2008 Title: Independent verification and validation Author: Lewis, Robert O Publisher: John Wiley & Sons

Year: 1992 Title: Beat Testing for Better Software Author: Michael R. Fine Publisher: John Wiley & Sons Year: 2002 Title: Software Testing In The Real World Author: Edward Kit Publisher: Addison-Wesley Publishing Campany
Year: 1995 Title: Effective Software Testing Author: Elfriede Dustin Publisher: Addison-Wesley Publishing Campany Year: 2003 Professional organizations -------------------------Trade publications -----------------Web sites ---------

http://en.wikipedia.org/wiki/Software_testing
Other -----Technical Report: Software Testing Best Practices written by Ram Chillarege

Journals --------Software debugging, testing, and verification

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 Software
Volume 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, p
151-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 Programmirovanie journal Petrenko, A.K. (Inst. of Syst. Programming, Russian Acad. of Sci., Moscow, Russia) Source: Programming and
Computer Software, v 29, n 6, Nov.-Dec. 2003, p 296-7

Books ------Verification , Validation and Testing in Software Engineering By 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 Consolini Published by Springer 2002 Software Engineering: Analysis and Verification By Theodore Gyle Lewis Published by Reston Pub. Co., 1982

Effective Methods for Software Testing By 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 Tian Published 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/

Website ---------------------www.testinginstitute.com http://www.ece.cmu.edu/~koopman/des_s99/sw_testing/ http://www.chillarege.com/authwork/TestingBestPractice.pdf http://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 Conference proceedings ---------------------title: Hardware and software, verification and testing author: International Haifa Verification Conference (3rd : 2007 : Haifa, Israel) publisher: Berlin ; New York : Springer year: 2007 Books (title/author/publisher/year) ----------------------------------title: Software quality engineering : testing, quality assurance, and quantifiable improvement author : Tian, Jeff. Published: Hoboken, N.J. : Wiley year: 2005 title: Software verification and validation : an engineering and scientific approach / by Marcus S. Fisher. author: Marcus S. Fisher publisher: Springer year: 2007 title: author: Verification, validation and testing in software engineering Aristides Dasso, Ana Funes

publisher: year: title: author: publisher: year: title: author: publisher: year: title: author: publisher: year: title: author: publisher: year:

Hershey, PA : Idea Group Pub. 2007 Systems and software verification : model-checking techniques and tools B. Brard Berlin ; New York : Springer 2001 Software verification and validation : a practitioner's guide Steven R. Rakitin Boston : Artech House 1997 Verification and validation of real-time software Quirk, William J. Berlin ; New York : Springer-Verlag 1985 Software engineering : analysis and verification Lewis, T. G. (Theodore Gyle), 1941Reston, Va. : Reston Pub. Co 1982

Professional organizations -------------------------Trade publications -----------------Web sites --------title: Software verification and validation for practitioners and managers author: 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 and Verification

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 Digital Library

Conference proceedings 1) 2008 IEEE International Conference on Software Testing, Verification and Validation 2) 2006 Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)

Books (title/author/publisher/year) 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 in Large 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.

Mining Software Repositories to Study Co-Evolution of Production & Test Code First International Conference on Software Testing, Verification and Validation Lillehammer, Norway April 9-11 2008 Books (title/author/publisher/year) ----------------------------------Title: Software Abstractions: Logic, Language, And Analysis Author: Daniel Jackson Publisher: Mit Pr Year: 2006 Title: Software Testing And Analysis: Process, Principles And Techniques Author: Mauro Pezze, Michal Young Publisher: John Wiley & Sons Inc Year: 2007 Title: Business Systems Analysis and Design Author: William S. Davis Publisher: Wadsworth Pub Co The Wadsworth Series in Management Information Systems Year: 1993 Title: Systematic Software Testing Author: Rick D. Craig, Stefan P. Jaskiel Publisher: Artech House Year: 2002 Title: Advanced Software Testing: Guide to the ISTQB Advanced Certification As an Advanced Test Analyst Author: Rex Black Publisher: Rocky Nook Year: 2008 Title: Software Requirements Analysis and Specifications Author: Jag Sodhi Publisher: McGraw-Hill McGraw Hill Systems Design & Implementation Series Year: 1992 Title: Software System Development: A Gentle Introduction Author: Carol Britton, Jill Doake Publisher: McGraw-Hill McGraw-Hill International Series in Software Engineering

Year: 1993 Title: Reliable Object-Oriented Software: Applying Analysis & Design Author: Ed Seidewitz, Mike Stark Publisher: Cambridge Univ Pr Year: 1996 Title: Software Error Analysis Author: Dolores R. Wallace, Wendy W. Peng Publisher: Silicon Pr Year: 1995 Title: Software Verification and Validation: A Practitioner's Guide Author: Steven R. Rakitin Publisher: 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 by providing 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 a software testing technique that provides random data ("fuzz") to the inputs of a program. If the program fails (for example, by crashing, or by failing built-in code assertions),the defects can be noted. The great advantage of fuzz testing is that the test design is extremely simple, and free of preconceptions about system behavior. Other -----

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.rwthaachen.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 Testing http://www.associationforsoftwaretesting.org/drupal/resources 2 - Better Software Magazine/Journal http://www.stickyminds.com/BetterSoftware/magazine.asp 3 - IBM Systems Journal ATV 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 Magazine http://www.stpmag.com/ Conference proceedings ----------------------

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= N http://www.cs.colostate.edu/icst2008/ 6 - Conference Proceedings from International Symposium on Software Testing and Analysis 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/Idea Group 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

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