default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAST@ICSE 2008: Leipzig, Germany
- Hong Zhu, W. Eric Wong, Fevzi Belli:
Proceedings of the 3rd International Workshop on Automation of Software Test, AST 2008, Leipzig, Germany, May 11-11, 2008. ACM 2008, ISBN 978-1-60558-030-2
Model-Based Testing
- Leila Naslavsky, Hadar Ziv, Debra J. Richardson:
Using Model Transformation to Support Model-Based Test Coverage Measurement. 1-6 - Christian Pfaller:
Requirements-based Test Case Specification by Using Information from Model Construction. 7-16 - Harald Brandl, Gordon Fraser, Franz Wotawa
:
QR-Model Based Testing. 17-20 - Arilo Claudio Dias Neto, Guilherme Horta Travassos:
Supporting the Selection of Model-based Testing Approaches for Software Projects. 21-24
Test Generation
- W. Eric Wong, Andy Restrepo, Yu Qi, Byoungju Choi:
An EFSM-based Test Generation for Validation of SDL Specifications. 25-32 - Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry:
Test Generation for Graphical User Interfaces Based on Symbolic Execution. 33-40 - Jacques Julliand, Pierre-Alain Masson, Régis Tissot:
Generating Security Tests in Addition to Functional Tests. 41-44 - Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux:
A Test Generation Solution to Automate Software Testing. 45-48
Instrumentation, Frames, Automation
- J. Jenny Li, David M. Weiss, Howell Yee:
An Automatically-Generated Run-Time Instrumenter to Reduce Coverage Testing Overhead. 49-56 - Ning Zhong, Zun-wen He, Jingming Kuang:
A Generic Formal Framework for Protocol Interoperability Test and Test Cases Minimization. 57-61 - Dave Arnold, Jean-Pierre Corriveau:
Automated Instrumentation of Contracts and Scenarios for Requirements Validation in .NET. 63-66 - Heiko Stallbaum, Andreas Metzger, Klaus Pohl:
An Automated Technique for Risk-based Test Case Generation and Prioritization. 67-70
Evaluation and Simulation
- Junhua Ding, Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He:
Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin. 71-78 - Stephen P. Masticola, Michael Gall:
Vision: Testing of Mechatronics Software using Agile Simulation. 79-84 - José Carlos Bregieiro Ribeiro, Mário Zenha Rela, Francisco Fernández de Vega:
A Strategy for Evaluating Feasible and Unfeasible Test Cases for the Evolutionary Testing of Object-Oriented Software. 85-92
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-19 22:20 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:
