


default search action
AST@ICSE 2010: Cape Town, South Africa
- Hong Zhu, W. K. Chan, Christof J. Budnik, Gregory M. Kapfhammer:

The 5th Workshop on Automation of Software Test, AST 2010, May 3-4, 2010, Cape Town, South Africa. ACM 2010, ISBN 978-1-60558-970-1 - Zhifang Liu, Bin Liu, Xiaopeng Gao:

Test automation on mobile device. 1-7 - Milan Jovic, Andrea Adamoli

, Dmitrijs Zaparanuks, Matthias Hauswirth:
Automating performance testing of interactive Java applications. 8-15 - Christian Murphy, Moses Vaughan, Waseem Ilahi, Gail E. Kaiser:

Automatic detection of previously-unseen application states for deployment environment testing and analysis. 16-23 - Duc-Hoai Nguyen, Paul A. Strooper

, Jörn Guy Süß
:
Model-based testing of multiple GUI variants using the GUI test generator. 24-30 - Christian Schwarzl, Bernhard Peischl

:
Generation of executable test cases based on behavioral UML system models. 31-34 - Nicky Williams:

Abstract path testing with PathCrawler. 35-42 - Stefan J. Galler, Andreas Maller, Franz Wotawa

:
Automatically extracting mock object behavior from Design by Contract™ specification for test data generation. 43-50 - Fabiano Cutigi Ferrari, Elisa Yumi Nakagawa

, Awais Rashid
, José Carlos Maldonado:
Automating the mutation testing of aspect-oriented Java programs. 51-58 - Mauro Baluda, Pietro Braione

, Giovanni Denaro
, Mauro Pezzè
:
Structural coverage of feasible code. 59-66 - Claudio de la Riva

, María José Suárez-Cabal, Javier Tuya
:
Constraint-based test database generation for SQL queries. 67-74 - Samuel Rivas, Miguel Angel Francisco, Víctor M. Gulías:

Property driven development in Erlang, by example. 75-78 - Makoto Higashi, Tetsuo Yamamoto, Yasuhiro Hayase, Takashi Ishio

, Katsuro Inoue:
An effective method to control interrupt handler for data race detection. 79-86 - Monalisa Sarma, P. V. R. Murthy, Sylvia Jell, Andreas Ulrich:

Model-based testing in industry: a case study with two MBT tools. 87-90 - René Just, Franz Schweiggert:

Automating software tests with partial oracles in integrated environments. 91-94 - John Hughes, Ulf Norell, Jérôme Sautret:

Using temporal relations to specify and test an instant messaging server. 95-102 - Koen Claessen, John Hughes, Michal H. Palka, Nicholas Smallbone, Hans Svensson:

Ranking programs using black box testing. 103-110 - Mike Papadakis

, Nicos Malevris, Maria Kallia
:
Towards automating the generation of mutation tests. 111-118 - Baris Güldali, Stefan Sauer, Peter Winkelhane, Holger Funke, Michael Jahnich:

Pattern-based generation of test plans for open distributed processing systems. 119-126 - Winfried Dulz, Reinhard German, Stefan Holpp, Helmut Götz:

Calculating the usage probabilities of statistical usage models by constraints optimization. 127-134

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.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














