31. ICSE 2009 / AST 2009: Vancouver, BC, Canada

Dimitris Dranidis, Stephen P. Masticola, Paul A. Strooper (Eds.): Proceedings of the 4th International Workshop on Automation of Software Test, AST 2009, Vancouver, BC, Canada, May 18-19, 2009. IEEE 2009

Model-Based Testing 1

Arilo Claudio Dias Neto, Guilherme Horta Travassos:
Porantim: An Approach to Support the Combination and Selection of Model-Based Testing Techniques. 1-9
Beatriz Pérez Lamancha, Macario Polo Usaola, Mario Piattini Velthius:
Towards an Automated Testing Framework to Manage Variability Using the UML Testing Profile. 10-17

Gordon Fraser, Angelo Gargantini:
Experiments on the Test Case Length in Specification Based Test Case Generation. 18-26
Suvarshi Bhadra, Alexander P. Conrad, Charles Hurkes, Brian Kirklin, Gregory M. Kapfhammer:
An Experimental Study of Methods for Executing Test Suites in Memory Constrained Environments. 27-35

Chen Zhao, Yunzhi Xue, Qiuming Tao, Liang Guo, Zhaohui Wang:
Automated Test Program Generation for an Industrial Optimizing Compiler. 36-43
Alberto Avritzer, Elaine J. Weyuker:
The Automated Generation of Test Cases Using an Extended Domain Based Reliability Model. 44-52
Tony Clark:
Model Based Functional Testing Using Pattern Directed Filmstrips. 53-61
Aaron Marback, Hyunsook Do, Ke He, Samuel Kondamarri, Dianxiang Xu:
Security Test Generation Using Threat Trees. 62-69

Bernard Botella, Mickaël Delahaye, Stéphane Hong Tuan Ha, Nikolai Kosmatov, Patricia Mouy, Muriel Roger, Nicky Williams:
Automating Structural Testing of C Programs: Experience with PathCrawler. 70-78
Mengxiang Lin, Yin-li Chen, Kai Yu, Guo-shi Wu:
Lazy Symbolic Evaluation and Its Path Constraints Solution. 79-87
Nicky Williams, Muriel Roger:
Test Generation Strategies to Measure Worst-Case Execution Time. 88-96

Lingzi Jin:
Automated Functional Testing of Search Engine. 97-100
Venkita Subramonian, Eric Cheung, Gerald M. Karam:
Automated Testing of a Converged Conferencing Application. 101-105
Zhong Jie Li, Jun Zhu, Liang-Jie Zhang, Naomi M. Mitsumori:
Towards a Practical and Effective Method for Web Services Test Case Generation. 106-114
Daniel Lübke, Leif Singer, Alex Salnikow:
Calculating BPEL Test Coverage Through Instrumentation. 115-122

David Connolly, Frank Keenan, Fergal McCaffery:
Developing Acceptance Tests from Existing Documentation Using Annotations: An Experiment. 123-129
Birgit Hofer, Bernhard Peischl, Franz Wotawa:
GUI Savvy End-to-End Testing with Smart Monkeys. 130-137

Panuchart Bunyakiati, Anthony Finkelstein:
The Compliance Testing of Software Tools with Respect to the UML Standards Specification - The ArgoUML Case Study. 138-143
J. Jenny Li, David M. Weiss:
Using Testing Trace for Automatic User Categorization. 144-148
Madhuri R. Marri, Tao Xie, Nikolai Tillmann, Jonathan de Halleux, Wolfram Schulte:
An Empirical Study of Testing File-System-Dependent Software with Mock Objects. 149-153
David Talby:
The Perceived Value of Authoring and Automating Acceptance Tests Using a Model Driven Development Toolset. 154-157

Last update Fri May 25 08:21:15 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page