Abstract is missing.
- Inferring Types of References to GUI Objects in Test ScriptsChen Fu, Mark Grechanik, Qing Xie. 1-10 [doi]
- An Initial Characterization of Industrial Graphical User Interface SystemsPenelope A. Brooks, Brian P. Robinson, Atif M. Memon. 11-20 [doi]
- An Empirical Evaluation of Automated Black Box Testing Techniques for Crashing GUIsCristiano Bertolini, Glaucia Peres, Marcelo d Amorim, Alexandre Mota. 21-30 [doi]
- Proving Functional Equivalence of Two AES Implementations Using Bounded Model CheckingHendrik Post, Carsten Sinz. 31-40 [doi]
- An Evaluation of Model Checkers for Specification Based Test Case GenerationGordon Fraser, Angelo Gargantini. 41-50 [doi]
- Optimizing Generation of Object Graphs in Java PathFinderMilos Gligoric, Tihomir Gvero, Steven Lauterburg, Darko Marinov, Sarfraz Khurshid. 51-60 [doi]
- Timed Testing under Partial ObservabilityAlexandre David, Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen. 61-70 [doi]
- Passive Testing of Stochastic Timed SystemsCésar Andrés, Mercedes G. Merayo, Manuel Núñez. 71-80 [doi]
- Testing Embedded Real Time Systems with TTCN-3Juergen Grossmann, Diana Alina Serbanescu, Ina Schieferdecker. 81-90 [doi]
- Optimal Resource Allocation for Batch TestingFangzhe Chang, Jennifer Ren, Ramesh Viswanathan. 91-100 [doi]
- A Flexible Framework for Quality Assurance of Software Artefacts with Applications to Java, UML, and TTCN-3 Test SpecificationsJens Nodler, Helmut Neukirchen, Jens Grabowski. 101-110 [doi]
- Quality Assurance of Software Applications Using the In Vivo Testing ApproachChristian Murphy, Gail E. Kaiser, Ian Vo, Matt Chu. 111-120 [doi]
- Test Input Generation Using UML Sequence and State Machines ModelsAritra Bandyopadhyay, Sudipto Ghosh. 121-130 [doi]
- Putting Formal Specifications under the Magnifying Glass: Model-based Testing for ValidationEmine G. Aydal, Richard F. Paige, Mark Utting, Jim Woodcock. 131-140 [doi]
- The Effectiveness of Automated Static Analysis Tools for Fault Detection and Refactoring PredictionFadi Wedyan, Dalal Alrmuny, James M. Bieman. 141-150 [doi]
- Euclide: A Constraint-Based Testing Framework for Critical C ProgramsArnaud Gotlieb. 151-160 [doi]
- A Model Building Process for Identifying Actionable Static Analysis AlertsSarah Smith Heckman, Laurie A. Williams. 161-170 [doi]
- Transforming and Selecting Functional Test Cases for Security Policy TestingTejeddine Mouelhi, Yves Le Traon, Benoit Baudry. 171-180 [doi]
- Predicting Attack-prone ComponentsMichael Gegick, Pete Rotella, Laurie A. Williams. 181-190 [doi]
- Seasonal Variation in the Vulnerability Discovery ProcessHyunChul Joh, Yashwant K. Malaiya. 191-200 [doi]
- Empirical Observations on Software Testing AutomationKatja Karhu, Tiina Repo, Ossi Taipale, Kari Smolander. 201-209 [doi]
- Evaluating the Effect of the Number of Naturally Occurring Faults on the Estimates Produced by Capture-Recapture ModelsGursimran Singh Walia, Jeffrey C. Carver. 210-219 [doi]
- Test Redundancy Measurement Based on Coverage Information: Evaluations and Lessons LearnedNegar Koochakzadeh, Vahid Garousi, Frank Maurer. 220-229 [doi]
- Generating Feasible Transition Paths for Testing from an Extended Finite State Machine (EFSM)Abdul Salam Kalaji, Robert M. Hierons, Stephen Swift. 230-239 [doi]
- Pruning the Search Space in Path-Based Test GenerationSébastien Bardin, Philippe Herrmann. 240-249 [doi]
- PKorat: Parallel Generation of Structurally Complex Test InputsJunaid Haroon Siddiqui, Sarfraz Khurshid. 250-259 [doi]
- Practicing Testability in the Real WorldVishal Chowdhary. 260-268 [doi]
- A Test Based Multidimensional Performance Model for a Mission Critical System ServerKrzysztof Rogoz, Katarzyna Figura. 269-278 [doi]
- An Alternative Approach to Test Effort Estimation Based on Use CasesErika Regina Campos de Almeida, Bruno Teixeira de Abreu, Regina Moraes. 279-288 [doi]
- A Simple Approach for Estimation of Execution Effort of Functional Test CasesDaniel Guerreiro e Silva, Bruno Teixeira de Abreu, Mario Jino. 289-298 [doi]
- Dynamic Regression Test Selection Based on a File CacheGreger Wikstrand, Robert Feldt, Jeevan Kumar Gorantla, Wang Zhe, Conor White. 299-302 [doi]
- Automatic Test Generation for Coverage Analysis of ERTMS SoftwareDamiano Angeletti, Enrico Giunchiglia, Massimo Narizzano, Alessandra Puddu, Salvatore Sabina. 303-306 [doi]
- Automated Black Box Testing Tool for a Parallel Programming LibraryRoy Patrick Tan, Pooja Nagpal, Shaun Miller. 307-316 [doi]
- Test Automation on a SaaS PlatformReena Mathew, Ryan Spraetz. 317-325 [doi]
- WS-TAXI: A WSDL-based Testing Tool for Web ServicesCesare Bartolini, Antonia Bertolino, Eda Marchetti, Andrea Polini. 326-335 [doi]
- Clustering and Tailoring User Session Data for Testing Web ApplicationsXingmin Luo, Fan Ping, Mei-Hwa Chen. 336-345 [doi]
- Penetration Testing with Improved Input Vector IdentificationWilliam G. J. Halfond, Shauvik Roy Choudhary, Alessandro Orso. 346-355 [doi]
- Using Logic Criterion Feasibility to Reduce Test Set Size While Guaranteeing Fault DetectionGarrett Kent Kaminski, Paul Ammann. 356-365 [doi]
- A Simple Coverage-Based Locator for Multiple FaultsFriedrich Steimann, Mario Bertschler. 366-375 [doi]
- A Test-Driven Approach to Developing Pointcut Descriptors in AspectJRomain Delamare, Benoit Baudry, Sudipto Ghosh, Yves Le Traon. 376-385 [doi]
- Using a Fault Hierarchy to Improve the Efficiency of DNF Logic Mutation TestingGarrett Kent Kaminski, Paul Ammann. 386-395 [doi]
- Mutation Testing for Java Database ApplicationsChixiang Zhou, Phyllis G. Frankl. 396-405 [doi]
- Unit Testing Non-functional Concerns of Component-based Distributed SystemsJames H. Hill, Hamilton A. Turner, James R. Edmondson, Douglas C. Schmidt. 406-415 [doi]
- On the Effectiveness of Test Extraction without OverheadAndreas Leitner, Alexander Pretschner, Stefan Mori, Bertrand Meyer, Manuel Oriol. 416-425 [doi]
- Assertion-Based Validation of Modified ProgramsBogdan Korel, Qi Zhang, Li Tao. 426-435 [doi]
- Using JML Runtime Assertion Checking to Automate Metamorphic Testing in Applications without Test OraclesChristian Murphy, Kuang Shen, Gail E. Kaiser. 436-445 [doi]
- Optimizing Probabilities of Real-Time Test Case ExecutionNicolás Wolovick, Pedro R. D Argenio, Hongyang Qu. 446-455 [doi]