default search action

combined dblp search
author search
venue search
publication search

ask others

AST@ICSE 2008: Leipzig, Germany

> Home > Conferences and Workshops > AST

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/icse/2008ast
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/2008ast
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

- view
  authority control:
- export record
  dblp key:
  - conf/icse/NaslavskyZR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NaslavskyZR08
Leila Naslavsky, Hadar Ziv, Debra J. Richardson:
Using Model Transformation to Support Model-Based Test Coverage Measurement. 1-6
- view
  authority control:
- export record
  dblp key:
  - conf/icse/Pfaller08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/Pfaller08
Christian Pfaller:
Requirements-based Test Case Specification by Using Information from Model Construction. 7-16
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BrandlFW08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BrandlFW08
Harald Brandl, Gordon Fraser, Franz Wotawa:
QR-Model Based Testing. 17-20
- view
  authority control:
- export record
  dblp key:
  - conf/icse/NetoT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/NetoT08
Arilo Claudio Dias Neto, Guilherme Horta Travassos:
Supporting the Selection of Model-based Testing Approaches for Software Projects. 21-24

Test Generation

- view
  authority control:
- export record
  dblp key:
  - conf/icse/WongRQC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/WongRQC08
W. Eric Wong, Andy Restrepo, Yu Qi, Byoungju Choi:
An EFSM-based Test Generation for Validation of SDL Specifications. 25-32
- view
  authority control:
- export record
  dblp key:
  - conf/icse/GanovKKP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/GanovKKP08
Svetoslav R. Ganov, Chip Killmar, Sarfraz Khurshid, Dewayne E. Perry:
Test Generation for Graphical User Interfaces Based on Symbolic Execution. 33-40
- view
  authority control:
- export record
  dblp key:
  - conf/icse/JulliandMT08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/JulliandMT08
Jacques Julliand, Pierre-Alain Masson, Régis Tissot:
Generating Security Tests in Addition to Functional Tests. 41-44
- view
  authority control:
- export record
  dblp key:
  - conf/icse/BouquetGLP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/BouquetGLP08
Fabrice Bouquet, Christophe Grandpierre, Bruno Legeard, Fabien Peureux:
A Test Generation Solution to Automate Software Testing. 45-48

Instrumentation, Frames, Automation

- view
  authority control:
- export record
  dblp key:
  - conf/icse/LiWY08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/LiWY08
J. Jenny Li, David M. Weiss, Howell Yee:
An Automatically-Generated Run-Time Instrumenter to Reduce Coverage Testing Overhead. 49-56
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ZhongHK08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ZhongHK08
Ning Zhong, Zun-wen He, Jingming Kuang:
A Generic Formal Framework for Protocol Interoperability Test and Test Cases Minimization. 57-61
- view
  authority control:
- export record
  dblp key:
  - conf/icse/ArnoldC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/ArnoldC08
Dave Arnold, Jean-Pierre Corriveau:
Automated Instrumentation of Contracts and Scenarios for Requirements Validation in .NET. 63-66
- view
  authority control:
- export record
  dblp key:
  - conf/icse/StallbaumMP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/StallbaumMP08
Heiko Stallbaum, Andreas Metzger, Klaus Pohl:
An Automated Technique for Risk-based Test Case Generation and Prioritization. 67-70

Evaluation and Simulation

- view
  authority control:
- export record
  dblp key:
  - conf/icse/DingACH08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/DingACH08
Junhua Ding, Gonzalo Argote-Garcia, Peter J. Clarke, Xudong He:
Evaluating Test Adequacy Coverage of High Level Petri Nets Using Spin. 71-78
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MasticolaG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MasticolaG08
Stephen P. Masticola, Michael Gall:
Vision: Testing of Mechatronics Software using Agile Simulation. 79-84
- view
  authority control:
- export record
  dblp key:
  - conf/icse/RibeiroRV08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/RibeiroRV08
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.