Table of Contents [26–33 of 33 articles]

• A Tester-Assisted Methodology for Test Redundancy Detection, Negar Koochakzadeh and Vahid Garousi
  Volume 2010 (2010), Article ID 932686, 13 pages
• AnnaBot: A Static Verifier for Java Annotation Usage, Ian Darwin
  Volume 2010 (2010), Article ID 540547, 7 pages
• A Proposal for Automatic Testing of GUIs Based on Annotated Use Cases, Pedro Luis Mateo Navarro, Diego Sevilla Ruiz, and Gregorio Martínez Pérez
  Volume 2010 (2010), Article ID 671284, 8 pages
• Table of Contents for Year 2009
• Improving Effort Estimation by Voting Software Estimation Models, Luiz Fernando Capretz and Venus Marza
  Volume 2009 (2009), Article ID 829725, 8 pages
• A Polyadic pi-Calculus Approach for the Formal Specification of UML-RT, J. M. Bezerra and C. M. Hirata
  Volume 2009 (2009), Article ID 656810, 26 pages
• Regression Test Selection for C# Programs, Nashat Mansour and Wael Statieh
  Volume 2009 (2009), Article ID 535708, 10 pages
• Challenges and Improvements in Distributed Software Development: A Systematic Review, Miguel Jiménez, Mario Piattini, and Aurora Vizcaíno
  Volume 2009 (2009), Article ID 710971, 14 pages
• Automatic Generation of Web Applications from Visual High-Level Functional Web Components, Quan Liang Chen and Takao Shimomura
  Volume 2009 (2009), Article ID 879725, 16 pages