default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAST@ICSE 2009: Vancouver, BC, Canada
- Dimitris Dranidis, Stephen P. Masticola, Paul A. Strooper:
Proceedings of the 4th International Workshop on Automation of Software Test, AST 2009, Vancouver, BC, Canada, May 18-19, 2009. IEEE Computer Society 2009, ISBN 978-1-4244-3711-5
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 Velthuis:
Towards an Automated Testing Framework to Manage Variability Using the UML Testing Profile. 10-17
Test Case/Suite Evaluation
- 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
Model-Based Testing 2
- 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
Structural Testing
- 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
Testing Web Services
- 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
System-Level Testing
- 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
Case Studies
- 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-29 20:21 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
