Abstract is missing.
- Porantim: An Approach to Support the Combination and Selection of Model-Based Testing TechniquesArilo Claudio Dias Neto, Guilherme Horta Travassos. 1-9 [doi]
- Towards an Automated Testing Framework to Manage Variability Using the UML Testing ProfileBeatriz Pérez Lamancha, Macario Polo Usaola, Mario Piattini Velthius. 10-17 [doi]
- Experiments on the Test Case Length in Specification Based Test Case GenerationGordon Fraser, Angelo Gargantini. 18-26 [doi]
- An Experimental Study of Methods for Executing Test Suites in Memory Constrained EnvironmentsSuvarshi Bhadra, Alexander P. Conrad, Charles Hurkes, Brian Kirklin, Gregory M. Kapfhammer. 27-35 [doi]
- Automated Test Program Generation for an Industrial Optimizing CompilerChen Zhao, Yunzhi Xue, Qiuming Tao, Liang Guo, Zhaohui Wang. 36-43 [doi]
- The Automated Generation of Test Cases Using an Extended Domain Based Reliability ModelAlberto Avritzer, Elaine J. Weyuker. 44-52 [doi]
- Model Based Functional Testing Using Pattern Directed FilmstripsTony Clark. 53-61 [doi]
- Security Test Generation Using Threat TreesAaron Marback, Hyunsook Do, Ke He, Samuel Kondamarri, Dianxiang Xu. 62-69 [doi]
- Automating Structural Testing of C Programs: Experience with PathCrawlerBernard Botella, Mickaël Delahaye, Stéphane Hong Tuan Ha, Nikolai Kosmatov, Patricia Mouy, Muriel Roger, Nicky Williams. 70-78 [doi]
- Lazy Symbolic Evaluation and Its Path Constraints SolutionMeng-xiang Lin, Yin-li Chen, Kai Yu, Guo-shi Wu. 79-87 [doi]
- Test Generation Strategies to Measure Worst-Case Execution TimeNicky Williams, Muriel Roger. 88-96 [doi]
- Automated Functional Testing of Search EngineLingzi Jin. 97-100 [doi]
- Automated Testing of a Converged Conferencing ApplicationVenkita Subramonian, Eric Cheung, Gerald M. Karam. 101-105 [doi]
- Towards a Practical and Effective Method for Web Services Test Case GenerationZhong Jie Li, Jun Zhu, Liang-Jie Zhang, Naomi M. Mitsumori. 106-114 [doi]
- Calculating BPEL Test Coverage Through InstrumentationDaniel Lübke, Leif Singer, Alex Salnikow. 115-122 [doi]
- Developing Acceptance Tests from Existing Documentation Using Annotations: An ExperimentDavid Connolly, Frank Keenan, Fergal McCaffery. 123-129 [doi]
- GUI Savvy End-to-End Testing with Smart MonkeysBirgit Hofer, Bernhard Peischl, Franz Wotawa. 130-137 [doi]
- The Compliance Testing of Software Tools with Respect to the UML Standards Specification - The ArgoUML Case StudyPanuchart Bunyakiati, Anthony Finkelstein. 138-143 [doi]
- Using Testing Trace for Automatic User CategorizationJ. Jenny Li, David M. Weiss. 144-148 [doi]
- An Empirical Study of Testing File-System-Dependent Software with Mock ObjectsMadhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte. 149-153 [doi]
- The Perceived Value of Authoring and Automating Acceptance Tests Using a Model Driven Development ToolsetDavid Talby. 154-157 [doi]